Author： Stefik Andreas Gellenbeck Ed
Publisher： Springer Publishing Company
ISSN： 0963-9314
Source： Software Quality Journal, Vol.19, Iss.1, 2011-03, pp. : 65-99
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
Secrecy in Programming-Language Semantics
By Abadi M.
Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. :
Access to resources
Recommend
Abstract machines for programming language implementation
By Diehl S. Hartel P. Sestoft P.
Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. :
Algebraic Semantics of an Imperative Programming Language
Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. :