The calculus of context relations (Q918720): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5452362 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5663380 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3338216 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A unification algorithm for typed \(\overline\lambda\)-calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3703312 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3707340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3774923 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3668890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean unification - the story so far / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Order-sorted unification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of type polymorphism in programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The relational model with relation-valued attributes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computational aspects of an order-sorted logic with term declarations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992707 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3026314 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On incremental evaluation of ordered attributed grammars / rank | |||
Normal rank |
Latest revision as of 10:23, 21 June 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