论文信息 - Programming Language Specification - 字舞流文

Programming Language Specification

Raymond Turner | R. Turner

[1] Gordon D. Plotkin,et al. The origins of structural operational semantics , 2004, J. Log. Algebraic Methods Program..

[2] K. Mulmuley. Full Abstraction and Semantic Equivalence , 1987 .

[3] Christopher Strachey,et al. A theory of programming language semantics , 1976 .

[4] Robert D. Tennent,et al. The denotational semantics of programming languages , 1976, CACM.

[5] Raymond Turner,et al. Understanding Programming Languages , 2007, Minds and Machines.

[6] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[7] Peter D. Mosses,et al. Denotational semantics , 1995, LICS 1995.

[8] Benjamin C. Pierce,et al. Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[9] Peter Lucas,et al. Formal Semantics of Programming Languages: VDL , 1981, IBM J. Res. Dev..

[10] Carl A. Gunter. Semantics of programming languages: structures and techniques , 1993, Choice Reviews Online.

[11] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..