Algebraic specifications with partially ordered sorts and declarations | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

The Use of Sorts in Algebraic Specifications

Mosses, Peter D.

September 1992

Algebraic specification frameworks exploit a variety of sort disciplines. The treatment of sorts has...

Partial algebra + order-sorted algebra = galactic algebra

Megrelis, A.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...

Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting

Yellamraju V. Srinivas
Yellamraju V. Srinivas

January 1994

this paper, we will extend the algebraic specification framework with features that support data-dir...

Partial algebra + order-sorted algebra = G algebra

Aristide, M.
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...

Toward formal development of programs from algebraic specifications: parameterisation revisited

Sannella, D. (Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik)
Sokolowski, S. (Polish Academy of Sciences, Gdansk (Poland). Inst. of Computer Science)
Tarlecki, A. (Polish Academy of Sciences, Warsaw (Poland). Inst. of Computer Science)
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1990

SIGLETIB: RO 802(1990,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Partial algebra + order-sorted algebra = galactic algebra

Megrelis, A.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...

Partial algebra + order-sorted algebra = G algebra

Aristide, M.
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...

Toward formal development of programs from algebraic specifications: parameterisation revisited

Sannella, D. (Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik)
Sokolowski, S. (Polish Academy of Sciences, Gdansk (Poland). Inst. of Computer Science)
Tarlecki, A. (Polish Academy of Sciences, Warsaw (Poland). Inst. of Computer Science)
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1990

SIGLETIB: RO 802(1990,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...