Author of the publication

Informality in program specifications.

, , and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 671-672. AFIPS Press, (1978)

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

Semantics for the architecture interchange language, ACME.. ISAW/Viewpoints@FSE, page 28-30. ACM, (1996)Transformational implementation., and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 705-706. AFIPS Press, (1978)Acme: an architecture description interchange language., , and . CASCON, page 7. IBM, (1997)Informality in program specifications., , and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 671-672. AFIPS Press, (1978)Acme: Architectural Description of Component-Based Systems, , and . Foundations of component-based systems, Cambridge University Press, New York, NY, USA, (2000)Reflections on a systems programming language., , , and . SIGPLAN Symposium on Languages for System Implementation, page 42-49. ACM, (1971)Foundations of component-based systems, , and . Cambridge University Press, New York, NY, USA, (2000)Lessons learned from real DSL experiments. Sci. Comput. Program., 51 (3): 265--290 (2004)Application Downloading., , , , and . ICSE, page 450-459. IEEE Computer Society, (1981)Worlds: an organizing structure for object-bases., and . SDE, page 16-26. ACM, (1986)