On relations between programs

M. Broy, P. Pepper, M. Wirsing

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

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.

Original languageEnglish
Title of host publicationInternational Symposium on Programming - Proceedings of the 4th Colloque International sur la Programmation
EditorsBernard Robinet
PublisherSpringer Verlag
Pages59-78
Number of pages20
ISBN (Print)9783540099819
DOIs
StatePublished - 1980
Event4th International Symposium on Programming, 1980 - Paris, France
Duration: 22 Apr 198024 Apr 1980

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume83 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Symposium on Programming, 1980
Country/TerritoryFrance
CityParis
Period22/04/8024/04/80

Fingerprint

Dive into the research topics of 'On relations between programs'. Together they form a unique fingerprint.

Cite this