An Approach to Verifiable Compiling Specification and Prototyping

• Authors:

• Jonathan P. Bowen;Jifeng He;Paritosh K. Pandya

• Affiliations:

• -;-;-

• Venue:
• PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
• Year:
• 1990