A model for the formal definition of programming languages

References

• De Bakker , J.W. 1970 . “ Semantics of Programming Languages ” . In Advances in Information Systems Science , Vol. 2 , 173 – 227 . New York : Plenum Press .
   Google Scholar
• Earley , J. 1971 . Toward an Understanding of Data Structures . Comm. Assoc, Comp. Mach , 14 : 617 – 627 .
   Web of Science ®Google Scholar
• Knuth , D.E. 1968 . “ The Art of Programming ” . In Fundamental Algorithms , Vol. 1 , Reading , Mass : Addison-Wesley .
   Google Scholar
• Lucas , P. , Lauer , P. and Stigleitner , H. June 1968 . Method and Notation for the Formal Definition of Programming Languages , June , Vienna : IBM Laboratory . Technical Report TR 25.087
   Google Scholar
• Markov , A.A. 1960 . 2 ( 15 ) June : 1 – 14 . (Russian), Tr, Math, Inst. Akad. Nauk SSSR 38 (1951), English Trans, Amer, Math. Soc. Trans
   Google Scholar
• Naur , P. , ed. 1964 . Revised Report on Algorithmical Language ALGOL-60 A/S Regnecen-tralen , Copenhagen .
   Google Scholar
• Rosen , B.K. 1971 . Cambridge , Mass : Harvard University . Research rep. Centre for Research in Comp. Techn.
   Google Scholar
• Rosenkrantz , D.J. 1969 . Programmed Grammars and Classes of Formal Languages . J.Assoc. Comp. Mach , 16 : 107 – 131 .
   Web of Science ®Google Scholar
• Farah , M. “ A Formal Definition of ALTRAN Using Linked-Forest Manipulation Systems ” . In Research Report Department of Applied Analysis and Computer Science , University of Waterloo . in preparation
   Google Scholar
• Zoltan , A.C. A Formal Definition of ALGOL-60 Using Linked-Forest Manipulation Systems , University of Waterloo . Research Report CSRR-1072, Department of Applied Analysis and Computer Science
   Google Scholar