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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/22597
Seitenaufrufe: 2
seit 15.05.2018
Downloads: 176
seit 31.12.2008
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Jahr 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