{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:37Z","timestamp":1751660497730},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441441"},{"type":"electronic","value":"9783540457190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45719-4_8","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T10:55:00Z","timestamp":1191927300000},"page":"99-116","source":"Crossref","is-referenced-by-count":26,"title":["HasCasl: Towards Integrated Specification and Development of Functional Programs"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"8_CR1","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. E. Strecker, Abstract and concrete categories, Wiley Interscience, 1990."},{"key":"8_CR2","unstructured":"D. Aspinall, Type systems for modular programming and specification, Ph.D. thesis, Edinburgh, 1997."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Br\u00fcckner, P. D. Mosses, D. Sannella, and A. Tarlecki, Casl: the Common Algebraic Specification Language, Theoret. Comput. Sci. (2003), to appear.","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0304-3975(95)00246-5","volume":"152","author":"E. Astesiano","year":"1995","unstructured":"E. Astesiano and M. Cerioli, Free objects and equational deduction for partial conditional specifications, Theoret. Comput. Sci. 152 (1995), 91\u2013138.","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45988-X_2","volume-title":"Frontiers of Combining Systems","author":"S. Autexier","year":"2002","unstructured":"S. Autexier and T. Mossakowski, Integrating HOL-Casl into the development graph manager Maya, Frontiers of Combining Systems, LNCS, vol. 2309, Springer, 2002, pp. 2\u201317."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0304-3975(82)80002-9","volume":"20","author":"G. Berry","year":"1982","unstructured":"G. Berry and P.-L. Curien, Sequential algorithms on concrete data structures, Theoret. Comput. Sci. 20 (1982), 265\u2013321.","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-15648-8_3","volume-title":"Lambda calculus with constrained types","author":"V. Breazu-Tannen","year":"1985","unstructured":"V. Breazu-Tannen and A. R. Meyer, Lambda calculus with constrained types, Logic of Programs, LNCS, vol. 193, Springer, 1985, pp. 23\u201340."},{"key":"8_CR8","unstructured":"CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives, http:\/\/www.brics.dk\/Projects\/CoFI ."},{"key":"8_CR9","unstructured":"CoFI Language Design Task Group, Casl\u2014The CoFI Algebraic Specification Language\u2014Summary, version 1.0, Document\/CASL\/Summary, in [8], July 1999."},{"key":"8_CR10","unstructured":"CoFI Semantics Task Group, Casl\u2014The CoFI Algebraic Specification Language\u2014Semantics, Note S-9 (version 0.96), in [8], July 1999."},{"key":"8_CR11","unstructured":"T. Coquand, An analysis of Girard\u2019s paradox, Logic in Computer Science, IEEE, 1986, pp. 227\u2013236."},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"J. Goguen, A categorical manifesto, Math. Struct. Comput. Sci. 1 (1991), 49\u201367.","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-58233-9_7","volume-title":"The semantics of spectrum","author":"R. Grosu","year":"1994","unstructured":"R. Grosu and F. Regensburger, The semantics of spectrum, LNCS 816 (1994), 124\u2013145."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing, Larch: Languages and tools for formal specification, Springer, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L. Henkin","year":"1949","unstructured":"L. Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949), 159\u2013166.","journal-title":"J. Symbolic Logic"},{"key":"8_CR16","first-page":"131","volume":"1144","author":"J. M. E. Hyland","year":"1992","unstructured":"J. M. E. Hyland, First steps in synthetic domain theory, Category Theory, LNM, vol. 1144, Springer, 1992, pp. 131\u2013156.","journal-title":"First steps in synthetic domain theory"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0304-3975(96)00163-6","volume":"173","author":"S. Kahrs","year":"1997","unstructured":"S. Kahrs, D. Sannella, and A. Tarlecki, The definition of extended ML: A gentle introduction, Theoret. Comput. Sci. 173 (1997), 445\u2013484.","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR18","unstructured":"J. Lambek and P. J. Scott, Introduction to higher-order categorical logic, Cambridge, 1986."},{"key":"8_CR19","unstructured":"S. Mac Lane, Categories for the working mathematician, Springer, 1997."},{"key":"8_CR20","first-page":"301","volume":"92","author":"J. C. Mitchell","year":"1989","unstructured":"J. C. Mitchell and P. J. Scott, Typed lambda models and cartesian closed categories, Categories in Computer Science and Logic, Contemp. Math., vol. 92, Amer. Math. Soc., 1989, pp. 301\u2013316.","journal-title":"Categories in Computer Science and Logic, Contemp. Math."},{"key":"8_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-17162-2_126","volume-title":"Category Theory and Computer Programming","author":"E. Moggi","year":"1986","unstructured":"E. Moggi, Categories of partial morphisms and the \u03bb p -calculus, Category Theory and Computer Programming, LNCS, vol. 240, Springer, 1986, pp. 242\u2013251."},{"key":"8_CR22","unstructured":"E. Moggi, The partial lambda calculus, Ph.D. thesis, University of Edinburgh, 1988."},{"key":"8_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-540-44616-3_8","volume-title":"Subsorted partial higherorder logic as an extension of Casl","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski, A. Haxthausen, and B. Krieg-Br\u00fcckner, Subsorted partial higherorder logic as an extension of Casl, Workshop on Abstract Datatypes, LNCS, vol. 1827, Springer, 2000, pp. 126\u2013145."},{"key":"8_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46419-0_8","volume-title":"Tools and Algorithms for Construction and Analysis of Systems","author":"T. Mossakowski","year":"2000","unstructured":"Till Mossakowski, Casl: From semantics to tools, Tools and Algorithms for Construction and Analysis of Systems, LNCS, vol. 1785, Springer, 2000, pp. 93\u2013108."},{"key":"8_CR25","unstructured":"G. Plotkin, Domains (the \u2018Pisa Notes\u2019), http:\/\/www.dcs.ed.ac.uk\/home\/gdp\/"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80027-4","volume":"68","author":"A. Poign\u00e9","year":"1986","unstructured":"A. Poign\u00e9, On specifications, theories, and models with higher types, Inform. and Control 68 (1986), no. 1\u20133, 1\u201346.","journal-title":"Inform. and Control"},{"key":"8_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-60275-5_72","volume-title":"Theorem Proving in Higher Order Logics","author":"F. Regensburger","year":"1995","unstructured":"F. Regensburger, HOLCF: Higher order logic of computable functions, Theorem Proving in Higher Order Logics, LNCS, vol. 971, 1995, pp. 293\u2013307."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"L. Schr\u00f6der, Classifying categories for partial equational logic, Category Theory and Computer Science, ENTCS, 2002, to appear.","DOI":"10.1016\/S1571-0661(04)80571-1"},{"key":"8_CR29","unstructured":"L. Schr\u00f6der and T. Mossakowski, The definition ofHasCasl, in preparation."},{"key":"8_CR30","unstructured":"D. S. Scott, Relating theories of the \u03bb-calculus, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms, Academic Press, 1980, pp. 403\u2013450."},{"key":"8_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BFb0028402","volume-title":"Theorem Proving in Higher Order Logics","author":"M. Wenzel","year":"1997","unstructured":"M. Wenzel, Type classes and overloading in higher-order logic, Theorem Proving in Higher Order Logics, LNCS, vol. 1275, Springer, 1997, pp. 307\u2013322."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Glynn Winskel, The formal semantics of programming languages, MIT, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45719-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T23:38:14Z","timestamp":1587944294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45719-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441441","9783540457190"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45719-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}