Fundamentals of Algebraic Specification 1
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642699641, 9783642699627

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correctness and Extension of Specifications

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_7 ◽

1985 ◽

pp. 138-167

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Download Full-text

Equational Calculus and Term Rewriting

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_6 ◽

1985 ◽

pp. 108-137

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Term Rewriting ◽

Equational Calculus

Download Full-text

Concepts of a Specification Language

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_10 ◽

1985 ◽

pp. 245-272

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Specification Language

Download Full-text

Parameterized Specifications and Functors

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_8 ◽

1985 ◽

pp. 168-200

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Download Full-text

Semantics of the Specification Language ACT ONE

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_11 ◽

1985 ◽

pp. 273-306

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Specification Language ◽

Act One

Download Full-text

Parameter Passing

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_9 ◽

1985 ◽

pp. 201-244

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Parameter Passing

Download Full-text

Specificability and Characterization of Equational Classes

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_5 ◽

1985 ◽

pp. 89-107

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Download Full-text

Initial Semantics of Specifications

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_4 ◽

1985 ◽

pp. 62-88 ◽

Cited By ~ 9

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Download Full-text

Specification of Abstract Data Types

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_3 ◽

1985 ◽

pp. 32-61

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Equational Specifications and Algebras

Fundamentals of Algebraic Specification 1 ◽

10.1007/978-3-642-69962-7_2 ◽

1985 ◽

pp. 9-31

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Equational Specifications

Download Full-text