The next 700 formal language descriptions
Lisp and Symbolic Computation - Special issue on continuations—part I
The next 700 programming languages
Communications of the ACM
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
Comparing Control Constructs by Double-Barrelled CPS
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Formalizing Implementation Strategies for First-Class Continuations
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Normalization and Partial Evaluation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A sound and complete axiomatization of delimited continuations
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
On the call-by-value CPS transform and its semantics
Information and Computation
A denotational semantics for stateflow
Proceedings of the 5th ACM international conference on Embedded software
On the dynamic extent of delimited continuations
Information Processing Letters
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Investigations on the Dual Calculus
Theoretical Computer Science
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
Server-centric Web frameworks: An overview
ACM Computing Surveys (CSUR)
Checkpoints and continuations instead of nested transactions
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
RPC chains: efficient client-server communication in geodistributed systems
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
On the Observational Theory of the CPS-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
On the dynamic extent of delimited continuations
Information Processing Letters
Higher-Order and Symbolic Computation
On typing delimited continuations: three new solutions to the printf problem
Higher-Order and Symbolic Computation
Delimited continuations in operating systems
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Typed dynamic control operators for delimited continuations
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Semantics and algebraic specification
K-Maude: a rewriting based tool for semantics of programming languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Continuations and behavior components engineering in multi-agent systems
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Hoare-style reasoning with (algebraic) continuations
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Accessibility for plurals in continuation semantics
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
| Hi-index | 0.01 |
This paper describes a method of giving the mathematical semanticsof programming languages which include the most general form ofjumps.