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

Jape: A Calculator for Animating Proof-on-Paper., and . CADE, volume 1249 of Lecture Notes in Computer Science, page 412-415. Springer, (1997)Laws of Programming., , , , , , , , and . Commun. ACM, 30 (8): 672-686 (1987)Corrigendum: CACM 30(9): 770 (1987).Towards the formal specification of a simple programming support environment., and . Softw. Eng. J., 2 (4): 86-94 (1987)Specification of the UNIX Filing System., and . IEEE Trans. Software Eng., 10 (2): 128-142 (1984)Communicating Scala Objects.. CPA, volume 66 of Concurrent Systems Engineering Series, page 35-54. IOS Press, (2008)Interpreting dreams of abstract machines.. Ada Lovelace Symposium, page 16. ACM, (2015)Eclectic CSP: A Language of Concurrent Processes., and . SAC (2), page 840-842. ACM, (2000)1-58113-240-9.Animating Formal Proof at the Surface: The Jape Proof Calculator., and . Comput. J., 42 (3): 177-192 (1999)Type Inference in Z., and . VDM Europe, volume 428 of Lecture Notes in Computer Science, page 426-451. Springer, (1990)Type Inference in Z., and . Z User Workshop, page 6-31. Springer, (1989)