Abstract categorical semantics for resourceful functional reactive programming.
Wolfgang JeltschPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- programming language
- reactive systems
- propositional dynamic logic
- functional language
- high level
- higher level
- semantic information
- programming environment
- logic programming
- graphical representation
- categorical data
- operational semantics
- programming course
- formal semantics
- conceptual graphs
- data sets
- low level
- clustering algorithm
- databases