{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:00:04Z","timestamp":1725483604225},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657637"},{"type":"electronic","value":"9783540489597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48959-2_2","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T12:52:16Z","timestamp":1178196736000},"page":"6-13","source":"Crossref","is-referenced-by-count":2,"title":["AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem"],"prefix":"10.1007","author":[{"given":"Peter Harry","family":"Eidorff","sequence":"first","affiliation":[]},{"given":"Fritz","family":"Henglein","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Mossin","sequence":"additional","affiliation":[]},{"given":"Henning","family":"Niss","sequence":"additional","affiliation":[]},{"given":"Morten Heine B.","family":"S\u00f6rensen","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Tofte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"P. H. Eidorff, F. Henglein, C. Mossin, H. Niss, M.H.B S\u00f6rensen, and M. Tofte. Annodomini: From type theory to year 2000 conversion tool. In Principles of Programming Languages, January 1999.","DOI":"10.1145\/292540.292543"},{"key":"2_CR2","isbn-type":"print","volume-title":"The Year 2000 Software Problem-Quantifying the Costs and Assessing the Consequences","author":"C. Jones","year":"1998","unstructured":"C. Jones. The Year 2000 Software Problem-Quantifying the Costs and Assessing the Consequences. Addison-Wesley, ACM Press, 1998. ISBN 0-201-30964-5.","ISBN":"http:\/\/id.crossref.org\/isbn\/0201309645"},{"key":"2_CR3","unstructured":"R. O\u2019Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In Proc. 1997 International Conference on Software Engineering (ICSE\u2019 97), Boston, Massachusetts, pages 338\u2013348, May 1997."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"G. Ramalingam, J. Field, and F. Tip. Aggregate structure identification and its application to program analysis. In Principles of Programming Languages, January 1999.","DOI":"10.1145\/292540.292553"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"A. van Deursen and L. Moonen. Type inference for COBOL systems. To appear in Proc. 5th IEEE Working Conference on Reverse Engineering, Honolulu, Hawaii, October 1998.","DOI":"10.1109\/WCRE.1998.723192"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48959-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T13:22:10Z","timestamp":1556371330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48959-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657637","9783540489597"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-48959-2_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}