Where academic tradition
meets the exciting future

Specification of a Program Derivation Editor

Michael Butler, Eric Hedman, Patrik Nilsson, Rimvydas Ruksenas, Marina Waldén, Yi Zhao, Specification of a Program Derivation Editor. 0, 1994.

Abstract:

http://www.tucs.fi/Publications/techreports/tBuHeNiRuWaZ94.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBuHeNiRuWaZ94,
  title = {Specification of a Program Derivation Editor},
  author = {Butler, Michael and Hedman, Eric and Nilsson, Patrik and Ruksenas, Rimvydas and Waldén, Marina and Zhao, Yi},
  year = {1994},
}

Edit publication