{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:06:22Z","timestamp":1754485582369,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601593"},{"type":"electronic","value":"9783540495369"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60159-7_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:46:38Z","timestamp":1330278398000},"page":"184-195","source":"Crossref","is-referenced-by-count":22,"title":["Specifying open GIS with functional languages"],"prefix":"10.1007","author":[{"given":"Andrew U.","family":"Frank","sequence":"first","affiliation":[]},{"given":"Werner","family":"Kuhn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J. \u201cCan Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs.\u201d Communications of the ACM 21 (1978): 613\u2013641.","journal-title":"Communications of the ACM"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Car, A., and Frank, A.U. \u201cFormalization of Conceptual Models for GIS using GOFER.\u201d In GIS\/LIS '95 Central Europe in Budapest, 1995.","DOI":"10.1016\/0198-9715(95)00013-X"},{"key":"12_CR3","unstructured":"Dijkstra, E.W. \u201cGuarded Commands, Nondeterminacy and Formal Derivation of Programs.\u201d In Current Trends in Programming Methodology, Vol. 1: Software Specification and Design, ed. Yeh, R.T., 1977: 233\u2013242."},{"issue":"1","key":"12_CR4","first-page":"10","volume":"4","author":"A.U. Frank","year":"1992","unstructured":"Frank, A.U. \u201cAcquiring a digital base map \u2014 A theoretical investigation into a form of sharing data.\u201d URISA Journal 4 (1 1992): 10\u201323.","journal-title":"URISA Journal"},{"key":"12_CR5","first-page":"410","volume-title":"Qualitative Temporal Reasoning in GIS \u2014 Ordered Time Scales","author":"A.U. Frank","year":"1994","unstructured":"Frank, A.U. \u201cQualitative Temporal Reasoning in GIS \u2014 Ordered Time Scales.\u201d In 6th International Symposium on Spatial Data Handling in Edinburgh, UK, IGU, 1994: 410\u2013430."},{"key":"12_CR6","unstructured":"Guttag, J.V., Horning, J.J., and Wing, J.M. Larch in Five Easy Pieces. Digital Equipment Corporation, Systems Research Center, 1985."},{"key":"12_CR7","unstructured":"Guttag, J. V., Horowitz, E., and Musser, D.R. \u201cThe Design of Data Type Specifications.\u201d In Current Trends in Programming Methodology, ed. Yeh, R.T., Vol. 4: Data Structuring. Prentice Hall, 1978: 60\u201379."},{"key":"12_CR8","unstructured":"Head, G.E. \u201cSix-Sigma Software Using Cleanroom Software Engineering Techniques.\u201d Hewlett-Packard Journal 1994 (June 1994): 40\u201350."},{"issue":"3","key":"12_CR9","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P. Hudak","year":"1989","unstructured":"Hudak, P. \u201cConception, Evolution, and Application of Functional Programming Languages.\u201d ACM Computing Surveys 21 (3 1989): 359\u2013411.","journal-title":"ACM Computing Surveys"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Hudak, P. et al. \u201cReport on the functional programming language Haskell, Version 1.2.\u201d SIGPLAN Notices 27 (5 1992).","DOI":"10.1145\/130697.130699"},{"key":"12_CR11","unstructured":"ISO. The EXPRESS language reference manual. ISO TC 184,1992. Draft International Standard ISO\/DIS 10303-11."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Jones, M.P. Qualified Types: Theory and Practice. Ph.D. Thesis, Programming Research Group, Oxford University, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511663086"},{"key":"12_CR13","first-page":"973","volume-title":"Defining Semantics for Spatial Data Transfers","author":"W. Kuhn","year":"1994","unstructured":"Kuhn, W. \u201cDefining Semantics for Spatial Data Transfers.\u201d In 6th International Symposium on Spatial Data Handling in Edinburgh, UK, IGU, 1994: 973\u2013987."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, A P., and Jones, A M. \u201cMonad transformers and modular interpreters.\u201d In ACM Symposium on Principles of Programming Languages in ACM, 1995.","DOI":"10.1145\/199448.199528"},{"key":"12_CR15","series-title":"The MIT Electrical Engineering and Computer Science Series","volume-title":"Abstraction and Specification in Program Development","author":"B. Liskov","year":"1986","unstructured":"Liskov, B., and Guttag, J. Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series, Cambridge, MA: The MIT Press, 1986."},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R. \u201cA Theory of Type Polymorphism in Programming.\u201d Journal of Computer and System Sciences 17 (1978): 348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"O'Callaghan, J.F. \u201cThe Impact of Applications and Information Technologies on Geographic Information Systems.\u201d In GIS: Technology and Applications, Far East Workshop on GIS in Singapore, edited by Hongjun, Lu, and Beng, Chin Ooi, World Scientific, 1993: 1\u20136.","DOI":"10.1142\/9789814535618"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., and Wadler, P. \u201cImperative functional programming.\u201d In ACM Symposium on Principles of Programming Languages (POPL) in Charleston, ACM, 1993: 71\u201384.","DOI":"10.1145\/158511.158524"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Shipman, D.W. \u201cThe Functional Data Model and the Data Language DAPLEX.\u201d ACM Transactions on Database Systems 6 (March 1981).","DOI":"10.1145\/319540.319561"},{"issue":"3","key":"12_CR20","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/S1045-926X(05)80011-4","volume":"1","author":"T.R. Smith","year":"1990","unstructured":"Smith, T.R., and Frank, A.U. \u201cVery Large Spatial Databases \u2014 Report from the Specialist Meeting.\u201d Journal of Visual Languages and Computing 1 (3 1990): 291\u2013309.","journal-title":"Journal of Visual Languages and Computing"},{"key":"12_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-89207-2","volume-title":"Grundlagen der funktionalen Programmierung","author":"P. Thiemann","year":"1994","unstructured":"Thiemann, P. Grundlagen der funktionalen Programmierung. Leitfaden der Informatik, Stuttgart: B. G. Teubner, 1994."},{"key":"12_CR22","first-page":"23","volume-title":"2nd ACM GIS Workshop in Gaithersburg, MD","author":"A. Voisard","year":"1994","unstructured":"Voisard, A., and Schweppe, H. \u201cA Multilayer Approach to the Open GIS Design Problem.\u201d In 2nd ACM GIS Workshop in Gaithersburg, MD, edited by Pissinou, N., and Makki, K., ACM Press, New York, 1994: 23\u201329"}],"container-title":["Lecture Notes in Computer Science","Advances in Spatial Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60159-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:54:12Z","timestamp":1742597652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60159-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601593","9783540495369"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-60159-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}