Login / Signup

A Formal Semantics for Isorecursive and Equirecursive State Abstractions.

Alexander J. SummersSophia Drossopoulou
Published in: ECOOP (2013)
Keyphrases
  • formal semantics
  • operational semantics
  • logical language
  • speech acts
  • logical reasoning
  • state space
  • open source
  • first order logic
  • e learning
  • high level
  • ontology languages
  • formal language
  • modelling language
  • er model