The denotational semantics of programming languages
作者： R. D. Tennent
关键词:
摘要: … in the references. We have outlined how the theory solves the problems raised by the higher… to analyze more complex languages with the assurance that such semantic models are …
acm.org
core.ac.uk
sci-hub.se 参考文章(37)
F. L. Morris, Correctness of translations of programming languages--an algebraic approach Stanford University. ,(1972) , 10.21236/ADA954771
H. Rasiowa, Introduction to Metamathematics ,(1952)
Constance Noyes Robertson, Outline of a Mathematical Theory of Computation ,(1970)
Robin Milner, Processes: A Mathematical Model of Computing Agents Logic Colloquium '73, Proceedings of the Logic Colloquium. ,vol. 80, pp. 157- 173 ,(1975) , 10.1016/S0049-237X(08)71948-7
John C. Reynolds, On the Relation between Direct and Continuation Semantics international colloquium on automata, languages and programming. pp. 141- 156 ,(1974) , 10.1007/3-540-06841-4_57
Jean Etienne Vuillemin, Proof-techniques for recursive programs. Stanford University. ,(1974)
Robin Milner, Models of LCF. Mathematisch Centrum. pp. 49- 63 ,(1973) , 10.21236/AD0758645
J. W. de Bakker, Semantics of Programming Languages Advances in Information Systems Science. pp. 173- 227 ,(1969) , 10.1007/978-1-4899-5841-9_3
John C Reynolds, On the Interpretation of Scott's Domain ,(1973)
Edsger Wybe Dijkstra, Notes on structured programming In Structured programming (1972), pp. 1-82. ,vol. 8, pp. 1- 82 ,(1970)