KIT | KIT-Bibliothek | Impressum

The Calculus of Context Relations

Snelting, Gregor

Abstract: 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
Jahr 1991
Sprache Englisch
Identifikator ISSN: 0001-5903
KITopen ID: 1000017663
Erschienen in Acta Informatica
Band 28
Heft 5
Seiten 411 - 445
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page