Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Higher-Order and Symbolic Computation: Abstract, 13(1/2)77-81
[go: Go Back, main page]

Higher-Order and Symbolic Computation, 13(1/2)77-81

From Language Concepts to Implementation Concepts

Robert Milne, Nortel Networks, Harlow Laboratories, London Road, Harlow, Essex, CMI 9NA, United Kingdom

Abstract: We outline some of the impact of Christopher Strachey, particularly by referring to work on program equivalence and implementation correctness for programming languages.

Keywords: language design, program equivalence, implementation correctness

This article can be downloaded [here]. 		[picture of journal cover]

June 2003 - hosc@brics.dk