179 search results - page 2 / 36 » Lazy Evaluation for OCL |
ENTCS
2008
13 years 4 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
MODELLIERUNG
2008
13 years 6 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
ISCA
1993
IEEE
13 years 9 months ago
1993
IEEE
We evaluate the e ect of processor speed, network bandwidth, and software overhead on the performance of release-consistent software distributed shared memory. We examine ve di er...
CAISE
2006
Springer
13 years 6 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
