H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification, vol. 2. EATCSMonographs on Theoretical Computer Science, Springer-Verlag, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
....types as in ML or Miranda ( Tur85] Tur86] provide another parameterization concept by abstracting basic sorts from data type definitions. Furthermore parameterization comes naturally with specification languages, no matter whether they are operational, axiomatic (algebraic) or algorithmic ([EM90]) A non exhaustive list of specification languages using parameterization is Alphard ( WLS76] Sha81] CLEAR( BG80] ACT ONE ( EM85] and OBSCURE ( LL87] LL90] All these languages differ substantially in the methods used for implementing, resp. specifying, data structures and operations. ....
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification, vol. 2. EATCSMonographs on Theoretical Computer Science, Springer-Verlag, 1990.
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
....types as in ML or Miranda 2 ( Tur85] Tur86] provide another parameterization concept by abstracting basic sorts from data type definitions. Furthermore parameterization comes naturally with specification languages, no matter whether they are operational, axiomatic (algebraic) or algorithmic ([EM90]) A non exhaustive list of specification languages using parameterization is Alphard ( WLS76] Sha81] CLEAR( BG80] ACT ONE ( EM85] and OBSCURE ( LL87] LL90] All these languages differ substantially in the methods used for implementing, resp. specifying, data structures and operations. ....
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification, vol. 2. EATCSMonographs on Theoretical Computer Science, Springer-Verlag, 1990.
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
.... Furthermore parameterization comes naturally with specification languages, no matter whether they are operational, axiomatic (algebraic) or algorithmic ( EM90] A non exhaustive list of specification languages using parameterization is Alphard ( WLS76] Sha81] CLEAR( BG80] ACT ONE ([EM85]) and OBSCURE ( LL87] LL90] All these languages differ substantially in the methods used for implementing, resp. specifying, data structures and operations. In this paper we take an abstract approach and present an idealized language for expressing modules. The language follows the Algorithmic ....
....and operations, higher order functions are not included in our language. We have a purely functional point of view, that is modules construct new exported algebras from given parameter algebras. We do not distinguish between the import and the parameter part of a module as it is done in [EM85]: In our sense the import part comprises all the sorts and operations that may be used by a module but are not defined in it. EM85] call this the import part while their parameter part designates some sorts and operations that are common to the import and the export part. We choose the name ....
[Article contains additional citation context not shown here]
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification, vol. 1. EATCSMonographs on Theoretical Computer Science, Springer-Verlag, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC