Author: Malenfant J.
Publisher: Springer Publishing Company
ISSN: 1388-3690
Source: LISP and Symbolic Computation, Vol.9, Iss.2-3, 1996-05, pp. : 153-179
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
Prototype-based management of business process exception cases
Applied Intelligence, Vol. 33, Iss. 3, 2010-12 ,pp. :
Secrecy in Programming-Language Semantics
By Abadi M.
Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. :
Algebraic Semantics of an Imperative Programming Language
Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. :
On reduction-based process semantics
Theoretical Computer Science, Vol. 151, Iss. 2, 1995-11 ,pp. :