4743 search results - page 168 / 949 » The PlusCal Algorithm Language |
157
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
109
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
111
click to vote
DIS
2003
Springer
15 years 8 months ago
2003
Springer
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
127
click to vote
IFL
1997
Springer
15 years 7 months ago
1997
Springer
A unidirectional heap is a heap where all pointers go in one direction, e.g. from newer to older objects. For a strict functional language, such as Erlang, the heap may be arranged...
126
click to vote
PADL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...