6740 search results - page 262 / 1348 » Using Classification as a Programming Language |
133
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
125
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
156
click to vote
FPLE
1995
15 years 6 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
132
click to vote
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...