9626 search results - page 75 / 1926 » Invariant Based Programming |
127
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
132
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
135
click to vote
REFLECTION
1999
Springer
15 years 9 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
111
click to vote
ZUM
1992
Springer
15 years 8 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
143
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...