Volume 16, Number 1, July 1991
Volume 16, Number 2, September 1991
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