External Links

Cite Key

Statistics

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

PDF

Tags

Bibliographies

    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.

    An Approach to Verifiable Compiling Specification and Prototyping

    Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya. An Approach to Verifiable Compiling Specification and Prototyping. In Pierre Deransart, Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP 90, Linköping, Sweden, August 20-22, 1990, Proceedings. Volume 456 of Lecture Notes in Computer Science, pages 45-59, Springer, 1990.

    Abstract

    Abstract is missing.

    runs on