Publisher： IGI Global_journal
E-ISSN： 1947-8194|7|2|31-47
ISSN： 1947-8186
Source： International Journal of Information System Modeling and Design (IJISMD), Vol.7, Iss.2, 2016-04, pp. : 31-47
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
Formal Foundations of Operational Semantics
By Ford J.
LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. :
Formal Semantics of Java Expressions and Statements
Programming and Computer Software, Vol. 29, Iss. 5, 2003-09 ,pp. :
Hybrid rules with well-founded semantics
By Drabent Włodzimierz Małuszyński Jan
Knowledge and Information Systems, Vol. 25, Iss. 1, 2010-10 ,pp. :
Dynamic semantics of Java bytecode
By Bertelsen P.
Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. :