## One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole (1999)

Citations: | 14 - 3 self |

### BibTeX

@INPROCEEDINGS{Frank99onestep,

author = {Andrew U. Frank},

title = {One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole},

booktitle = {},

year = {1999},

pages = {95--107},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

ion Ladder: Combining Algebras - From Functional Pieces to a Whole Andrew U. Frank Department of Geoinformation Technical University Vienna Gusshausstr. 27-29, A-1040 Vienna, Austria frank@geoinfo,tuwien.ac.at Abstract. A fundamental scientific question today is how to construct complex systems from simple parts. Science today seems mostly to analyze limited pieces of the puzzle; the combination of these pieces to form a whole is left for later or others. The lack of efficient methods to deal with the combination problem is likely the main reason. How to combine individual results is a dominant question in cognitive science or geography, where phenomena are studied from individuals and at different scales, but the results cannot be brought together. This paper proposes to use parameterized algebras much the same way that we use functional abstraction (procedures in programming languages) to create abstract building blocks which can be combined later. Algebras group oper...

### Citations

891 | A Theory of Objects
- Abadi, Cardelli
- 1996
(Show Context)
Citation Context ...he type inference rules for multiple parameters were presented by [16]. 2.2 Operations Without loss of generality but immense gain in notational clarity, operations are restricted to (pure) functions =-=[1]-=-. Functions have input parameters, which are not changed, and a single result (which can be a composition of several values); procedures that change the parameters can be rewritten to conform to this ... |

394 |
Category Theory for Computing Science
- Barr, Wells
- 1999
(Show Context)
Citation Context ... parameters for values formal parameters for sorts values representable data types combination call of procedure within another abstraction use as a sub-algebra within another algebrasCategory theory =-=[2, 3, 14, 23]-=- abstracts from individual values to sets of values (types, domains). Algebras group operations which are applied to the same data types. Axioms in the algebra define the properties (behavior) of thes... |

309 | Larch: languages and tools for formal specification
- Guttag, Horning
- 1993
(Show Context)
Citation Context ...(technically an Abelian Group). The operations are addition (+) and subtraction (-). There is a particular number zero (0), which has special properties. The notation is widely used in the literature =-=[13, 25]-=-; it follows in particular [8], small changes stress the similarity with the syntax of procedures in languages like Pascal. After the keyword Algebra follows the name of the algebra and the type param... |

132 |
Qualified Types: Theory and Practice
- Jones
- 1994
(Show Context)
Citation Context ...fficult to use. Using the pushout construction from category theory, the combination of algebras is mathematically well defined [8]. The type inference rules for multiple parameters were presented by =-=[16]-=-. 2.2 Operations Without loss of generality but immense gain in notational clarity, operations are restricted to (pure) functions [1]. Functions have input parameters, which are not changed, and a sin... |

99 |
Frames of reference and Molyneux's question: Cross-linguistic evidence. Language and
- Levinson
- 1996
(Show Context)
Citation Context ...’s perspective, the ball is in front of the chair’). The focus of the study [9] was in the formalization of the relative spatial expressions in natural language and the corresponding reference fra=-=mes [17]-=-. In particular, formal definitions for deictic, absolute, relative, etc. reference frames were attempted, for which no unequivocal definitions can be found in the literature. Coding such models in an... |

87 |
Algebra of Programming
- Bird, Moor
- 1997
(Show Context)
Citation Context ...s is defined by the type parameters which are instantiated for the type parameters listed in their definition. Parametric polymorphism in a functional programming language are natural transformations =-=[4]-=- and avoid the contravariance problem. 7 Conclusions Procedural abstraction, the naming of methods to perform some action, is a powerful abstraction method, not only used in programming but throughout... |

81 |
Algorithms + Data Structures = Programs
- Wirth
- 1978
(Show Context)
Citation Context ...uilt for maximal reuse, maximal cohesion, and minimal interdependence. These are the same requirements – now on a structurally higher level – demanded for procedures and object classes in programm=-=ing [24]-=-. An algebra consists of three parts: a type and a set of operations, the behavior of which are defined with axioms. The most familiar example of an algebra is numbers,sfor example, the algebra of int... |

