Induction, Domains, Calculi:Strachey's Contributions to Programming-Language Engineering

Author： Schmidt D.A.  

Publisher： Springer Publishing Company

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.13, Iss.1-2, 2000-04, pp. : 89-101

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

Secrecy in Programming-Language Semantics

By Abadi M.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-15

Elsevier

Access to resources Recommend Favorite

Christopher Strachey—Understanding Programming Languages

By Burstall R.  

LISP and Symbolic Computation, Vol. 13, Iss. 1-2, 2000-04 ,pp. : 51-55

Springer Publishing Company

Access to resources Recommend Favorite

Automated user interface engineering with a pattern reflecting programming language

By Savidis Anthony  

Automated Software Engineering, Vol. 13, Iss. 2, 2006-04 ,pp. : 303-339

Springer Publishing Company

Access to resources Recommend Favorite

Formal verification of a programming logic for a distributed programming language

By Zhang C.   Olsson R.A.   Levitt K.N.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 213-235

Elsevier

Access to resources Recommend Favorite

Christopher Strachey and Fundamental Concepts

By Stoy J.  

LISP and Symbolic Computation, Vol. 13, Iss. 1-2, 2000-04 ,pp. : 115-117

Springer Publishing Company

Access to resources Recommend Favorite