External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Occam: Specification and Compiler Correctness - Part I: The Primary Model

Egon Börger, Igor Durdanovic, Dean Rosenzweig. Occam: Specification and Compiler Correctness - Part I: The Primary Model. In Ernst-Rüdiger Olderog, editor, Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994. Volume A-56 of IFIP Transactions, pages 489-508, North-Holland, 1994.

Authors

Egon Börger

This author has not been identified. It may be one of the following persons: Look up 'Egon Börger' in Google

Igor Durdanovic

This author has not been identified. Look up 'Igor Durdanovic' in Google

Dean Rosenzweig

This author has not been identified. Look up 'Dean Rosenzweig' in Google
runs on