KIT | KIT-Bibliothek | Impressum | Datenschutz

Names, types, and static semantic analysis

Heberle, Andreas; Glesner, Sabine; Loewe, Welf

Abstract:

We describe a new approach for the specification and
generation of the semantic analysis for typed programming languages.
We specify context-sensitive syntactic properties of a language by a
system of semantic rules. For various imperative programming
language concepts, we discuss the required semantic rules. In
particular, we show how overloading of programmer-defined
identifiers can be handled.

We propose an algorithm to solve these constraint systems
efficiently, i.e., in time O(n^2) where n is the program
size.


Volltext §
DOI: 10.5445/IR/23897
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA238976
KITopen-ID: 23897
Erscheinungsvermerk Karlsruhe 1997. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1997,13.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page