Parametric higher-order abstract syntax for mechanized semantics.
Adam ChlipalaPublished in: ICFP (2008)
Keyphrases
- higher order
- higher order logic
- operational semantics
- high level
- definition language
- predicate calculus
- high order
- lambda calculus
- logic programming
- machine processable
- low level
- propositional dynamic logic
- attribute grammars
- natural images
- markov random field
- pairwise
- semantic information
- higher level
- rule language
- conceptual model
- low order
- precisely defined
- lexical semantics
- formal semantics
- data sets
- natural language
- relational databases
- object oriented
- constraint language
- language constructs
- owl ontologies
- schema mappings