Compiler Specification and Verification - Softcover

Polak, Jacob

 
9780387108865: Compiler Specification and Verification

Synopsis

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9783540108863: Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

Featured Edition

ISBN 10:  3540108866 ISBN 13:  9783540108863
Publisher: Springer, 1981
Softcover