Science of Computer Programming, Volume 16

Volume 16, Number 1, July 1991

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

Volume 16, Number 2, September 1991

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

Volume 16, Number 3, October 1991

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