External Links

Journal: Science of Computer Programming

Volume 16, Issue 3

207 -- 249Ralf Kneuper. Symbolic Execution: A Semantic Approach
251 -- 275Heiko Vogler. Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers

Volume 16, Issue 2

103 -- 149Albert Benveniste, Paul Le Guernic, Christian Jacquemot. Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics
151 -- 195Anders Bondorf, Olivier Danvy. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types

Volume 16, Issue 1

1 -- 18Margaret Montenyohl, Mitchell Wand. Correctness of Static Flow Analysis in Continuation Semantics
19 -- 48Maarten M. Fokkinga. An Exercise in Transformational Programming: Backtracking and Branch-and-Bound
49 -- 88Ambuj K. Singh. Specification of Concurrent Objects Using Auxiliary Variables
runs on