The Institution of Multialgebras - a general framework for algebraic software development

The Institution of Multialgebras - a general framework for algebraic software development (2002)

Cached

Download Links

[www.ii.uib.no]

Other Repositories/Bibliography

DBLP

by Yngve Lamo

Citations:

5 - 2 self

BibTeX

@MISC{Lamo02theinstitution,
    author = {Yngve Lamo},
    title = {The Institution of Multialgebras - a general framework for algebraic software development},
    year = {2002}
}

Bookmark

OpenURL

Abstract

this technicality

Citations

425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
369	Category Theory for Computing Science - Barr, Wells - 1990
209	B.: “Fundamentals of Algebraic Specifications 1 - Ehrig, Mahr - 1985
202	Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations - Goguen, Meseguer - 1992
173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
160	General logics - Meseguer - 1989
127	Membership algebra as a logical framework for equational specification - Meseguer - 1997
38	and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications - Sannella - 1988
35	CAT, a system for the structured elaboration of correct programs from structured specifications - Goguen, Burstall
35	Initial Computability, Algebraic Specifications, and Partial Algebras - Reichel - 1987
31	and Răzvan Diaconescu. An Oxford survey of order sorted algebra - Goguen - 1994
31	J.B.]: Data type specification: parameterization and the power of specification techniques - ADJ, Thatcher, et al. - 1979
26	Why Horn formulas matter for computer science: Initial structures and generic examples - Makowsky - 1987
24	Abstract errors for abstract data types - Goguen - 1978
22	Some fundamental algebraic tools for the semantics of computation, part I - Goguen, Burstall - 1984
21	A complete calculus for the multialgebraic and functional semantics of nondeterminism - Walicki, Meldal - 1995
20	Institutions: An Abstract Framework for Formal Specifications - Tarlecki - 1999
17	From total equational to partial first order - Cerioli, Mossakowski, et al. - 1997
17	Equivalences among various logical frameworks of partial algebras - Mossakowski - 1995
11	Parameter passing in algebraic specification languages - Ehrig, Kreowski, et al. - 1984
11	some) categories of relational structures - Walicki, Bialsik - 1376
11	Algebras and Complete Calculi of Identities and Inclusions - Multialgebras - 1995
10	Partial algebras -- an introductory survey - Burmeister - 1993
10	Algebraic Specifications of Nondeterminism - Walicki - 1993
6	Modeling partiality by nondeterminism - from abstract specifications to flexible error handling - Lamo, Walicki - 1999
6	A systematic study of mappings between institutions - Martini, Wolter - 1998
6	Structuring and modularity - Orejas - 1999
5	Label algebras: a systematic use of terms - Bernot, Gall - 1991
5	A lazy approach to partial algebras - Cerioli - 1995
5	Parametric specifications, parameter passing and optimizing implementations - Ganzinger - 1981
5	and Sigurd Meldal. Algebraic approaches to nondeterminism-an overview - Walicki - 1997
4	Reasoning with first-order nondeterministic specifications - Bialasik, Konikowska - 1997
4	Guarded algebras and data type specification - Haveraaen, Wagner - 1995
4	The instution of multialgebras - Lamo, Walicki - 2000
4	Another look at parameterization using algebras with subsorts - Poigné - 1984
4	Sanella and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited - Donald - 1988
3	and Beata Konikowska. Reasoning with first-order nondeterministic specifications - Bialasik - 1999
3	Hartmut Ehrig. Compositionality and compatibility of parameterization and parameter passing in specification languages - Jimenez, Orejas - 1995
3	Rasiowa-sikorski deduction systems in computer science applications - Konikowska - 2000
3	Rasiowa-sikorski deduction systems: a handy tool for computer science logic - Konikowska - 1999
3	Specification of parameterized data types - Lamo, Walicki - 2000
3	Modeling partiality by nondeterminism - Lamo, Walicki - 2001
3	Specification of parameterized data types: Persistency revisited - Lamo, Walicki
3	Error handling for parameterized data types - Poigne - 1984
2	Order-sorted algebra i. Semantics and Theory - Goguen - 1978
2	The Common Framework Initiative. CASL -- The Common Algebraic Specification Language. http://www.brics.dk/Projects/CoFI/Documents/CASL - CoFI
2	Composition and refinement of specifications of parameterized data types - Lamo, Walicki - 2002
2	The use of sorts in algebraic spesifications - Mosses
2	The Mathematics of Metamatemathics - Rasiowa, Sikorski - 1963
1	Quantifier-free logic for multialgebraic theories - Lamo, Walicki - 2002