From operational semantics to abstract machines: preliminary results
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
An abstract machine for Lambda-terms normalization
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Classical logic, continuation semantics and abstract machines
Journal of Functional Programming
Algol-60 Implementation
A concrete framework for environment machines
ACM Transactions on Computational Logic (TOCL)
Improving the lazy Krivine machine
Higher-Order and Symbolic Computation
Sequent calculi and abstract machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Krivine machines and higher-order schemes
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Hi-index | 0.00 |
We provide a short proof of the correctness of the Krivine machine by showing how it simulates weak head reduction.