Formal Semantics of DRMA-Style Programming in BSPlib.

Julien Tesson Frédéric Loulergue

Published in: PPAM (2007)

Keyphrases

formal semantics
programming language
logical language
logical reasoning
operational semantics
formal language
modeling language
speech acts
er model
modelling language
ontology languages
first order logic
epistemic logic
theorem prover
software engineering
high level
database