An abstract categorical semantics for functional reactive programming with processes.
Wolfgang JeltschPublished in: PLPV (2014)
Keyphrases
- programming language
- functional language
- dynamic aspects
- agent architecture
- high level
- general purpose
- higher level
- graphical representation
- programming language constructs
- low level
- logic programming
- semantic information
- process model
- conceptual model
- functional units
- numerical values
- development environment
- default reasoning
- belief revision
- data sets
- attribute values
- databases