75 |
Modern Applied Algebra
- Birkhoff
(Show Context)
Citation Context ...Algebras can be used to describe other behavior than numbers, for example, the properties of a stack. In such cases, more than one type is used and the algebra is called multi-sorted or heterogeneous =-=[5]-=-. Algebra Stack (stack of a, a) Operations: push :: a -> stack of a -> stack of a -- constructor empty :: stack of a -- constructor pop :: stack of a -> stack of a -- observer top :: stack of a -> a -... |

74 |
Specification of Abstract Data Types
- Ehrich, Loeckx, et al.
- 1996
(Show Context)
Citation Context ...ebra with new operations and second, combining two algebras to construct the algebra of the vector space, as explained in most text books of a course in algebra. The underlying theory can be found in =-=[8, 19]. 3.-=-1 Extension of an Algebra The algebra for Abelian (commutative) groups is extended with multiplication: Algebra Fields (num) Use AbelianGroup (num) -- the parameter ‘number’ in the definition is r... |

68 |
Categories, types, and structures: an introduction to category theory for the working computer scientist. Foundations of computing
- Asperti, Longo
- 1991
(Show Context)
Citation Context ... parameters for values formal parameters for sorts values representable data types combination call of procedure within another abstraction use as a sub-algebra within another algebrasCategory theory =-=[2, 3, 14, 23]-=- abstracts from individual values to sets of values (types, domains). Algebras group operations which are applied to the same data types. Axioms in the algebra define the properties (behavior) of thes... |

37 |
Algebraische Spezifikation abstrakter Datentypen -- Eine Einfuhrung in die Theorie
- Ehrich, Gogolla, et al.
- 1989
(Show Context)
Citation Context ... operations are addition (+) and subtraction (-). There is a particular number zero (0), which has special properties. The notation is widely used in the literature [13, 25]; it follows in particular =-=[8]-=-, small changes stress the similarity with the syntax of procedures in languages like Pascal. After the keyword Algebra follows the name of the algebra and the type parameters in parenthesis. The oper... |

37 |
Cell Graph: A Provable Correct Method for the Storage of Geometry
- Frank, Kuhn
- 1986
(Show Context)
Citation Context ...ddition, subtraction, comparison, etc. work in a specific pattern (in algebra called ‘structure’). We have advocated the uses of multi-sorted algebras for the specification of GIS at least since 1=-=986 [10, 11]-=-. A recent paper has presented a family of geometric data models based on the theory of many sorted algebra [18]. Algebras should be built for maximal reuse, maximal cohesion, and minimal interdepende... |

36 |
editors. The OpenGIS Guide | Introduction to Interoperable Geo-Processing,Wayland
- Buehler, McKee
- 1996
(Show Context)
Citation Context ...several fields of mathematics (topology, algebra, etc.) that are difficult to combine. Therefore it presents a realistic, large problem to apply the method. Current efforts in the Open GIS Consortium =-=[7]-=- to write specifications for a wide variety of GIS operations and the pending proposal for an ISO standard to extend SQL with operations on geometric objects demonstrates the magnitude of the problem.... |

26 | Specifying Open GIS with functional languages. In
- FRANK, KUHN
- 1995
(Show Context)
Citation Context ... operations using STEP/EXPRESS [15] or the comparable UML methods [6] cover only a small set of the normative content of a standard. An axiomatic method could be used to define behavior of operations =-=[12]-=-, but it has not been demonstrated how algebras could be combined to construct large systems with multiple subsets, defined for different applications. The standard should define useful subsets that c... |

