The calculus of context relations

DOI10.1007/BF01178581zbMath0706.68073MaRDI QIDQ918720

Gregor Snelting

Publication date: 1991

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

semanticsinferencesemantic analysiscalculus of context relationsincremental type inferencersorder-sorted unification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Uses Software

• ML
• Ada95
• mini-ML
• Centaur

Cites Work

• Order-sorted unification
• On incremental evaluation of ordered attributed grammars
• The relational model with relation-valued attributes
• A unification algorithm for typed \(\overline\lambda\)-calculus
• A theory of type polymorphism in programming
• Computational aspects of an order-sorted logic with term declarations
• Boolean unification - the story so far
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item