A Graph-Based Formal Semantics of Reactive Programming from First Principles.
Bjarno OeyenJoeri De KosterWolfgang De MeuterPublished in: FTfJP@ECOOP (2022)
Keyphrases
- formal semantics
- logical language
- programming language
- reactive systems
- logical reasoning
- er model
- modelling language
- theorem prover
- modeling language
- operational semantics
- first order logic
- formal language
- speech acts
- epistemic logic
- owl dl ontology
- database
- temporal logic
- expressive power
- database design
- probabilistic model
- database systems
- machine learning