Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

By Nepomniaschy V. A.   Anureev I. S.   Promskii A. V.  

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 338-350

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Syntax-driven optimisations for reachable state space construction of ESTEREL programs

By Vecchie Eric   Simone Robert de  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 228-238

Inderscience Publishers

Access to resources Recommend Favorite

Semantics of the map

By Ucar D.  

The Cartographic Journal, Vol. 29, Iss. 2, 1992-12 ,pp. : 151-153

Maney Publishing

Access to resources Recommend Favorite

Organizing Numerical Theories Using Axiomatic Type Classes

By Paulson Lawrence  

Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. : 29-49

Springer Publishing Company

Access to resources Recommend Favorite

Linking denotational semantics with operational semantics for web services

By Zhu Huibiao  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 283-298

Springer Publishing Company

Access to resources Recommend Favorite