Compiler Specification and Verification

Başlık:

ISBN:

9783540387954

Personal Author:

Edition:

1st ed. 1981.

Yayın Bilgileri:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981.

Fiziksel Tanımlama:

XIII, 272 p. online resource.

Series:

Lecture Notes in Computer Science, 124

Contents:

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

Subject Term:

Ek Kurum Yazarı:

Elektronik Erişim:

Dil:

English