Towards a Formal Semantics for AspectJ Weaving.

Nadia Belblidia Mourad Debbabi

Published in: JMLC (2006)

Keyphrases

formal semantics
aspect oriented
er model
operational semantics
logical language
logical reasoning
modeling language
ontology languages
modelling language
theorem prover
formal language
first order logic
speech acts
epistemic logic
owl dl ontology
database
data mining
query processing
natural language
databases