Author of the publication

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

On the formal definition of ADA., , and . Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, page 475-489. Springer, (1980)Extracting Text from Proofs., , and . TLCA, volume 902 of Lecture Notes in Computer Science, page 109-123. Springer, (1995)Outline of a Tool for Document Manipulation., , , , and . IFIP Congress, page 615-620. North-Holland/IFIP, (1983)Ariane 5 Flight 501 Failure Report by the Inquiry Board, , , , , , , , and . Paris, France, (July 1996)CENTAUR: The System., , , , , , and . Software Development Environments (SDE), page 14-24. ACM, (1988)Proof by Pointing., , and . TACS, volume 789 of Lecture Notes in Computer Science, page 141-160. Springer, (1994)CENTAUR: Towards a "Software Tool Box" for Programming Environments., , and . SEE, volume 467 of Lecture Notes in Computer Science, page 287-304. Springer, (1989)An Approach to System Correctness.. SOSP, page 86-94. ACM, (1971)Operating System Review 6(1-2).Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples., , and . ICALP, volume 14 of Lecture Notes in Computer Science, page 200-213. Springer, (1974)The Semantics of a Simple Language for Parallel Programming.. IFIP Congress, page 471-475. North-Holland, (1974)