Complementary Definitions of Programming Language Semantics
Başlık:
Complementary Definitions of Programming Language Semantics
ISBN:
9783540381600
Personal Author:
Edition:
1st ed. 1976.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976.
Fiziksel Tanımlama:
VII, 173 p. online resource.
Series:
Lecture Notes in Computer Science, 42
Contents:
History and literature review -- Basic elements of the lattice-theoretic approach -- Complementary definitions of a PASCAL subset -- Consistency of the PASCAL subset definitions -- Extensions to the PASCAL subset language -- Conclusions and directions of future research.
Ek Kurum Yazarı:
Elektronik Erişim:
Full Text Available From Springer Nature Computer Science Archive Packages
Dil:
English