Search Results - "Semantics of Programming Languages— operational semantics"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Static analysis of arithmetical congruences by Granger, Philippe

    ISSN: 0020-7160, 1029-0265
    Published: Abingdon Gordon and Breach Science Publishers 01.01.1989
    “…In this paper, a new kind of static (or semantic) analysis is defined: congruence analysis, which is conceived to discover the properties of the following…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    An attributed translation grammar for PL/0 by Salas McClyskey, Carolina Paciencia

    ISSN: 0020-7160, 1029-0265
    Published: Gordon and Breach Science Publishers 01.01.1987
    “…In this paper an attributed translation grammar (abbreviated as ATG) for the PL/0 is defined. The translation achieved by the ATG is the generation of the…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: