Coordinated computing: tools and techniques for distributed software
Coordinated computing: tools and techniques for distributed software
Protection in programming languages
Communications of the ACM
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Memory allocation and higher-order functions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Implementation strategies for continuations
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Using continuations to implement thread management and communication in operating systems
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
A library of high level control operators
ACM SIGPLAN Lisp Pointers
Teapot: language support for writing memory coherence protocols
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Lisp and Symbolic Computation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Implementation Strategies for First-Class Continuations
Higher-Order and Symbolic Computation
Continuations and Conversations
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Implementing functional logic languages using multiple threads and stores
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Integrating User-Level Threads with Processes in Scsh
Higher-Order and Symbolic Computation
Manticore: a heterogeneous parallel language
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Status report: the manticore project
ML '07 Proceedings of the 2007 workshop on Workshop on ML
ACM SIGPLAN Lisp Pointers
Control reduction theories: The benefit of structural substitution
Journal of Functional Programming
A scheduling framework for general-purpose parallel languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Actors that unify threads and events
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
| Hi-index | 0.00 |
Engines are a new programming language abstraction for timed preemption. In conjunction with first class continuations, engines allow the language to be extended with a time-sharing implementation of process abstraction facilities. To illustrate engine programming techniques, we implement a round-robin process scheduler. The importance of simple but powerful primitives such as engines is discussed.