Author of the publication

Calculating Software Generators from Solution Specifications.

, , , , , , , , and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 546-560. Springer, (1995)

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

Calculating Software Generators from Solution Specifications., , , , , , , , and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 546-560. Springer, (1995)C-: A Portable Assembly Language., , and . Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, page 1-19. Springer, (1997)A Software Engineering Experiment in Software Component Generation., , , , , , , , , and . ICSE, page 542-552. IEEE Computer Society, (1996)Software design for reliability and reuse: a proof-of-concept demonstration., , , , , , , , , and 2 other author(s). TRI-Ada, page 396-404. ACM, (1994)Proving the Correctness of Storage Representations., and . LISP and Functional Programming, page 151-160. ACM, (1992)