{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:19Z","timestamp":1725663799843},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544968"},{"type":"electronic","value":"9783540384168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54496-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:55:49Z","timestamp":1330210549000},"page":"323-340","source":"Crossref","is-referenced-by-count":3,"title":["Dependent types considered necessary for specification languages"],"prefix":"10.1007","author":[{"given":"T.","family":"Streicher","sequence":"first","affiliation":[]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","unstructured":"R. Burstall, J. Goguen Putting theories together to make specifications. Proc. 5th Internat. Joint Conf. on Artificial Intelligence, Cambridge Mass., pp. 1045\u20131058, 1977."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"R. Burstall, J. Goguen The semantics of CLEAR, a specification language. In: D. Bjorner (ed.): Proc. Advanced Course on Abstract Software Specifications. Lecture Notes in Computer Science. 86, Springer, Berlin, pp. 292\u2013323, 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"17_CR3","unstructured":"M. Breu, M. Broy, T. Gr\u00fcnler, F. Nickl PAnndA-S Semantics Passau, 1989."},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Th. Coquand, G. Huet The Calculus of Constructions. Information and Computation 76, pp. 95\u2013120, 1988.","journal-title":"Information and Computation"},{"key":"17_CR5","unstructured":"R. Dyckhoff Category Theory as an extension of Martin-L\u00f6f Type Theory. Department of Computational Science, University of St. Andrews, Techn. Report CS\/85\/3, 1985."},{"issue":"1","key":"17_CR6","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"H.-D. Ehrich On the theory of specification, implementation and parameterization of abstract data types. J. ACM 29(1), pp. 206\u2013277, 1982.","journal-title":"J. ACM"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-10003-2_68","volume-title":"Proc. 7th Internat. Coll. on Automata, Languages and Programming","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, H.-J. Kreowski, J. Thatcher, E. Wagner, J. Wright Parameterized data types in algebraic specification languages (short version). In: J. de Bakker, J. van Leuwen (eds.): Proc. 7th Internat. Coll. on Automata, Languages and Programming. Lecture Notes in Computer Science 85, Springer, Berlin, pp. 157\u2013168, 1980."},{"key":"17_CR8","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications I","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr Fundamentals of Algebraic Specifications I. EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin, 1985."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, J. Meseguer Principles of OBJ-2. Proc. POPL 1985, pp. 52\u201366, 1985.","DOI":"10.1145\/318593.318610"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Introducing Institutions","author":"J. Goguen","year":"1984","unstructured":"J. Goguen, R. Burstall Introducing Institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, Lecture Notes in Computer Science 164, Springer, Berlin, pp. 221\u2013256, 1984."},{"key":"17_CR11","unstructured":"J. Guttag, J. Horning, J. Wing Larch in Five Easy Pieces. Digital, Systems Research Center, Palo Alto, California, 1985."},{"key":"17_CR12","unstructured":"P. Martin-L\u00f6f Intuitionistic Type Theory. Bibliopolis, Naples, 1984."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"D. MacQueen Using Dependent Types to Express Modular Structure. In Proc. 13-th ACM Symp. on Principles of Programming Languages, pp. 277\u2013286, 1986.","DOI":"10.1145\/512644.512670"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki Specifications in Arbitrary Institutions. Information and Computation 76, pp. 165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"17_CR15","unstructured":"D. Sannella, S. Sokolowski, A. Tarlecki Toward formal development of programs from algebraic specifications: parameterisation revisited. Draft, 1990."},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Coll. on Foundations of Computation Theory","author":"D. Sannella","year":"1983","unstructured":"D. Sannella, M. Wirsing A kernel language for algebraic specification and implementation. In: M. Karpinsky (ed.): Coll. on Foundations of Computation Theory, Lecture Notes in Computer Science 158, Springer, Berlin, pp. 413\u2013427, 1983."},{"key":"17_CR17","unstructured":"R. Burstall, J. Goguen, A. Tarlecki Some Fundamental Algebraic Tools for the Semantics of Computation. Part III: Indexed Categories. ECS-LFCS-88-60, Techn. Report, Univ. Edinburgh, 1988."},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. Thatcher","year":"1982","unstructured":"J. Thatcher, E. Wagner, J. Wright Data type specification: Parameterization and the power of specification techniques. TOPLAS 4, pp. 711\u2013773, 1982.","journal-title":"TOPLAS"},{"key":"17_CR19","unstructured":"H. Weber, H. Ehrig Programming in the large with algebraic module specifications. H.J. Kugler (ed.): Proc. IFIP, 10th World Computer Congress. North Holland, Amsterdam, pp. 675\u2013684, 1986."},{"key":"17_CR20","first-page":"675","volume-title":"Handbook of Theoretical Computer Science Volume B, Formal Models and Semantics","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing Algebraic Specifications. In Handbook of Theoretical Computer Science Volume B, Formal Models and Semantics ed. J. van Leeuwen, Elsevier, Amsterdam, pp.675\u2013788, 1990."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54496-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:11Z","timestamp":1605646511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54496-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544968","9783540384168"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-54496-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}