A family of syntactic logical relations for the semantics of Haskell-like languages.
Patricia JohannJanis VoigtländerPublished in: Inf. Comput. (2009)
Keyphrases
- logical theories
- logical structure
- lexical semantics
- relational query languages
- functional programming
- programming language
- expressive power
- semantic representation
- logical language
- logical properties
- semantic constraints
- functional language
- situation calculus
- highly expressive
- syntactic and semantic dependencies
- formal semantics
- context free grammars
- formal language
- language constructs
- relational calculus
- conceptual graphs
- predicate calculus
- temporal relations
- natural language
- model theoretic
- constraint language
- logic programming
- logical framework
- database query languages
- belief revision
- logical formulas
- binary relations
- attribute grammars
- language independent
- semantic information
- first order logic
- grammatical inference
- compositional semantics
- object oriented
- intended meaning
- semantic relations
- relational algebra
- execution model
- syntactic structures
- semantic representations
- semantic web
- logical rules
- cross lingual
- text summarization
- natural language processing
- preference relations
- software engineering
- word meanings
- plagiarism detection
- semantic role labeling
- knowledge representation