MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specification of Parameterized Data Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Specification of parameterized data types
by Yngve Lamo, Yngve Lamo — 2000
…REPORTS IN INFORMATICS ISSN 0333-3590 Specification of Parameterized Data Types Yngve Lamo…
Cited by 3 (3 self) – Add To MetaCart

Composition and Refinement of Specifications of Parameterized Data Types
by Yngve Lamo — 2002 — Electronical Notes in Theoretical Computer Science
…://www.elsevier.nl/locate/entcs/volume70.html 18 pages Composition and Refinement of Specifications of Parameterized Data Types Yngve Lamo…
Cited by 1 (1 self) – Add To MetaCart

Nested Sketches
by Horst Reichel, Tu Dresden
… of algebras that appear naturally as semantics of algebraic specifications of parameterized data types, using…
Cited by 2 (0 self) – Add To MetaCart

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification
by Rosa Jiménez, Fernando Orejas, Departament Lleng, Sist Informtics, Hartmut Ehrig — 1995 — Mathematical Structures in Computer Science
… of parameterizations (parameterized specifications and specifications of parameterized data types) and describe, in a…
Cited by 3 (1 self) – Add To MetaCart

Specification of Parameterized Programs - Persistency Revisited
by Yngve Lamo, Michal Walicki — 2000 — Nordic Journal of Computing
… the latter to the former, e.g. [2]. Specification of a parameterized data type, "PDT" [12, 13], on the other…
Cited by 1 (1 self) – Add To MetaCart

Combining specification formalisms in the 'general logic' of multialgebras
by Yngve Lamo, Michal Walicki — 2003
… and specification of parameterized data types, reported in [8, 9] -- it will be used as the current paper addresses…
Add To MetaCart

The Institution of Multialgebras - a general framework for algebraic software development
by Yngve Lamo — 2002
… . . . . . . . . . . . . . . . . . . . . . . . . . 95 4 Parameterized datatypes 96 4.1 Specifications of parameterized data types…
Cited by 3 (2 self) – Add To MetaCart

From Abstract Data Types to Algebraic Development Techniques: A Shift . . .
by H. Ehrig, M. Gajewsky, U. Wolter — 1998 — In Proc. of Workshop on Algebraic Development Techniques
… to the specification of parameterized data types and the development of modular software systems in the 80'ies. Since…
Cited by 4 (3 self) – Add To MetaCart

Developing an Information System using Troll - an application field study
by M. Krone, M. Kowsari, P. Hartel, G. Denker, H.-D. Ehrich — 1996 — In Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96
… specification is a set of data type, object type, and object class specifications. -- Parameterized data types…
Cited by 5 (5 self) – Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB