10870 search results - page 429 / 2174 » Model Checking Programs |
201
Voted
STEP
2003
IEEE
16 years 24 days ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
184
click to vote
ESOP
2001
Springer
16 years 16 hour ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
180
Voted
OOPSLA
1998
Springer
15 years 11 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
178
click to vote
APLAS
2001
ACM
15 years 11 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
176
Voted
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...