Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling

Author： Diskin Z. Kadish B.

Publisher： Elsevier

ISSN： 0169-023X

Source： Data and Knowledge Engineering, Vol.47, Iss.1, 2003-10, pp. : 1-59

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Formal Foundations of Operational Semantics

By Ford J.

LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. : 161-202

Springer Publishing Company

Access to resources Recommend Favorite

Fixing the Semantics of Some Concurrent Object-Oriented Concepts - Extended Abstract

By Jones C.B.

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-6

Elsevier

Access to resources Recommend Favorite

Formal Semantics of Java Expressions and Statements

By Zamulin A. V.

Programming and Computer Software, Vol. 29, Iss. 5, 2003-09 ,pp. : 259-270

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Abstract fairness and semantics

By Nolte D. Priese L.

Theoretical Computer Science, Vol. 177, Iss. 1, 1997-04 ,pp. : 139-153

Elsevier

Access to resources Recommend Favorite

Actor languages Their syntax, semantics, translation, and equivalence

By Mason I.A. Talcott C.L.

Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. : 409-467

Elsevier

Access to resources Recommend Favorite