Keyphrases
- formal semantics
- open source
- learning php
- database applications
- web applications
- er model
- logical language
- logical reasoning
- formal specification
- modeling language
- operational semantics
- formal language
- first order logic
- speech acts
- scripting language
- database
- modelling language
- theorem prover
- query answering
- model checking
- learning experience
- probability distribution
- machine learning