An approach to compiler correctness using interpretation between theories

Bibliographic Details
Corporate Author:	University of California, Los Angeles Computer Science Department
Other Authors:	Levy, B. H
Format:	Book
Language:	English
Published:	1986
Subjects:	Abstract data types Compiler design Compiler verification Denotational semantics Domain equations Domains Formal specification Higher order operators Programming language semantics Programming language syntax Thesis (Ph.D.)

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Holdings details from Stanford University
Call Number:	105976 ISIL:US-CST

Similar Items