Výsledky vyhledávání - "Semantics of Programming Languages—Operational semantics"
-
1
Static analysis of arithmetical congruences
ISSN: 0020-7160, 1029-0265Vydáno: Abingdon Gordon and Breach Science Publishers 01.01.1989Vydáno v International journal of computer mathematics (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…”
Získat plný text
Journal Article -
2
An attributed translation grammar for PL/0
ISSN: 0020-7160, 1029-0265Vydáno: Gordon and Breach Science Publishers 01.01.1987Vydáno v International journal of computer mathematics (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…”
Získat plný text
Journal Article