@inproceedings{adb733445bb7495ab42640d0dfff9360,
title = "On relations between programs",
abstract = "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.",
author = "M. Broy and P. Pepper and M. Wirsing",
note = "Publisher Copyright: {\textcopyright} 1980, Springer-Verlag.; 4th International Symposium on Programming, 1980 ; Conference date: 22-04-1980 Through 24-04-1980",
year = "1980",
doi = "10.1007/3-540-09981-6\_5",
language = "English",
isbn = "9783540099819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "59--78",
editor = "Bernard Robinet",
booktitle = "International Symposium on Programming - Proceedings of the 4th Colloque International sur la Programmation",
}