{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T22:54:27Z","timestamp":1790376867619,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"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":[[2011,5,21]]},"DOI":"10.1145\/1985793.1985863","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"511-520","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Unifying execution of imperative and declarative code"],"prefix":"10.1145","author":[{"given":"Aleksandar","family":"Milicevic","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Derek","family":"Rayside","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kuat","family":"Yessenov","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Jackson","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Hamiltonian Path Algorithm. http:\/\/moodle.cornellcollege.edu\/0809\/mod\/resource\/view.php?id=8993. CSC213-8 Course.  Hamiltonian Path Algorithm. http:\/\/moodle.cornellcollege.edu\/0809\/mod\/resource\/view.php?id=8993. CSC213-8 Course."},{"key":"e_1_3_2_1_2_1","unstructured":"Squander Home Page. http:\/\/people.csail.mit.edu\/aleks\/squander.  Squander Home Page. http:\/\/people.csail.mit.edu\/aleks\/squander."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/318762"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529373"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1243380"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1992.0033"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1989.0045"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663697"},{"key":"e_1_3_2_1_11_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions: Logic, Language, and Analysis . MIT Press , Apr. 2006 . D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, Apr. 2006."},{"key":"e_1_3_2_1_12_1","volume-title":"FMICS'06","author":"Krause B.","year":"2006","unstructured":"B. Krause and T. Wahls . jmle: A tool for executing JML specifications via constraint programming . In FMICS'06 , Aug. 2006 . B. Krause and T. Wahls. jmle: A tool for executing JML specifications via constraint programming. In FMICS'06, Aug. 2006."},{"key":"e_1_3_2_1_13_1","volume-title":"TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE'01","author":"Marinov D.","year":"2001","unstructured":"D. Marinov and S. Khurshid . TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE'01 , 2001 . D. Marinov and S. Khurshid. TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE'01, 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"MIT","author":"Milicevic A.","year":"2010","unstructured":"A. Milicevic . Executable Specifications for Java Programs. Master's thesis , MIT , Sept. 2010 . A. Milicevic. Executable Specifications for Java Programs. Master's thesis, MIT, Sept. 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.44503"},{"key":"e_1_3_2_1_16_1","volume-title":"Programming from Specifications","author":"Morgan C.","year":"1998","unstructured":"C. Morgan . Programming from Specifications . Prentice-Hall , 2 nd edition, 1998 . C. Morgan. Programming from Specifications. Prentice-Hall, 2nd edition, 1998.","edition":"2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640070"},{"key":"e_1_3_2_1_18_1","volume-title":"Falling Back on Executable Specifications. In ECOOP'10","author":"Samimi H.","unstructured":"H. Samimi , E. D. Aung , and T. D. Millstein . Falling Back on Executable Specifications. In ECOOP'10 . H. Samimi, E. D. Aung, and T. D. Millstein. Falling Back on Executable Specifications. In ECOOP'10."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645814.668731"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/101340.101343"},{"key":"e_1_3_2_1_22_1","volume-title":"MIT","author":"Yang J.","year":"2010","unstructured":"J. Yang . Specification-Enhanced Execution . Master's thesis , MIT , May 2010 . J. Yang. Specification-Enhanced Execution. Master's thesis, MIT, May 2010."},{"key":"e_1_3_2_1_23_1","volume-title":"MIT","author":"Yessenov K.","year":"2009","unstructured":"K. Yessenov . A Light-weight Specification Language for Bounded Program Verification. Master's thesis , MIT , 2009 . K. Yessenov. A Light-weight Specification Language for Bounded Program Verification. Master's thesis, MIT, 2009."},{"key":"e_1_3_2_1_24_1","volume-title":"MIT","author":"Yeung V. S.","year":"2006","unstructured":"V. S. Yeung . Declarative Configuration Applied to Course Scheduling . Master's thesis , MIT , 2006 . V. S. Yeung. Declarative Configuration Applied to Course Scheduling . Master's thesis, MIT, 2006."}],"event":{"name":"ICSE11: International Conference on Software Engineering","location":"Waikiki, Honolulu HI USA","acronym":"ICSE11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 33rd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985863","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1985793.1985863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:17Z","timestamp":1750245737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985863"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":23,"alternative-id":["10.1145\/1985793.1985863","10.1145\/1985793"],"URL":"https:\/\/doi.org\/10.1145\/1985793.1985863","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}