SEMANOL(76) Reference Manual. Volume II.

Abstract

SEMANOL(76) is a metaprogramming language designed specifically for use in writing formal, operational, specifications of the syntax and semantics of contemporary programming languages. The SEMANOL(76) reference manual provides a detailed description of the metaprogramming language. The context-free syntax is given in the SEMANOL(76) notation, while the context-sensitive constraints and semantics are given by prose text. This manual does not explain how SEMANOL(76) ought to be used when writing formal specifications. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1977
Accession Number
ADA049473

Entities

People

  • F. C. Belz

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Arithmetic
  • Bits
  • Computer Programming
  • Computer Programs
  • Construction
  • Context Free Grammars
  • Grammars
  • Identification
  • Identities
  • Language
  • Manuals
  • Notation
  • Programming Languages
  • Side Effects
  • Space Systems
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics