Complementary Definitions of Programming Language Semantics
题名:
Complementary Definitions of Programming Language Semantics
ISBN:
9783540381600
个人著者:
版:
1st ed. 1976.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976.
物理描述:
VII, 173 p. online resource.
系列:
Lecture Notes in Computer Science, 42
内容:
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.
附加团体著者:
语言:
英文