179 search results - page 20 / 36 » Lazy Evaluation for OCL |
144
click to vote
EDOC
2011
IEEE
14 years 1 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
110
click to vote
CAD
2004
Springer
15 years 1 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
120
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
155
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
114
click to vote
ENTCS
2007
15 years 1 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...