Suchergebnisse - "Semantics of Programming Languages|Operational Semantics"
-
1
Static analysis of arithmetical congruences
ISSN: 0020-7160, 1029-0265Veröffentlicht: Abingdon Gordon and Breach Science Publishers 01.01.1989Veröffentlicht in 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 …”
Volltext
Journal Article -
2
An attributed translation grammar for PL/0
ISSN: 0020-7160, 1029-0265Veröffentlicht: Gordon and Breach Science Publishers 01.01.1987Veröffentlicht in 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 …”
Volltext
Journal Article