H ? « ‹ ← → › »

Language peer sets for SEMANOL:
United States↑
United States/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Grammar and Syntax-oriented ↑
Grammar and Syntax-oriented↑
Language-related↑
Content-reflexive ↑
Grammar and Syntax-oriented/1969↑
Language-related/1969↑
Content-reflexive/1969↑
Grammar and Syntax-oriented/United States↑
Language-related/United States↑
Content-reflexive/United States↑

SEMANOL(ID:4078/sem002)

TRW metaprogramming language 

alternate simple view
Country: United States
Designed 1969
Genus: Grammar and Syntax-oriented

for Semantics Oriented Language

TRW Defense and Space Systems Group 1976

Used for proving JOVIAL, Ada and COBOL


Places
People:
Related languages
ADES II → SEMANOL   Evolution of
SEMANOL → SEMANOL(73)   Evolution of
References:
  • Blum, E. K. (1969) Blum, E. K. "Towards a theory of semantics and compilers for programming languages", J. Computer and Systems Sciences 3 (1969), 248-275
  • Blum, E.K. (1969) Blum, E.K. "The semantics of programming languages, Part I", TRW Report TPR-TR-1 (1969)
  • Blum, E.K. (1970) Blum, E.K. "The semantics of programming languages, Part II", TRW Report TPR-TR-2, (1970)
  • Blum, E. K. (1971) Blum, E. K. "Semantics of programming languages"
          in (1971) IFIP Working Group 2.2 Bulletin (1971)
  • (1973) "A Standard for Language Implementation" RADC-TR-73-143 Rome Air Development Center/TRW Ssytems Group June 1973
          in (1971) IFIP Working Group 2.2 Bulletin (1971)
  • (1973) "A Standard for Language Implementation: Semanol Reference Manual" TRW Systems Group April 1973 Abstract
          in (1971) IFIP Working Group 2.2 Bulletin (1971)
  • Anderson, E.; F. Belz, E. Blum, (1976) Anderson, E.; F. Belz, E. Blum, "SEMANOL(73) A metalanguage for programming the semantics of programming languages" pp109-131
          in (1976) Acta Informatica 6(2) July 2, 1976
  • Blum, E.K. (1976) Blum, E.K. "Formal semantics of programming languages", TRW Report TR-6 (1973) Abstract
          in (1976) Acta Informatica 6(2) July 2, 1976
  • Anderson, E. R. and D. M. Heimbigner, (1977) Anderson, E. R. and D. M. Heimbigner, "SEMANOL (76) Interpreter Documentation", TRW Report (1977)
          in (1976) Acta Informatica 6(2) July 2, 1976
  • Anderson, E.R., F. C. Belz, and E. K. Blum, (1977) Anderson, E.R., F. C. Belz, and E. K. Blum, "Issues in the Formal specification of Programming Languages
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Belz, F. C. and I. Green, (1977) Belz, F. C. and I. Green, "A SEMANOL(76) specification of JOVIAL(J73)", TRW Report prepared for Rome Air Development Center (1977) Abstract
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Belz, F. C. (1977) Belz, F. C. "SEMANOL(76)" Reference Manual, TRW Report (1977)
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Belz, F. C., R. M. Hart and D. M. Heimbigner, (1977) Belz, F. C., R. M. Hart and D. M. Heimbigner, "A SEMANOL(76) specification of Minimal BASIC", TRW report prepared for Rome Air Development Center (1977)
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Berning Paul T. (1977) Berning Paul T. "Improvements to SEMANOL Volume I" TRW Defense and Space Systems Group Redondo Beach Calif Nov 77, RADC-TR-77-365-VOL-1 Abstract
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Berning, P. T. (1977) Berning, P. T. "An Introduction to SEMANOL", TRW Report (1977)
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Belz, Frank C., Edward K. Blum, and Dennis M. Heim (1980) Belz, Frank C., Edward K. Blum, and Dennis M. Heimbigner "A Design for a SEMANOL Specification of Ada" TRW Technical Report CDRL A003 of Contract no. F30602-79-C-0204 4/80 Abstract
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
  • Berning, Paul T. (1980) Berning, Paul T. "Formal SEMANOL Specification of Ada" TRW Report RADC-TR-89-293 Rome Air Development Center 9/80 Abstract
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder