Strictness Analysis in the Imperative Lambda Calculus

By Springer J.   Kamin S.N.  

LISP and Symbolic Computation, Vol. 9, Iss. 1, 1996-02 ,pp. : 109-143

Springer Publishing Company

Access to resources Recommend Favorite

Syntactical and semantical aspects of Faust

By Orlarey Y.   Fober D.   Letz S.  

Soft Computing, Vol. 8, Iss. 9, 2004-09 ,pp. : 623-632

Springer Publishing Company

Access to resources Recommend Favorite

A calculus for control flow analysis of security protocols

By Buchholtz Mikael   Riis Nielson Hanne   Nielson Flemming  

International Journal of Information Security (IJIS), Vol. 2, Iss. 3-4, 2004-08 ,pp. : 145-167

Springer Publishing Company

Access to resources Recommend Favorite

A Process-Calculus Analysis of Concurrent Operations on B-Trees

By Philippou A.   Walker D.  

Journal of Computer and System Sciences, Vol. 62, Iss. 1, 2001-02 ,pp. : 73-122

Academic Press

Access to resources Recommend Favorite

A semantical framework for hybrid knowledge bases

By Bruijn Jos   Pearce David   Polleres Axel   Valverde Agustín  

Knowledge and Information Systems, Vol. 25, Iss. 1, 2010-10 ,pp. : 81-104

Springer Publishing Company

Access to resources Recommend Favorite