An abstract interpretation-based model for safety semantics

Author： Mastroeni Isabella   Giacobazzi Roberto  

Publisher： Taylor & Francis Ltd

ISSN： 0020-7160

Source： International Journal of Computer Mathematics, Vol.88, Iss.4, 2011-03, pp. : 665-694

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

Abstract

Related content

Model-based interpretation of ERS-1 SAR images of Arctic sea ice

By Beaven S. G.   Gogineni S. P.   Tjuatja S.   Fung A. K.  

International Journal of Remote Sensing, Vol. 18, Iss. 12, 1997-08 ,pp. : 2483-2503

Taylor & Francis Ltd

Access to resources Recommend Favorite

A Fully Abstract Semantics for Concurrent Constraint Programming

By Nyström S-O.   Jonsson B.  

Information and Computation, Vol. 146, Iss. 2, 1998-11 ,pp. : 138-180

Academic Press

Access to resources Recommend Favorite

Graded Similarity-Based Semantics for Nonmonotonic Inferences

By Godo L.  

Annals of Mathematics and Artificial Intelligence, Vol. 34, Iss. 1-3, 2002-03 ,pp. : 89-105

Springer Publishing Company

Access to resources Recommend Favorite

On a rule-based interpretation of default conditionals

By Delgrande James  

Annals of Mathematics and Artificial Intelligence, Vol. 48, Iss. 3-4, 2006-12 ,pp. : 135-167

Springer Publishing Company

Access to resources Recommend Favorite

Safety sans Frontières: An International Safety Culture Model

By  

RISK ANALYSIS, Vol. 35, Iss. 5, 2015-05 ,pp. : 770-789

John Wiley & Sons Inc

Access to resources Recommend Favorite