5904 search results - page 883 / 1181 » Requirements for a Composition Language |
120
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Users of Institutional Repositories and Digital Libraries are known by their needs for very specific information about one or more subjects. To characterize users profiles and offe...
117
click to vote
ENTCS
2008
15 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...
116
click to vote
ENTCS
2008
15 years 4 months ago
2008
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...
148
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
104
click to vote
ENTCS
2006
15 years 4 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...