Login / Signup
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend.
Hemant K. Bhargava
Ramayya Krishnan
Peter Piela
Published in:
INFORMS J. Comput. (1998)
Keyphrases
</>
real world
modeling language
databases
case study
high level
relational databases
automatically generated
formal semantics