The formal definition of semantics by string automata
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