How to interpret and establish consistency results for semantics of concurrent programming languages


Baier, Christel ; Majster-Cederbaum, Mila


[img]
Preview
PDF
1995_29.pdf - Published

Download (2MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1757
URN: urn:nbn:de:bsz:180-madoc-17573
Document Type: Working paper
Year of publication: 1996
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Programmiersprache , Semantik
Abstract: It is meaningful that a language is provided with several semantic descriptions: e.g. one which serves the needs of the implementor, another one that is suitable for specification and yet another one that will be used to explain the language to the user. In this case one has to guarantee that the various semantics are 'consistent'. The attempt of this paper is to clarify the notion 'consistency' and to present a general framework and theorems for consistency results.
Additional information:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Citation Example and Export

Baier, Christel ; Majster-Cederbaum, Mila (1996) How to interpret and establish consistency results for semantics of concurrent programming languages. Open Access [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item