Future Perspectives - Introduction
Revised Lectures on Software Visualization, International Seminar
Error Scope on a Computational Grid: Theory and Practice
HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
The reflective nitrO abstract machine
ACM SIGPLAN Notices
A functional correspondence between call-by-need evaluators and lazy abstract machines
Information Processing Letters
ACM SIGARCH Computer Architecture News - Special issue: dasCMP'05
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
Theoretical Computer Science - Applied semantics: Selected topics
Towards execution time estimation in abstract machine-based languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Exploiting an abstract-machine-based framework in the design of a Java ILP processor
Journal of Systems Architecture: the EUROMICRO Journal
Efficient virtual machine support of runtime structural reflection
Science of Computer Programming
The Linear Logical Abstract Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
From natural semantics to abstract machines
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Constructing customized interpreters from reusable evaluators using GAME
SC'12 Proceedings of the 11th international conference on Software Composition
A synthetic operational account of call-by-need evaluation
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |