Slicing from Formal Semantics: Chisel.

Adrián Riesco Irina Mariuca Asavoae Mihail Asavoae

Published in: FASE (2017)

Keyphrases

formal semantics
er model
logical language
operational semantics
first order logic
modeling language
formal language
modelling language
logical reasoning
theorem prover
domain knowledge
object oriented
databases
software engineering
speech acts