{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:17:48Z","timestamp":1730323068530,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,19]]},"DOI":"10.1145\/3407982.3407993","type":"proceedings-article","created":{"date-parts":[[2020,8,26]],"date-time":"2020-08-26T05:02:40Z","timestamp":1598418160000},"page":"94-100","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Declarative and Imperative Approaches for Proving Turing Completeness of SPIDER"],"prefix":"10.1145","author":[{"given":"Emilia","family":"Golemanova","sequence":"first","affiliation":[{"name":"Computer Systems and Technologies, Ruse University, Ruse Bulgaria"}]},{"given":"Tzanko","family":"Golemanov","sequence":"additional","affiliation":[{"name":"Computer Systems and Technologies, Ruse University, Ruse Bulgaria"}]}],"member":"320","published-online":{"date-parts":[[2020,8,25]]},"reference":[{"unstructured":"S. Kepser \"A Simple Proof for the Turing-Completeness of XSLT and XQuery \" in Extreme Markup Languages 2004. S. Kepser \"A Simple Proof for the Turing-Completeness of XSLT and XQuery \" in Extreme Markup Languages 2004.","key":"e_1_3_2_1_1_1"},{"issue":"5","key":"e_1_3_2_1_2_1","first-page":"127","article-title":"Syntax and Semantics for Cinnamon Pogramming","volume":"9","author":"Kratchanov K.","year":"2017","unstructured":"K. Kratchanov , \" Syntax and Semantics for Cinnamon Pogramming ,\" Int. J. Comput. Sci. Inf. Technol. , vol. 9 , no. 5 , pp. 127 -- 150 , 2017 . K. Kratchanov, \"Syntax and Semantics for Cinnamon Pogramming,\" Int. J. Comput. Sci. Inf. Technol., vol. 9, no. 5, pp. 127--150, 2017.","journal-title":"Int. J. Comput. Sci. Inf. Technol."},{"key":"e_1_3_2_1_3_1","first-page":"9 9","volume-title":"Conf. on Computer Systems and Technologies (CompSysTech 2009","author":"Golemanov T.","year":"2009","unstructured":"T. Golemanov , K. Kratchanov , and E. Golemanova , \" Spider vs. Prolog: Simulating Prolog in Spider,\" in 10th Int . Conf. on Computer Systems and Technologies (CompSysTech 2009 ), Rousse, Bulgaria , 2009 , p. II. 9 - 1 --II. 9 - 7 . T. Golemanov, K. Kratchanov, and E. Golemanova, \"Spider vs. Prolog: Simulating Prolog in Spider,\" in 10th Int. Conf. on Computer Systems and Technologies (CompSysTech 2009), Rousse, Bulgaria, 2009, p. II.9-1--II.9-7."},{"unstructured":"\"Turing machine.\" [Online]. Available: https:\/\/en.wikipedia.org\/wiki\/Turing_machine. \"Turing machine.\" [Online]. Available: https:\/\/en.wikipedia.org\/wiki\/Turing_machine.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/51594.51597"},{"unstructured":"\"PROLOG - EXEMPLE.\" [Online]. Available: http:\/\/marinvlada.googlepages.com\/Probleme_prolog.pdf. \"PROLOG - EXEMPLE.\" [Online]. Available: http:\/\/marinvlada.googlepages.com\/Probleme_prolog.pdf.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","first-page":"136","volume-title":"IEEE World Congress on Computational Intelligence","author":"Teller A.","year":"1994","unstructured":"A. Teller , \"Turing Completeness in the Language of Genetic Programming with Indexed Memory,\" in First IEEE Conference on Evolutionary Computation . IEEE World Congress on Computational Intelligence , 1994 , pp. 136 -- 141 . A. Teller, \"Turing Completeness in the Language of Genetic Programming with Indexed Memory,\" in First IEEE Conference on Evolutionary Computation. IEEE World Congress on Computational Intelligence, 1994, pp. 136--141."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/s10878-014-9715-3"},{"key":"e_1_3_2_1_9_1","first-page":"391","article-title":"Using control network programming in teaching nondeterminism","author":"Kratchanov K.","year":"2012","unstructured":"K. Kratchanov , E. Golemanova , T. Golemanov , and B. K\u00fclah\u00e7\u0131o\u011flu , \" Using control network programming in teaching nondeterminism ,\" in International Conference on Computer Systems and Technologies , 2012 , pp. 391 -- 398 . K. Kratchanov, E. Golemanova, T. Golemanov, and B. K\u00fclah\u00e7\u0131o\u011flu, \"Using control network programming in teaching nondeterminism,\" in International Conference on Computer Systems and Technologies, 2012, pp. 391--398.","journal-title":"International Conference on Computer Systems and Technologies"},{"key":"e_1_3_2_1_10_1","first-page":"67","volume-title":"Information and Communication Engineering","author":"Kratchanov K.","year":"2012","unstructured":"K. Kratchanov , E. Golemanova , T. Golemanov , and B. K\u00fclah\u00e7\u0131o\u011flu , \" USING CONTROL NETWORK PROGRAMMING IN TEACHING RANDOMIZATION,\" in International Conference on Electronics , Information and Communication Engineering , 2012 , pp. 67 -- 72 . K. Kratchanov, E. Golemanova, T. Golemanov, and B. K\u00fclah\u00e7\u0131o\u011flu, \"USING CONTROL NETWORK PROGRAMMING IN TEACHING RANDOMIZATION,\" in International Conference on Electronics, Information and Communication Engineering, 2012, pp. 67--72."},{"key":"e_1_3_2_1_11_1","first-page":"147","volume-title":"ser. 3.2, (in Bulgarian)","author":"Golemanova E.","year":"2015","unstructured":"E. Golemanova , \"Methodology for Declarative CNP Implementations of State Space Search Algorithms ,\" in Annals of Ruse University , 54 , ser. 3.2, (in Bulgarian) ., 2015 , pp. 147 -- 154 . E. Golemanova, \"Methodology for Declarative CNP Implementations of State Space Search Algorithms,\" in Annals of Ruse University, 54, ser. 3.2, (in Bulgarian)., 2015, pp. 147--154."},{"key":"e_1_3_2_1_12_1","first-page":"115","volume-title":"Implementing Search Strategies in Winspider II: Declarative, Procedural, and Hybrid Approaches,\" in Knowledge-Based Automated Software Engineering","author":"Kratchanov K.","year":"2012","unstructured":"K. Kratchanov , E. Golemanova , T. Golemanov , and Y. G\u00f6k\u00e7en , \" Implementing Search Strategies in Winspider II: Declarative, Procedural, and Hybrid Approaches,\" in Knowledge-Based Automated Software Engineering , I. Stanev and K. Grigorova, Eds. Cambridge Scholars Publishing , 2012 , pp. 115 -- 135 . K. Kratchanov, E. Golemanova, T. Golemanov, and Y. G\u00f6k\u00e7en, \"Implementing Search Strategies in Winspider II: Declarative, Procedural, and Hybrid Approaches,\" in Knowledge-Based Automated Software Engineering, I. Stanev and K. Grigorova, Eds. Cambridge Scholars Publishing, 2012, pp. 115--135."},{"issue":"4","key":"e_1_3_2_1_13_1","first-page":"176","article-title":"Declarative Implementations of Search Strategies for Solving CSPs in Control Network Programming","volume":"12","author":"Golemanova E.","year":"2013","unstructured":"E. Golemanova , \" Declarative Implementations of Search Strategies for Solving CSPs in Control Network Programming ,\" WSEAS Trans. Comput. , vol. 12 , no. 4 , pp. 176 -- 182 , 2013 . E. Golemanova, \"Declarative Implementations of Search Strategies for Solving CSPs in Control Network Programming,\" WSEAS Trans. Comput., vol. 12, no. 4, pp. 176--182, 2013.","journal-title":"WSEAS Trans. Comput."},{"key":"e_1_3_2_1_14_1","first-page":"91","article-title":"Declarative Implementations of Genetic Algorithms in Control Network Programming","author":"Golemanova E.","year":"2019","unstructured":"E. Golemanova and T. Golemanov , \" Declarative Implementations of Genetic Algorithms in Control Network Programming ,\" in Computer Systems and Technologies , 2019 , pp. 91 -- 97 . E. Golemanova and T. Golemanov, \"Declarative Implementations of Genetic Algorithms in Control Network Programming,\" in Computer Systems and Technologies, 2019, pp. 91--97.","journal-title":"Computer Systems and Technologies"},{"issue":"4","key":"e_1_3_2_1_15_1","first-page":"892","article-title":"Comparative Study of the Inference Mechanisms in PROLOG and SPIDER","volume":"7","author":"Golemanova E.","year":"2018","unstructured":"E. Golemanova , T. Golemanov , and K. Kratchanov , \" Comparative Study of the Inference Mechanisms in PROLOG and SPIDER ,\" TEM J. , vol. 7 , no. 4 , pp. 892 -- 901 , 2018 . E. Golemanova, T. Golemanov, and K. Kratchanov, \"Comparative Study of the Inference Mechanisms in PROLOG and SPIDER,\" TEM J., vol. 7, no. 4, pp. 892--901, 2018.","journal-title":"TEM J."},{"key":"e_1_3_2_1_16_1","first-page":"453","volume-title":"Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation,\" in Seventh IEEE\/ACIS International Conference on Computer and Information Science (ICIS","author":"Kratchanov K.","year":"2008","unstructured":"K. Kratchanov , E. Golemanova , and T. Golemanov , \" Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation,\" in Seventh IEEE\/ACIS International Conference on Computer and Information Science (ICIS 2008 ), 2008, pp. 453 -- 459 . K. Kratchanov, E. Golemanova, and T. Golemanov, \"Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation,\" in Seventh IEEE\/ACIS International Conference on Computer and Information Science (ICIS 2008), 2008, pp. 453--459."},{"key":"e_1_3_2_1_17_1","first-page":"417","volume-title":"Knowledge Engineering and Data Bases (AIKED 2009)","author":"Kratchanov K.","year":"2009","unstructured":"K. Kratchanov , E. Golemanova , and T. Golemanov , \" Control Network Programs and Their Execution,\" in 8th WSEAS International Conference on Artificial Intelligence , Knowledge Engineering and Data Bases (AIKED 2009) , 2009 , pp. 417 -- 422 . K. Kratchanov, E. Golemanova, and T. Golemanov, \"Control Network Programs and Their Execution,\" in 8th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009), 2009, pp. 417--422."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/365143.365335"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-642-15390-7_27"},{"key":"e_1_3_2_1_20_1","first-page":"230","article-title":"On Computable Numbers, with an Application to the Entscheidungsproblem","volume":"42","author":"Turing A.","year":"1936","unstructured":"A. Turing , \" On Computable Numbers, with an Application to the Entscheidungsproblem ,\" London Math. Soc. , vol. 42 , pp. 230 -- 265 , 1936 . A. Turing, \"On Computable Numbers, with an Application to the Entscheidungsproblem,\" London Math. Soc., vol. 42, pp. 230--265, 1936.","journal-title":"London Math. Soc."},{"key":"e_1_3_2_1_21_1","volume-title":"An Introduction to Formal Languages and Automata","author":"Linz P.","year":"2011","unstructured":"P. Linz , An Introduction to Formal Languages and Automata , 5 th ed. Jones & Bartlett , 2011 . P. Linz, An Introduction to Formal Languages and Automata, 5th ed. Jones & Bartlett, 2011.","edition":"5"},{"unstructured":"\"Turing Complete.\" [Online]. Available: https:\/\/wiki.c2.com\/?TuringComplete. \"Turing Complete.\" [Online]. Available: https:\/\/wiki.c2.com\/?TuringComplete.","key":"e_1_3_2_1_22_1"},{"volume-title":"An Integrated Environment for Visual Control Network Programming,\" in Annals of Ruse University, 51, ser. 3.2","year":"2012","author":"Golemanov T.","unstructured":"T. Golemanov , \"SpiderCNP : An Integrated Environment for Visual Control Network Programming,\" in Annals of Ruse University, 51, ser. 3.2 , 2012 , p. 123--127 (in Bulgarian) . T. Golemanov, \"SpiderCNP: An Integrated Environment for Visual Control Network Programming,\" in Annals of Ruse University, 51, ser. 3.2, 2012, p. 123--127 (in Bulgarian).","key":"e_1_3_2_1_23_1"},{"volume-title":"Development and Study of an Integrated Development Environment for Control Network Programming,\" Ruse University","year":"2014","author":"Golemanov T.","unstructured":"T. Golemanov , \" T. Golemanov ( 2014 ), Development and Study of an Integrated Development Environment for Control Network Programming,\" Ruse University , 2014. T. Golemanov, \"T. Golemanov (2014), Development and Study of an Integrated Development Environment for Control Network Programming,\" Ruse University, 2014.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","first-page":"645","article-title":"Control Network Programming Development Environments","volume":"13","author":"Kratchanov K.","year":"2014","unstructured":"K. Kratchanov , B. Y\u00fcksel , T. Golemanov , and E. Golemanova , \" Control Network Programming Development Environments ,\" WSEAS Trans. Comput. , vol. 13 , pp. 645 -- 659 , 2014 . K. Kratchanov, B. Y\u00fcksel, T. Golemanov, and E. Golemanova, \"Control Network Programming Development Environments,\" WSEAS Trans. Comput., vol. 13, pp. 645--659, 2014.","journal-title":"WSEAS Trans. Comput."}],"event":{"sponsor":["UORB University of Ruse, Bulgaria"],"acronym":"CompSysTech '20","name":"CompSysTech '20: International Conference on Computer Systems and Technologies '20","location":"Ruse Bulgaria"},"container-title":["Proceedings of the 21st International Conference on Computer Systems and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3407982.3407993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T04:12:25Z","timestamp":1673669545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3407982.3407993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,19]]},"references-count":25,"alternative-id":["10.1145\/3407982.3407993","10.1145\/3407982"],"URL":"https:\/\/doi.org\/10.1145\/3407982.3407993","relation":{},"subject":[],"published":{"date-parts":[[2020,6,19]]},"assertion":[{"value":"2020-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
