MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Baumeister, Hubertdblp
Editor(s):
Abramsky, S.
Maibaum, T. S. E.		dblp
dblp
BibTeX cite key*:
Baumeister91a
Title, Booktitle
Title*:
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
Booktitle*:
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Brighton, UK
Language:
English
Event Date*
(no longer used):
April
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
493
Number:
Month:
April
Pages:
103-120
Year*:
1991
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
In this paper we are going to present a theory of parameterized abstract datatypes as the model-theoretic level of parameterized specifications. We will show that parameterized abstract datatypes allow us to model the main approaches to the semantics of parameterized specifications, the loose approach and the free functor semantics, using the same formalism. As a consequence we obtain that, when using data constraints in a specification language, this language is able to cope with both the loose and the free functor semantics at the same time. To be independent of a specific logic this theory is developed in the context of an arbitrary institution.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{Baumeister91a,
AUTHOR = {Baumeister, Hubert},
 EDITOR = {Abramsky, S. and Maibaum, T. S. E.},
 TITLE = {Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution},
 BOOKTITLE = {Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91)},
 PUBLISHER = {Springer},
 YEAR = {1991},
 VOLUME = {493},
 PAGES = {103--120},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Brighton, UK},
 MONTH = {April},
}

Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
01/14/1995 06:50:48 PM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Uwe Brahm
Hubert Baumeister
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
03/27/98 09:55:41 PM
26/03/98 14:03:52
03/25/96 10:54:06 PM
21/01/95 21:23:30
21/01/95 20:45:52