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
  
• 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 update Thu May 23 19:26:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page