The calculus of context relations (Q918720): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: ML / rank | |||
Normal rank |
Revision as of 22:57, 29 February 2024
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