One step up the abstraction ladder: Combining algebras - From functional pieces to a whole

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1661, Issue , 1999, Pages 95-108

  Frank, Andrew U ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Category theory; Parameterization of algebras; Spatial algebras; Spatial data models

Indexed keywords

ABSTRACTING; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; FUNCTIONAL PROGRAMMING; GEOGRAPHIC INFORMATION SYSTEMS; INFORMATION THEORY; JAVA PROGRAMMING LANGUAGE; PARAMETERIZATION; SPECIFICATIONS; VECTOR SPACES;

ABSTRACT SPECIFICATIONS; CATEGORY THEORY; FUNCTIONAL ABSTRACTIONS; GEOMETRIC OPERATIONS; LEVEL OF ABSTRACTION; PARAMETRIC POLYMORPHISM; PROCEDURAL ABSTRACTION; SPATIAL DATA MODEL;

ALGEBRA;

EID: 84957632179     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48384-5_7     Document Type: Conference Paper

References (25)

1. Abadi, M. and L. Cardelli, A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York (1996).
2. Asperti, A. and G. Longo, Categories, Types and Structures - An Introduction to Category Theory for the Working Computer Scientist. The MIT Press, Cambridge, MA (1991).
3. Barr, M. and C. Wells, Category Theory for Computing Science. Prentice Hall, London (1990).
4. Bird, R. and O. de Moore, Algebra of Programming. Prentice Hall, London (1997)
5. Birkhoff, G. and J.D. Lipson, Heterogeneous Algebras. Journal of Combinatorial Theory (1970) 8: 115-133.
6. Booch, G., J. Rumbaugh, and I. Jacobson, Unified Modeling Language Semantics and Notation Guide 1.0. Rational Software Corporation, San Jose, CA (1997).
7. Buehler, K. and L. McKee (eds), The OpenGIS Guide - An Introduction to Interoperable Geoprocessing. The OGIS Project Technical Committee of the Open GIS Consortium, Wayland, MA (1996).
8. Ehrich, H.-D., M. Gogolla, and U.W. Lipeck, Algebraische Spezifikation abstracter Datentypen. Leitfäden und Monographien der Informatik, H.-J. Appelrath, et al. (eds). B.G. Teubner, Stuttgart (1989).
9. Frank, A.U., Formal Models for Cognition - Taxonomy of Spatial Location Description and Frames of Reference. In Spatial Cognition - An Interdisciplinary Approach to Representing and Processing Spatial Knowledge, C. Freksa, C. Habel, and K.F. Wender (eds). SpringerVerlag, Berlin (1998) 293-312.
10. Frank, A.U. and W. Kuhn. Cell Graph: A Provable Correct Method for the Storage of Geometry. In Second International Symposium on Spatial Data Handling, Seattle, WA, 1986, 411-436.
11. Frank, A.U. and W. Kuhn, A Specification Language for Interoperable GIS. In Interoperating Geographic Information Systems, M.F. Goodchild, et al. (eds). Kluwer, Norwell, MA (1998).
12. Frank, A.U. and W. Kuhn, Specifying Open GIS with Functional Languages. In Advances in Spatial Databases (4th Int. Symposium on Large Spatial Databases, SSD'95, in Portland, USA), M.J. Egenhofer and J.R. Herring, (eds). 1995, Springer-Verlag, 184-195.
13. Guttag, J.V. and J.J. Horning, Larch: Languages and Tools for Formal Specification. Springer-Verlag (1993).
14. Herring, J., M.J. Egenhofer, and A.U. Frank. Using Category Theory to Model GIS Applications. In 4th International Symposium on Spatial Data Handling, SDH'90, Zurich, Switzerland, 1990, 820-829.
15. ISO, The EXPRESS Language Reference Manual, ISO TC 184, Technical Report ISO/DIS 10303-11 (1992).
16. Jones, M.P., Qualified Types: Theory and Practice. Ph.D. Thesis, Programming Research Group, Oxford University. Cambridge University Press (1994).
17. Levinson, S.C., Frames of Reference and Molyneux's Question: Crosslinguistic Evidence. In Language and Space, P. Bloom, et al. (eds), MIT Press, Cambridge, MA. (1996) 109-170.
18. Lin, F.-T., Many Sorted Algebraic Data Models for GIS. IJGIS (1998) 12(8) 765-788.
19. Loeckx, J., H.-D. Ehrich, and M. Wolf, Specification of Abstract Data Types. Wiley, Teubner (1996).
20. Peterson, J., et al., Report on the functional programming language Haskell, Version 1.3. In http://haskell.cs.yale.edu/haskell-report/haskell-report.html - Research Report YALEU/-DCS/RR-1106. Yale University (1996).
21. Reinhardt, F. and H. Soeder, dtv-Atlas zur Mathematik: Grundlagen, Algebra und Geometrie (Band 1). dtv, Muenchen (1991).
22. Stroustrup, B., The C++ Programming Language. 2nd edn. Addison-Wesley, Reading, MA (1991).
23. Walters, R.F.C., Categories and Computer Science. Cambridge Computer Science Texts, Vol. 1. Carslaw Publications, Cambridge, UK (1991).
24. Wirth, N., Algorithms + Data Structures = Programs. Prentice Hall, Englewood Cliffs, NJ (1976).
25. Yeh, R.T.-Y. and P.A.B. Ng, Modern Software Engineering: Foundations and Current Perspectives. Van Nostrand Reinhold, New York (1990).