Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.
Wolfgang JeltschPublished in: MSFP (2014)
Keyphrases
- temporal relations
- temporal dimension
- spatio temporal
- programming language
- semantic information
- spatial and temporal
- formal semantics
- temporal constraints
- temporal data
- categorical data
- temporal databases
- temporal information
- temporal reasoning
- deductive databases
- programming environment
- logic programming
- reactive systems
- functional language
- temporal aspects
- temporal patterns
- complex objects
- temporal analysis
- temporal structure
- computer programming
- control flow