HOME | DEUTSCH | IMPRESSUM | KIT

Journal Article: The Calculus of Context Relations

[snelting91ai]Gregor Snelting, The Calculus of Context Relations, Acta Informatica, Vol. 28, (5), pp. 411--445, May 1991.

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.

Download

  [DOI]

BibTeX

Authors at the institute

Department Head
Prof. Gregor Snelting