Algebraic Semantics of an Imperative Programming Language

By Zamulin A. V.  

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 328-337

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Parallelizing Imperative Functional Programs: the Vectorization Monad

By Hill J.M.D.   Clarke K.M.   Bornat R.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 561-576

Academic Press

Access to resources Recommend Favorite

Calculating Quantitative Integrity and Secrecy for Imperative Programs

By  

International Journal of Secure Software Engineering (IJSSE), Vol. 6, Iss. 2, 2015-04 ,pp. : 23-46

IGI Global_journal

Access to resources Recommend Favorite

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

By Ellman T.   Murata T.  

Automated Software Engineering, Vol. 5, Iss. 3, 1998-07 ,pp. : 291-319

Springer Publishing Company

Access to resources Recommend Favorite

Inclusion problem in algebraic models of programs with constants

By Podlovchenko R.   Rusakov D.  

Programming and Computer Software, Vol. 33, Iss. 3, 2007-05 ,pp. : 121-131

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite