{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:29Z","timestamp":1745986709918,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642361760"},{"type":"electronic","value":"9783642361777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36177-7_10","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:25:26Z","timestamp":1357107926000},"page":"151-165","source":"Crossref","is-referenced-by-count":0,"title":["Typing Legacy COBOL Code"],"prefix":"10.1007","author":[{"given":"Alvise","family":"Span\u00f2","sequence":"first","affiliation":[]},{"given":"Michele","family":"Bugliesi","sequence":"additional","affiliation":[]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: POPL, pp. 207\u2013212 (1982)","key":"10_CR1","DOI":"10.1145\/582153.582176"},{"doi-asserted-by":"crossref","unstructured":"van Deursen, A., Moonen, L.: Type inference for cobol systems. In: WCRE (Working Conference on Reverse Engeneering), pp. 220\u2013230 (1998)","key":"10_CR2","DOI":"10.1109\/WCRE.1998.723192"},{"unstructured":"van Deursen, A., Moonen, L.: Understanding cobol systems using inferred types. In: IWPC. IEEE Computer Society (1999)","key":"10_CR3"},{"doi-asserted-by":"crossref","unstructured":"van Deursen, A., Moonen, L.: Exploring legacy systems using types. In: WCRE (Working Conference on Reverse Engeneering), pp. 32\u201341 (2000)","key":"10_CR4","DOI":"10.1109\/WCRE.2000.891450"},{"issue":"2-3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0167-6423(01)00015-6","volume":"40","author":"A. Deursen van","year":"2001","unstructured":"van Deursen, A., Moonen, L.: An empirical study into cobol type inferencing. Sci. Comput. Program.\u00a040(2-3), 189\u2013211 (2001)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Static Analysis. Springer (1999)","key":"10_CR6","DOI":"10.1007\/978-3-662-03811-6"},{"doi-asserted-by":"crossref","unstructured":"Holt, R.C.: WCRE 1998 most influential paper: Grokking software architecture. In: WCRE (Working Conference on Reverse Engeneering), pp. 5\u201314. IEEE (2008)","key":"10_CR7","DOI":"10.1109\/WCRE.2008.34"},{"unstructured":"IBM: Cobol z\/OS language reference (2009), http:\/\/publib.boulder.ibm.com\/info-center\/pdthelp\/v1r1\/index.jsp?topic=\/com.ibm.debugtool.doc_7.1\/eqa7rm0293.html","key":"10_CR8"},{"unstructured":"Kernighan, B.W., Ritchie, D.: The C Programming Language, 2nd edn. Prentice-Hall (1988)","key":"10_CR9"},{"doi-asserted-by":"crossref","unstructured":"Kuipers, T., Moonen, L.: Types and concept analysis for legacy systems. In: IWPC, pp. 221\u2013230. IEEE Computer Society (2000)","key":"10_CR10","DOI":"10.1109\/WPC.2000.852496"},{"unstructured":"Moonen, L.: Generating robust parsers using island grammars. In: WCRE (Working Conference on Reverse Engeneering) (2001)","key":"10_CR11"},{"doi-asserted-by":"crossref","unstructured":"Moonen, L.: Exploring software systems. In: ICSM, pp. 276\u2013280. IEEE Computer Society (2003)","key":"10_CR12","DOI":"10.1109\/ICSM.2003.1235430"},{"doi-asserted-by":"crossref","unstructured":"Span\u00f2, A., Bugliesi, M., Cortesi, A.: Type-flow analysis for legacy cobol code. In: ICSOFT (2), pp. 64\u201375 (2011)","key":"10_CR13","DOI":"10.5220\/0003506700640075"},{"key":"10_CR14","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"2000","unstructured":"Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)","edition":"3"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36177-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:59Z","timestamp":1745940839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36177-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642361760","9783642361777"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36177-7_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}