International Symposium on Programming

Volume 83 of the series Lecture Notes in Computer Science pp 59-78


On relations between programs

  • M. Broy
  • , P. Pepper
  • , M. WirsingAffiliated withInstitut für Informatik, Technische Universität München


Equivalence relations between programs are strongly connected to the formal definition of the semantics of programming languages. In addition they provide a basis for the formal justification of the development of programs by transformations. Besides equivalences there are various other relations on programs and computational structures, which help to get a better understanding of both programming languages and the programming activity. In particular, the study of relations between nondeterministic programs allows to compare different concepts of nondeterminism.