Volume 16, Number 1, July 1991

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

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
• 
  Anders Bondorf, Olivier Danvy: Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. 151-195

Volume 16, Number 3, October 1991

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

last updated on Sat May 18 06:35:15 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page