13 |
The C++ Programming Language. 2nd edn
- Stroustrup
- 1992
(Show Context)
Citation Context ...rriers is expressed as a parameterization of the type. The example uses a parameterized type, stack of a, where the type stack relates to another type a. This is similar to the template notion in C++ =-=[22]-=-, which is not fully integrated into the language and therefore difficult to use. Using the pushout construction from category theory, the combination of algebras is mathematically well defined [8]. T... |

11 |
Categories and computer science
- Walters
- 1991
(Show Context)
Citation Context ... parameters for values formal parameters for sorts values representable data types combination call of procedure within another abstraction use as a sub-algebra within another algebrasCategory theory =-=[2, 3, 14, 23]-=- abstracts from individual values to sets of values (types, domains). Algebras group operations which are applied to the same data types. Axioms in the algebra define the properties (behavior) of thes... |

9 | Formal models for cognition - taxonomy of spatial location description and frames of reference - Frank - 1998 |

9 |
A Specification Language For Interoperable GIS
- Frank, Kuhn
- 1999
(Show Context)
Citation Context ...ddition, subtraction, comparison, etc. work in a specific pattern (in algebra called ‘structure’). We have advocated the uses of multi-sorted algebras for the specification of GIS at least since 1=-=986 [10, 11]-=-. A recent paper has presented a family of geometric data models based on the theory of many sorted algebra [18]. Algebras should be built for maximal reuse, maximal cohesion, and minimal interdepende... |

7 |
Using Category Theory to Model GIS Applications
- Herring, Egenhofer, et al.
- 1990
(Show Context)
Citation Context |

5 |
Report on the functional programming language Haskell, Version 1.3
- Peterson, Hammond
- 1996
(Show Context)
Citation Context ... research in parameterized type inference systems [16]. Only lately the programming languages have become available, which demonstrates the practical usability of the concept for software engineering =-=[20]. -=-Parameterization is a much less confusing concept than the often-discussed inheritance based on subtyping. Acknowledgements Werner Kuhn’s comments contributed to focus the presentation. Funding from... |

4 |
Unified Modeling Language Semantics and Notation Guide 1.0
- Booch, Rumbaugh, et al.
- 1997
(Show Context)
Citation Context ...rability.sThe tools currently available for standard design and writing are not sufficient: the formalization of the signatures of the operations using STEP/EXPRESS [15] or the comparable UML methods =-=[6]-=- cover only a small set of the normative content of a standard. An axiomatic method could be used to define behavior of operations [12], but it has not been demonstrated how algebras could be combined... |

1 |
The EXPRESS Language Reference
- ISO
- 1992
(Show Context)
Citation Context ...interpretation will hinder interoperability.sThe tools currently available for standard design and writing are not sufficient: the formalization of the signatures of the operations using STEP/EXPRESS =-=[15]-=- or the comparable UML methods [6] cover only a small set of the normative content of a standard. An axiomatic method could be used to define behavior of operations [12], but it has not been demonstra... |

1 |
Many Sorted Algebraic Data Models for GIS. IJGIS
- Lin
- 1998
(Show Context)
Citation Context ... the uses of multi-sorted algebras for the specification of GIS at least since 1986 [10, 11]. A recent paper has presented a family of geometric data models based on the theory of many sorted algebra =-=[18]. Al-=-gebras should be built for maximal reuse, maximal cohesion, and minimal interdependence. These are the same requirements – now on a structurally higher level – demanded for procedures and object c... |

1 |
dtv-Atlas zur Mathematik: Grundlagen, Algebra und Geometrie (Band 1). dtv, Muenchen
- Reinhardt, Soeder
- 1991
(Show Context)
Citation Context ...signature of num->vec->vec (and is therefore different from regular multiplication, where all types are the same: a -> a -> a). The following definitions come straight from a standard text on vectors =-=[21]. -=-Algebra VectorSpace (vec, scalar) Use AbelianGroup (vec), Fields (num) Operations: *$ :: num -> vec -> vec Axioms: for all a, b, c... elem scalar, x, y, z… elem of vec a *$ (x + y) = (a *$ x)+ (a *$... |