12 search results - page 3 / 3 » Proof-Theoretic and Higher-Order Extensions of Logic Program... |
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...