{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:16Z","timestamp":1773192736657,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:00:00Z","timestamp":1188777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,3]]},"DOI":"10.1145\/1294948.1294972","type":"proceedings-article","created":{"date-parts":[[2007,10,15]],"date-time":"2007-10-15T12:45:05Z","timestamp":1192452305000},"page":"98-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Efficient recovery of algebraic specifications for stateful components"],"prefix":"10.1145","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]},{"given":"Andrea","family":"Mocci","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]},{"given":"Mattia","family":"Monga","sequence":"additional","affiliation":[{"name":"Universita degli Studi di Milano, Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2007,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/950792.951358"},{"key":"e_1_3_2_1_2_1","volume-title":"Casl Reference Manual. LNCS 2960 (IFIP Series)","author":"Co","year":"2004","unstructured":"Co FI (The Common Framework Initiative). Casl Reference Manual. LNCS 2960 (IFIP Series) . Springer , 2004 . CoFI (The Common Framework Initiative). Casl Reference Manual. LNCS 2960 (IFIP Series). Springer, 2004."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647545.730763"},{"key":"e_1_3_2_1_5_1","volume-title":"Dynamically Discovering Likely Program Invariants. Ph.D","author":"Ernst M. D.","year":"2000","unstructured":"Ernst , M. D. Dynamically Discovering Likely Program Invariants. Ph.D ., University of Washington Department of Computer Science and Engineering , Seattle, Washington , Aug. 2000 . Ernst, M. D. Dynamically Discovering Likely Program Invariants. Ph.D., University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000."},{"key":"e_1_3_2_1_6_1","first-page":"80","volume-title":"Current Trends in Programming Methodology","volume":"1978","author":"Goguen J. A.","unstructured":"Goguen , J. A. , Thatcher , J. W. , and Wagner , E. W . An initial algebra approach to the specification, correctness and implementation of abstract data types . In Current Trends in Programming Methodology , Volume 4:Software Specification and Design, R. T. Yeh, Ed. Prentice Hall, 1978 , ch. 5, pp. 80 -- 149 . Goguen, J. A., Thatcher, J. W., and Wagner, E. W. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology, Volume 4:Software Specification and Design, R. T. Yeh, Ed. Prentice Hall, 1978, ch. 5, pp. 80--149."},{"key":"e_1_3_2_1_7_1","volume-title":"Program Development in Java: Abstraction, Specification and Object-Oriented Design","author":"Guttag J.","year":"2001","unstructured":"Guttag , J. , and Liskov , B . Program Development in Java: Abstraction, Specification and Object-Oriented Design . Addison-Wesley , 2001 . Guttag, J., and Liskov, B. Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260922"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_19"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5229-1_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/832254.832816"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253351"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062510"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292552"}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","CEPIS The Council of European Professional Informatics Societies"]},"container-title":["Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC\/FSE joint meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294948.1294972","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1294948.1294972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:07Z","timestamp":1750259647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294948.1294972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,3]]},"references-count":14,"alternative-id":["10.1145\/1294948.1294972","10.1145\/1294948"],"URL":"https:\/\/doi.org\/10.1145\/1294948.1294972","relation":{},"subject":[],"published":{"date-parts":[[2007,9,3]]},"assertion":[{"value":"2007-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}