{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:00Z","timestamp":1750307520744,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,7]],"date-time":"2009-09-07T00:00:00Z","timestamp":1252281600000},"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,9,7]]},"DOI":"10.1145\/1599410.1599419","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"61-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Alternation as a programming paradigm"],"prefix":"10.1145","author":[{"given":"Wolfgang","family":"Dvo\u0159\u00e1k","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Wien, A-1040 Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[{"name":"Oxford University, Oxford OX1 3QD, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Pichler","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, A-1040 Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, A-1040 Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"64","article-title":"JACK: A Java constraint kit","author":"Abdennadher S.","year":"2002","unstructured":"S. Abdennadher , E. Kr\u00e4mer , M. Saft , and M. Schmauss . JACK: A Java constraint kit . Electr. Notes Theor. Comput. Sci. , 64 , 2002 . S. Abdennadher, E. Kr\u00e4mer, M. Saft, and M. Schmauss. JACK: A Java constraint kit. Electr. Notes Theor. Comput. Sci., 64, 2002.","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263709"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646005.673737"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"Proceedings of Frontiers of Combining Systems","author":"Apt K.R.","year":"2000","unstructured":"K.R. Apt and A. Schaerf . Programming in Alma-0, or imperative and declarative programming reconciled . In Proceedings of Frontiers of Combining Systems , pages 1 -- 16 . Research Studies Press Ltd , 2000 . K.R. Apt and A. Schaerf. Programming in Alma-0, or imperative and declarative programming reconciled. In Proceedings of Frontiers of Combining Systems, pages 1--16. Research Studies Press Ltd, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227597"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/356770.356773"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"e_1_3_2_1_10_1","volume-title":"Alter-Java web page","author":"Dvor\u00e1k W.","year":"2009","unstructured":"W. Dvor\u00e1k , G. Gottlob , R. Pichler , and S. Woltran . Alter-Java web page , 2009 . http:\/\/www.dbai.tuwien.ac.at\/proj\/alternation. W. Dvor\u00e1k, G. Gottlob, R. Pichler, and S. Woltran. Alter-Java web page, 2009. http:\/\/www.dbai.tuwien.ac.at\/proj\/alternation."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1642293.1642308"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_22"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682693"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00078-3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1809"},{"key":"e_1_3_2_1_16_1","volume-title":"Technische Universit\u00e4t Berlin","author":"Grabm\u00fcller M.","year":"2003","unstructured":"M. Grabm\u00fcller . Constraint Imperative Programming. Diploma thesis , Technische Universit\u00e4t Berlin , February 2003 . M. Grabm\u00fcller. Constraint Imperative Programming. Diploma thesis, Technische Universit\u00e4t Berlin, February 2003."},{"key":"e_1_3_2_1_17_1","volume-title":"Technische Universit\u00e4t Berlin","author":"Grabm\u00fcller M.","year":"2003","unstructured":"M. Grabm\u00fcller . Multiparadigmen-Programmiersprachen. Research report 2003-15 in Forschungsberichte Fakult\u00e4t IV -- Elektrotechnik und Informatik , Technische Universit\u00e4t Berlin , October 2003 . M. Grabm\u00fcller. Multiparadigmen-Programmiersprachen. Research report 2003-15 in Forschungsberichte Fakult\u00e4t IV -- Elektrotechnik und Informatik, Technische Universit\u00e4t Berlin, October 2003."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195085914.001.0001","volume-title":"Limits to Parallel Computation: P-Completeness Theory","author":"Greenlaw R.","year":"1995","unstructured":"R. Greenlaw , H.J. Hoover , and W.L. Ruzzo . Limits to Parallel Computation: P-Completeness Theory . Oxford University Press , 1995 . R. Greenlaw, H.J. Hoover, and W.L. Ruzzo. Limits to Parallel Computation: P-Completeness Theory. Oxford University Press, 1995."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357085"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/800119.803883"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/990518.990519"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5139"},{"key":"e_1_3_2_1_25_1","volume-title":"Computational Complexity","author":"Papadimitriou C.M.","year":"1994","unstructured":"C.M. Papadimitriou . Computational Complexity . Addison-Wesley , 1994 . C.M. Papadimitriou. Computational Complexity. Addison-Wesley, 1994."},{"key":"e_1_3_2_1_26_1","volume-title":"The Pragmatic Bookshelf","author":"Parr T.","year":"2007","unstructured":"T. Parr . The Definitive ANTLR Reference: Building Domain-Specific Languages . The Pragmatic Bookshelf , Raleigh , 2007 . T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages. The Pragmatic Bookshelf, Raleigh, 2007."},{"key":"e_1_3_2_1_27_1","volume-title":"Types in Logic Programming","author":"Pfenning F.","year":"1992","unstructured":"F. Pfenning , editor. Types in Logic Programming . MIT Press , 1992 . F. Pfenning, editor. Types in Logic Programming. MIT Press, 1992."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/96429.96433"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288536"},{"key":"e_1_3_2_1_30_1","first-page":"413","volume-title":"Proceedings IFIP Congress","author":"Robson J.M.","year":"1983","unstructured":"J.M. Robson . The complexity of Go . In Proceedings IFIP Congress , pages 413 -- 417 , 1983 . J.M. Robson. The complexity of Go. In Proceedings IFIP Congress, pages 413--417, 1983."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90036-7"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013975"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90021-9"},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/BFb0015261","volume-title":"Computer Science Today: Recent Trends and Developments","author":"Vardi M.Y.","year":"1995","unstructured":"M.Y. Vardi . Alternating automata and program verification . In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments , volume 1000 of LNCS , pages 471 -- 485 . Springer , 1995 . M.Y. Vardi. Alternating automata and program verification. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of LNCS, pages 471--485. Springer, 1995."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the JSSST Conference","author":"Zhou N.-F.","year":"1998","unstructured":"N.-F. Zhou , S. Kaneko , and K. Yamauchi . DJ: A Java-based constraint language and system . In Proceedings of the JSSST Conference , 1998 . N.-F. Zhou, S. Kaneko, and K. Yamauchi. DJ: A Java-based constraint language and system. In Proceedings of the JSSST Conference, 1998."}],"event":{"name":"PPDP '09: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Coimbra Portugal","acronym":"PPDP '09"},"container-title":["Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599419","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1599410.1599419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:15Z","timestamp":1750249095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599419"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,7]]},"references-count":34,"alternative-id":["10.1145\/1599410.1599419","10.1145\/1599410"],"URL":"https:\/\/doi.org\/10.1145\/1599410.1599419","relation":{},"subject":[],"published":{"date-parts":[[2009,9,7]]},"assertion":[{"value":"2009-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}