{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:21Z","timestamp":1750307661518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,8]],"date-time":"2009-03-08T00:00:00Z","timestamp":1236470400000},"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":[[2009,3,8]]},"DOI":"10.1145\/1529282.1529705","type":"proceedings-article","created":{"date-parts":[[2009,4,15]],"date-time":"2009-04-15T13:37:11Z","timestamp":1239802631000},"page":"1890-1897","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic specification techniques for parametric types with logic-based constraints"],"prefix":"10.1145","author":[{"given":"David","family":"Briggs","sequence":"first","affiliation":[{"name":"University of Southern Maine, Portland, ME"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suad","family":"Alagi\u0107","sequence":"additional","affiliation":[{"name":"University of Southern Maine, Portland, ME"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0042-x"},{"volume-title":"Proceedings of the FTfJP 2006 Workshop, http:\/\/www.disi.unige.it\/person\/AnconaD\/FTfJP06\/.","author":"Alagi\u0107 S.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","first-page":"585","volume-title":"Proceedings of ECOOP 2002","author":"Alagi\u0107 S.","year":"2002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"volume-title":"Springer","year":"1991","author":"Breu R.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318610"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/oso\/9780198537601.003.0014","volume-title":"G. M. Reed, A. W. Roscoe and R. F. Wachter, Topology and Category Theory in Computer Science","author":"Goguen J.","year":"1991"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_2_1_10_1","unstructured":"J. Gosling B. Joy G. Steel and G. Bracha The Java Language Specification Third edition 2005. J. Gosling B. Joy G. Steel and G. Bracha The Java Language Specification Third edition 2005."},{"volume-title":"Springer","year":"1993","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378797"},{"key":"e_1_3_2_1_13_1","unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cook P. Muller and J. Kiniry JML Reference Manual 2005 http:\/\/www.cs.iastate.edu\/leavens\/JML\/. G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cook P. Muller and J. Kiniry JML Reference Manual 2005 http:\/\/www.cs.iastate.edu\/leavens\/JML\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Luckham D. Programming with Specifications Springer 1990. Luckham D. Programming with Specifications Springer 1990.","DOI":"10.1007\/978-1-4613-9685-7"},{"key":"e_1_3_2_1_16_1","unstructured":"B. Meyer Object-Oriented Software Construction Prentice Hall 1997. B. Meyer Object-Oriented Software Construction Prentice Hall 1997."},{"key":"e_1_3_2_1_17_1","unstructured":"S. Owre N. Shankar J. M. Rushby and D. W. J. Stringer-Clavert: PVS Language Reference SRI International Computer Science Laboratory Menlo Park California http:\/\/pvs.csl.sri.com. S. Owre N. Shankar J. M. Rushby and D. W. J. Stringer-Clavert: PVS Language Reference SRI International Computer Science Laboratory Menlo Park California http:\/\/pvs.csl.sri.com."},{"key":"e_1_3_2_1_18_1","unstructured":"Project Management Institute A Guide to Project Management Body of Knowledge Project Management Institute 2000. Project Management Institute A Guide to Project Management Body of Knowledge Project Management Institute 2000."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664578"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.10.a1"},{"key":"e_1_3_2_1_21_1","unstructured":"B. Stroustrup The C++ Programming Language Addison-Wesley 2000. B. Stroustrup The C++ Programming Language Addison-Wesley 2000."},{"volume-title":"Addison-Wesley","year":"2003","author":"Warmer J.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964005"}],"event":{"name":"SAC09: The 2009 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Honolulu Hawaii","acronym":"SAC09"},"container-title":["Proceedings of the 2009 ACM symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529705","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1529282.1529705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:29Z","timestamp":1750253369000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,8]]},"references-count":23,"alternative-id":["10.1145\/1529282.1529705","10.1145\/1529282"],"URL":"https:\/\/doi.org\/10.1145\/1529282.1529705","relation":{},"subject":[],"published":{"date-parts":[[2009,3,8]]},"assertion":[{"value":"2009-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}