Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort.
H. C. WongAlan BurnsPublished in: RTCSA (2015)
Keyphrases
- reactive systems
- nested transactions
- response time
- distributed database systems
- concurrency control
- functional language
- higher priority
- temporal logic
- programming language
- transaction model
- model checking
- information flow
- programming environment
- agent architecture
- materialized views
- formal methods
- neural network
- programming environments
- data sets
- relational databases
- data structure