179 search results - page 25 / 36 » Lazy Evaluation for OCL |
110
click to vote
SAT
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
100
click to vote
CW
2006
IEEE
15 years 8 months ago
2006
IEEE
The geospatial category of simulations is used to show how origin centric techniques can solve a number of accuracy related problems common to 3D computer graphics applications. P...
115
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
130
click to vote
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
121
click to vote
PLILP
1992
Springer
15 years 6 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...