Author of the publication

PROSPECTRA: Program Development by Specification and Transformation

, , , , , , , , , and . ESPRIT '86: Results and Achievements, Elsevier, Amsterdam--New York, Bruxelles.(1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

PROSPECTRA: Program Development by Specification and Transformation, , , , , , , , , and . ESPRIT '86: Results and Achievements, Elsevier, Amsterdam--New York, Bruxelles.(1987)How to Implement a System for Manipulation of Attributed Trees, , and . GI 8. Fachtagung ``Programmiersprachen und Programentwicklung'', volume 77 of Inf. Fachb., page 112--127. New York--Heidelberg--Berlin, Springer-Verlag, (March 1984)Zürich.Attributierte Transformationsgrammatiken: die Baumanalyse und Untersuchungen zu Transformationsstrategien. University des Saarlandes, Saarbrücken, Diploma Thesis, (1983)POPSY and OPTRAN Manual, , , and . ESPRIT PROSPECTRA Project Deliverable Item S.1.6 -, R.3.0. (March 1986)Generative Support for Transformational Programming, , and . ESPRIT '85: Status Report of Continuing Work, Elsevier, Amsterdam--New York, (1986)