Formal Semantics of Programming Languages: VDL
暂无分享,去创建一个
[1] John C. Reynolds,et al. Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.
[2] Gordon D. Plotkin,et al. A Powerdomain Construction , 1976, SIAM J. Comput..
[3] Cliff B. Jones,et al. A formal definition of ALGOL 60 , 1972 .
[4] Peter Lucas. On the Formalization of Programming Languages: Early History and Main Approaches , 1978, The Vienna Development Method: The Meta-Language.
[5] Abraham Robinson,et al. Random-Access Stored-Program Machines, an Approach to Programming Languages , 1964, JACM.
[6] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[7] Heinz Zemanek. Formalization - History, Present and Future , 1974, Programming Methodology.
[8] E. Lohse,et al. A Correspondence Between ALGOL 60 and Church's Lambda- Notation: Part I* , 1965 .
[9] E. Engeler. Symposium on Semantics of Algorithmic Languages , 1971, Symposium on Semantics of Algorithmic Languages.
[10] C KingJames. A new approach to program testing , 1975 .
[11] Cliff B. Jones,et al. Proving correctness of implementation techniques , 1971, Symposium on Semantics of Algorithmic Languages.
[12] John W. Backus,et al. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.
[13] Robert W. Floyd,et al. Assigning meaning to programs , 1967 .
[14] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[15] D. Bjoerner,et al. Towards a Formal Description of Ada , 1980, Lecture Notes in Computer Science.
[16] Dana S. Scott. Mathematical concepts in programming language semantics , 1971, AFIPS '72 (Spring).
[17] Zohar Manna,et al. Fixpoint approach to the theory of computation , 1972, CACM.
[18] John McCarthy,et al. Towards a Mathematical Science of Computation , 1962, IFIP Congress.
[19] Heinz Zemanek,et al. Semiotics and programming languages , 1966, CACM.
[20] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..
[21] John A. N. Lee. The formal definition of the BASIC language , 1972, Comput. J..
[22] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[23] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[24] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.
[25] C ElgotCalvin,et al. Random-Access Stored-Program Machines, an Approach to Programming Languages , 1964 .
[26] Cliff B. Jones,et al. The Vienna Development Method: Examples of compiler development , 1978 .
[27] J. LandinP.. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965 .
[28] Randall Rustin. Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970 , 1972 .
[29] Kurt Walk,et al. Formalization of Storage Properties , 1971, Programming Languages and Their Definition.
[30] James C. King. A New Approach to Program Testing , 1974, Programming Methodology.
[31] P Lucas,et al. On the formal description of PL/I , 1969 .
[32] Cliff B. Jones. Yet another proof of the block concept , 1970 .
[33] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[34] John McCarthy. A Formal Description of a Subset of Algol , 1964 .