KIT | KIT-Bibliothek | Impressum | Datenschutz

Generating semantic analysis using constraint programming

Glesner, Sabine; Heberle, Andreas; 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 and show
how they can be solved efficiently, i.e., in time O(n) where n is
the program size.


Volltext §
DOI: 10.5445/IR/22597
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-AAA225974
KITopen-ID: 22597
Erscheinungsvermerk Karlsruhe 1997. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1997,15.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page