Andrew Appel (1992):
Compiling with Continuations.
Cambridge University Press.
Josh Berdine, Peter W. O'Hearn, Uday Reddy & Hayo Thielecke (2002):
Linear Continuation Passing.
Higher-order and Symbolic Computation 15(2/3),
pp. 181–208,
doi:10.1023/A:1020891112409.
NVIDIA Corporation (2011):
What is CUDA?.
Available at http://www.nvidia.com/object/what_is_cuda_new.html.
Russ Cox (2007):
Regular Expression Matching Can Be Simple And Fast (but is slow in Java, Perl, PHP, Python, Ruby, ...).
Available at http://swtch.com/rsc/regexp/regexp1.html.
Russ Cox (2009):
Regular Expression Matching: the Virtual Machine Approach.
Available at http://swtch.com/rsc/regexp/regexp2.html.
Matthias Felleisen & Daniel P. Friedman (1986):
Control operators, the SECD-machine, and the λ-calculus.
In: M. Wirsing: Formal Description of Programming Concepts.
North-Holland,
pp. 193–217.
Peter J. Landin (1964):
The Mechanical Evaluation of Expressions.
The Computer Journal 6(4),
pp. 308–320.
Robin Milner (1980):
A Calculus of Communicating Systems.
Lecture Notes in Computer Science 92,
doi:10.1007/3-540-10235-3.
Springer.
Robin Milner (1983):
Calculi for Synchrony and Asynchrony.
Theoretical Computer Science 25,
pp. 267–310.
Robin Milner (1999):
Communicating and Mobile Systems: The Pi Calculus.
Cambridge University Press.
John C. Reynolds (2002):
Separation Logic: A Logic for Shared Mutable Data Structures.
In: Logic in Computer Science (LICS).
IEEE,
pp. 55–74,
doi:10.1109/LICS.2002.1029817.
Alan P. Sexton & Hayo Thielecke (2008):
Reasoning about B+ Trees with Operational Semantics and Separation Logic.
In: Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS24),
Electronic Notes in Theoretical Computer Science,
pp. 355–369,
doi:10.1016/j.entcs.2008.10.021.
Ken Thompson (1968):
Programming Techniques: Regular expression search algorithm.
Communications of the ACM 11(6),
pp. 419–422,
doi:10.1145/363347.363387.
Stanley Tzeng, Anjul Patney & John D. Owens (2010):
Task Management for Irregular-Parallel Workloads on the GPU.
In: High Performance Graphics.
Eurographics Association,
pp. 29–37.
eptcs@eptcs.org