314 search results - page 12 / 63 » An Imperative Object Calculus |
FMOODS
2003
13 years 10 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
CIE
2006
Springer
14 years 29 days ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
AB
2007
Springer
14 years 3 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
FCT
2007
Springer
14 years 3 months ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...