Temporal semantics for a live coding language.
Samuel AaronDominic A. OrchardAlan F. BlackwellPublished in: FARM@ICFP (2014)
Keyphrases
- logical language
- specification language
- highly expressive
- definition language
- formal language
- intended meaning
- programming language
- logic programming language
- operational semantics
- temporal dimension
- coding scheme
- speech acts
- formal semantics
- spatio temporal
- model theoretic
- temporal relations
- conceptual graphs
- denotational semantics
- temporal constraints
- dynamic logic
- temporal information
- disjunctive logic programming
- logic programming
- conceptual model
- language learning
- temporal databases
- formal languages
- action language
- proof theory
- semantic information
- temporal redundancy
- natural language
- language constructs
- modal operators
- predicate calculus
- temporal aspects
- spatial and temporal
- inter frame
- temporal data
- first order logic
- uml class diagrams
- temporal reasoning
- data model
- coding method
- default reasoning
- fixed point semantics