6201 search results - page 327 / 1241 » Implementation of Axiomatic Language |
180
Voted
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
173
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a reasoning system for inferring dimension information in spreadsheets. This system can be used to check the consistency of spreadsheet formulas and can be employed to ...
170
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
159
click to vote
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
193
click to vote
PLDI
1993
ACM
15 years 11 months ago
1993
ACM
We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original objects during copying. The garbage collector incremental...