Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Baumeister, Hubert

dblp



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

URL of the conference:


URL for downloading the paper:


Event Address*:

Brighton, UK

Language:

English

Event Date*
(no longer used):

April

Organization:


Event Start Date:

22 August 2019

Event End Date:

22 August 2019

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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