Equivalences on program schemes

R. Milner

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

A program scheme may be informally described as a program with the interpretation (i.e., the meaning of the basic instructions or standard functions) left unspecified. This paper studies the equivalence of program schemes under different classes of interpretations, with emphasis on those in which the functions are permitted to be partial. Several different equivalence relations are defined, and their interrelationship and solvability examined both for the class of all program schemes, and for each subclass (n≥1) in which the number of registers is at most n.
Original languageEnglish
Pages (from-to)205-219
Number of pages15
JournalJournal of Computer and System Sciences
Issue number3
Publication statusPublished - Jun 1970


Dive into the research topics of 'Equivalences on program schemes'. Together they form a unique fingerprint.

Cite this