314 search results - page 5 / 63 » An Imperative Object Calculus |
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
FSTTCS
1997
Springer
14 years 1 months ago
1997
Springer
PROCOMET
1998
13 years 10 months ago
1998
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...