The calculus of context relations (Q918720)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The calculus of context relations |
scientific article; zbMATH DE number 4160150
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The calculus of context relations |
scientific article; zbMATH DE number 4160150 |
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
0.8906311
0 references
0 references
0.88414305
0 references
0 references
0 references
0.8716105
0 references
0.87119484
0 references
