The formal definition of semantics by string automata

Computer Languages - Tập 1 - Trang 121-138 - 1975
G. Kampen1
1Computer Science Department, University of Illinois, Urbana, IL 61081, U.S.A.

Tài liệu tham khảo

Berry, 1971, Introduction to Oregano, 6, 171 Feldman, 1966, A formal semantics for computer languages and its application in a compiler-compiler, C.A.C.M., 2, 3 Hopcroft, 1969 Johnston, 1971, The Contour Model of Block Structured Processes, 6, 55 Kampen, 1973, SIBYL: A Formally Defined Interactive Programming System Containing an Extensible Block-Structured Language Lucas, 1969, On the formal description of PL/I, Ann. Rev. Autom. Prog., 6, 3 McCarthy, 1965 1963, 6, 1 Organick, 1971, A Data Structure Model of the B6700 Computer System, 6, 83 Schwartz, 1972, Semantic Definition Methods and the Evolution of Programming Languages, 1 Wijngaardem, 1969, Report on the Algorithmic Language ALGOL 68, Numerische Mathematik, 14, 84 Wegner, 1971, Data structure models in programming languages, 6, 1 Wegner, 1972, The Vienna Definition Language, Comput. Survey, 4, 5, 10.1145/356596.356598 Wirth, 1966, Euler: A Generalization of ALGOL and its Formal Definition, C.A.C.M., 9, 13