Logic continuations
- 30 June 1987
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 4 (2) , 157-176
- https://doi.org/10.1016/0743-1066(87)90016-1
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Embedding continuations in procedural objectsACM Transactions on Programming Languages and Systems, 1987
- Abstracting timed preemption with enginesComputer Languages, 1987
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- Structure and Interpretation of Computer ProgramsComputer Music Journal, 1985
- On implementing Prolog in functional programmingNew Generation Computing, 1984
- Continuation-Based Program Transformation StrategiesJournal of the ACM, 1980
- Shallow binding in Lisp 1.5Communications of the ACM, 1978
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965