179 search results - page 15 / 36 » Lazy Evaluation for OCL |
113
click to vote
WEBDB
1999
Springer
15 years 6 months ago
1999
Springer
We propose a framework for navigation-driven evaluation of virtual mediated views. The approach is based on lazy mediators that translate incoming client navigations on a virtual ...
CC
2007
Springer
15 years 8 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
158
click to vote
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
118
click to vote
IFL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
DCOSS
2009
Springer
15 years 8 months ago
2009
Springer
To meet the demands for high simulation fidelity and speed, parallel and distributed simulation techniques are widely used in building wireless sensor network simulators. However,...