KIT | KIT-Bibliothek | Impressum | Datenschutz

The Calculus of Context Relations

Snelting, Gregor


We present the theory of context relations. Context relations are a method for incremental semantic analysis in language-specific editors, which is able to handle incomplete program fragments. The algorithm is generated from the definition of a language's static semantics and is based on inference rules and order-sorted unification. The paper presents the underlying mathematical theory, optimal incremental analysis algorithms, handling of user-defined polymorphism and overloading, and implementation issues. It is intended as the concluding report on a by now mature concept, which has successfully been used to generate efficient incremental type inferencers for languages like ADA and Fortran 8x.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1991
Sprache Englisch
Identifikator ISSN: 0001-5903
KITopen-ID: 1000017663
Erschienen in Acta Informatica
Verlag Springer
Band 28
Heft 5
Seiten 411 - 445
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page