4690 search results - page 74 / 938 » An operational semantics for Scheme |
164
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
173
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
Interactive modeling of 3-D solids is an important and difficult problem in computer graphics. The Constructive Solid Geometry (CSG) modeling scheme is highly attractive for inte...
171
click to vote
META
1992
15 years 10 months ago
1992
The replacement transformation operation, already defined in [28], is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation ...
173
click to vote
FORTE
2004
15 years 7 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
147
click to vote
ENTCS
2008
15 years 6 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...