摘要:
springer.com
sci-hub.st 参考文章(20)
Erwin Engeler, Symposium on semantics of algorithmic languages ,(1971)
Peter Lucas, Formal Definition of Programming Languages and Systems. ifip congress. pp. 291- 297 ,(1971)
Constance Noyes Robertson, Outline of a Mathematical Theory of Computation ,(1970)
H Bekic, C B. Jones, Programming languages and their definition ,(1984)
Dines Bjørner, Cliff B. Jones, The Vienna Development Method: The Meta-Language ,(1978)
John McCarthy, A Formal Description of a Subset of Algol Defense Technical Information Center. ,(1964) , 10.21236/AD0785050
Peter Lucas, On the Formalization of Programming Languages: Early History and Main Approaches The Vienna Development Method: The Meta-Language. pp. 1- 23 ,(1978) , 10.1007/3-540-08766-4_8
P. Lucas, Formal Semantics of Programming Languages: VDL IBM Journal of Research and Development. ,vol. 25, pp. 549- 561 ,(1981) , 10.1147/RD.255.0549
W. Henhapl, C.B. Jones, A run-time mechanism for referencing variables Information Processing Letters. ,vol. 1, pp. 14- 16 ,(1971) , 10.1016/0020-0190(71)90015-9