The calculus of context relations (Q918720)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The calculus of context relations |
scientific article |
Statements
The calculus of context relations (English)
0 references
1991
0 references
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 or languages like ADA and Fortran 8x.
0 references
calculus of context relations
0 references
semantic analysis
0 references
semantics
0 references
inference
0 references
order-sorted unification
0 references
incremental type inferencers
0 references