Статті в журналах з теми "Declarative programming"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Declarative programming".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Crossley, John N. "Declarative programming." Electronic Notes in Theoretical Computer Science 61 (January 2002): 20. http://dx.doi.org/10.1016/s1571-0661(04)00302-0.
Повний текст джерелаBáRány, Vince, Balder Ten Cate, Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. "Declarative Probabilistic Programming with Datalog." ACM Transactions on Database Systems 42, no. 4 (November 13, 2017): 1–35. http://dx.doi.org/10.1145/3132700.
Повний текст джерелаHanus, Michael. "Reduction Strategies for Declarative Programming." Electronic Notes in Theoretical Computer Science 57 (December 2001): 184–91. http://dx.doi.org/10.1016/s1571-0661(04)00273-7.
Повний текст джерелаKomorowski, Henryk Jan. "A declarative logic programming environment." Journal of Systems and Software 8, no. 2 (March 1988): 77–89. http://dx.doi.org/10.1016/0164-1212(88)90002-7.
Повний текст джерелаLloyd, J. W., and K. S. Ng. "Declarative programming for agent applications." Autonomous Agents and Multi-Agent Systems 23, no. 2 (June 8, 2010): 224–72. http://dx.doi.org/10.1007/s10458-010-9138-1.
Повний текст джерелаSchor, Marshall I. "Declarative Knowledge Programming: Better Than Procedural?" IEEE Expert 1, no. 1 (April 1986): 36–43. http://dx.doi.org/10.1109/mex.1986.5006497.
Повний текст джерелаLouridas, Panagiotis. "Declarative GUI Programming in Microsoft Windows." IEEE Software 24, no. 4 (July 2007): 16–19. http://dx.doi.org/10.1109/ms.2007.105.
Повний текст джерелаLloyd, John W. "Declarative programming for artificial intelligence applications." ACM SIGPLAN Notices 42, no. 9 (October 2007): 123–24. http://dx.doi.org/10.1145/1291220.1291152.
Повний текст джерелаFinkelstein, Stacy E., Peter Freyd, and James Lipton. "A new framework for declarative programming." Theoretical Computer Science 300, no. 1-3 (May 2003): 91–160. http://dx.doi.org/10.1016/s0304-3975(01)00308-5.
Повний текст джерелаEchahed, Rachid, and Wendelin Serwe. "Defining Actions in Concurrent Declarative Programming." Electronic Notes in Theoretical Computer Science 64 (September 2002): 176–94. http://dx.doi.org/10.1016/s1571-0661(04)80350-5.
Повний текст джерелаHOFSTEDT, PETRA, and PETER PEPPER. "Integration of declarative and constraint programming." Theory and Practice of Logic Programming 7, no. 1-2 (January 2007): 93–121. http://dx.doi.org/10.1017/s1471068406002833.
Повний текст джерелаChen, Adam, Parisa Fathololumi, Eric Koskinen, and Jared Pincus. "Veracity: declarative multicore programming with commutativity." Proceedings of the ACM on Programming Languages 6, OOPSLA2 (October 31, 2022): 1726–56. http://dx.doi.org/10.1145/3563349.
Повний текст джерелаHewett, Rattikorn, Phongphun Kijsanayothin, Stephanie Bak, and Marry Galbrei. "Cybersecurity policy verification with declarative programming." Applied Intelligence 45, no. 1 (January 26, 2016): 83–95. http://dx.doi.org/10.1007/s10489-015-0749-8.
Повний текст джерелаGuns, Tias. "Declarative pattern mining using constraint programming." Constraints 20, no. 4 (September 14, 2015): 492–93. http://dx.doi.org/10.1007/s10601-015-9220-z.
Повний текст джерелаKosky, Anthony. "Declarative Languages for Advanced Information Technologies." Journal of Information Technology 3, no. 2 (June 1988): 110–18. http://dx.doi.org/10.1177/026839628800300208.
Повний текст джерелаKruglov, Leonid, and Yury Brodsky. "MODEL-ORIENTED PROGRAMMING." Proceedings of CBU in Natural Sciences and ICT 2 (October 24, 2021): 63–67. http://dx.doi.org/10.12955/pns.v2.154.
Повний текст джерелаGebser, Martin, Tomi Janhunen, and Jussi Rintanen. "Declarative encodings of acyclicity properties." Journal of Logic and Computation 30, no. 4 (September 8, 2015): 923–52. http://dx.doi.org/10.1093/logcom/exv063.
Повний текст джерелаGolemanova, Emilia, and Tzanko Golemanov. "Genetic Algorithms in a Visual Declarative Programming." WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS 19 (June 21, 2022): 138–52. http://dx.doi.org/10.37394/23209.2022.19.14.
Повний текст джерелаSTAVYTSKYI, Pavlo, and Viktoriia VOITKO. "METHOD OF THE DECLARATIVE METAPROGRAMMING BASED ON DOMAIN-SPECIFIC PROGRAMMING LANGUAGES." Herald of Khmelnytskyi National University. Technical sciences 311, no. 4 (August 2022): 249–55. http://dx.doi.org/10.31891/2307-5732-2022-311-4-249-255.
Повний текст джерелаWatson, I., V. Woods, P. Watson, R. Banach, M. Greenberg, and J. Sargeant. "Flagship: a parallel architecture for declarative programming." ACM SIGARCH Computer Architecture News 16, no. 2 (May 17, 1988): 124–30. http://dx.doi.org/10.1145/633625.52415.
Повний текст джерелаMens, Tom, Roel Wuyts, Kris De Volder, and Kim Mens. "Declarative Meta Programming to Support Software Development." ACM SIGSOFT Software Engineering Notes 28, no. 2 (March 2003): 1. http://dx.doi.org/10.1145/638750.638770.
Повний текст джерелаMyers, Brad A., Dario A. Giuse, and Brad Vander Zanden. "Declarative programming in a prototype-instance system." ACM SIGPLAN Notices 27, no. 10 (October 31, 1992): 184–200. http://dx.doi.org/10.1145/141937.141953.
Повний текст джерелаSivaramakrishnan, KC, Gowtham Kaki, and Suresh Jagannathan. "Declarative programming over eventually consistent data stores." ACM SIGPLAN Notices 50, no. 6 (August 7, 2015): 413–24. http://dx.doi.org/10.1145/2813885.2737981.
Повний текст джерелаRossi, Gianfranco. "Set-based Nondeterministic Declarative Programming in Singleton." Electronic Notes in Theoretical Computer Science 76 (November 2002): 216–32. http://dx.doi.org/10.1016/s1571-0661(04)80795-3.
Повний текст джерелаBakay, Á., L. Madarász, A. Hinsenkamp, Z. Papp, and T. P. Dobrowiecki. "Declarative Programming Tools for Fermentor Control System." IFAC Proceedings Volumes 23, no. 8 (August 1990): 293–97. http://dx.doi.org/10.1016/s1474-6670(17)51839-x.
Повний текст джерелаDAGNINO, FRANCESCO, DAVIDE ANCONA, and ELENA ZUCCA. "Flexible coinductive logic programming." Theory and Practice of Logic Programming 20, no. 6 (September 22, 2020): 818–33. http://dx.doi.org/10.1017/s147106842000023x.
Повний текст джерелаRizzo, Nicola, and Agostino Dovier. "3coSoKu and its declarative modeling." Journal of Logic and Computation 32, no. 2 (January 18, 2022): 307–30. http://dx.doi.org/10.1093/logcom/exab086.
Повний текст джерелаCOSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE." International Journal of Foundations of Computer Science 01, no. 03 (September 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.
Повний текст джерелаWIKAREK, Jarosław, Paweł SITEK, and Mieczysław JAGODZIŃSKI. "A DECLARATIVE APPROACH TO SHOP ORDERS OPTIMIZATION." Applied Computer Science 15, no. 4 (December 30, 2019): 5–15. http://dx.doi.org/10.35784/acs-2019-25.
Повний текст джерелаCalimeri, Francesco, Giovambattista Ianni, Thomas Krennwallner, and Francesco Ricca. "The Answer Set Programming Competition." AI Magazine 33, no. 4 (December 21, 2012): 114. http://dx.doi.org/10.1609/aimag.v33i4.2448.
Повний текст джерелаKeane, John A. "An overview of the Flagship system." Journal of Functional Programming 4, no. 1 (January 1994): 19–45. http://dx.doi.org/10.1017/s0956796800000927.
Повний текст джерелаHANUS, MICHAEL, and SVEN KOSCHNICKE. "An ER-based framework for declarative web programming." Theory and Practice of Logic Programming 14, no. 3 (October 30, 2012): 269–91. http://dx.doi.org/10.1017/s1471068412000385.
Повний текст джерелаNorilo, Vesa. "Kronos: A Declarative Metaprogramming Language for Digital Signal Processing." Computer Music Journal 39, no. 4 (December 2015): 30–48. http://dx.doi.org/10.1162/comj_a_00330.
Повний текст джерелаAppeltauer, Malte, Robert Hirschfeld, and Jens Lincke. "Declarative Layer Composition with The JCop Programming Language." Journal of Object Technology 12, no. 2 (2013): 4:1. http://dx.doi.org/10.5381/jot.2013.12.2.a4.
Повний текст джерелаBujosa, Andrés, and Regino Criado. "SYNTACTIC ELEMENTS OF DECLARATIVE PROGRAMMING: SYMBOLIC LINEAR EQUATIONS." Fundamenta Informaticae 25, no. 1 (1996): 39–48. http://dx.doi.org/10.3233/fi-1996-25104.
Повний текст джерелаGreenberg, Mark, and Viv Woods. "Flagship—a parallel reduction machine for declarative programming." Computing & Control Engineering Journal 1, no. 2 (1990): 81. http://dx.doi.org/10.1049/cce:19900022.
Повний текст джерелаYan, Song Yuan. "Foundations of declarative testing in arbitrary logic programming." International Journal of Computer Mathematics 34, no. 3-4 (January 1990): 145–60. http://dx.doi.org/10.1080/00207169008803872.
Повний текст джерелаNegreanu, Lorina. "Declarative Programming with Temporal Constraints, in the LanguageCG." Scientific World Journal 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/540854.
Повний текст джерелаYuan Yan, Song. "Foundations of declarative debugging in arbitrary logic programming." International Journal of Man-Machine Studies 32, no. 2 (February 1990): 215–32. http://dx.doi.org/10.1016/s0020-7373(05)80047-1.
Повний текст джерелаFinkelstein, Stacy E., Peter Freyd, and James Lipton. "Erratum to: “A new framework for declarative programming”." Theoretical Computer Science 311, no. 1-3 (January 2004): 527. http://dx.doi.org/10.1016/j.tcs.2003.09.011.
Повний текст джерелаAmato, Gianluca, James Lipton, and Robert McGrail. "On the algebraic structure of declarative programming languages." Theoretical Computer Science 410, no. 46 (November 2009): 4626–71. http://dx.doi.org/10.1016/j.tcs.2009.07.038.
Повний текст джерелаSavnik, Iztok, Tomaž Mohorič, and Vanja Josifovski. "Extending database programming language with declarative querying facilities." Microprocessing and Microprogramming 40, no. 10-12 (December 1994): 905–8. http://dx.doi.org/10.1016/0165-6074(94)90066-3.
Повний текст джерелаLifschitz, Vladimir. "Answer Sets and the Language of Answer Set Programming." AI Magazine 37, no. 3 (October 7, 2016): 7–12. http://dx.doi.org/10.1609/aimag.v37i3.2670.
Повний текст джерелаBrewka, Gerhard, Thomas Eiter, and Miroslaw Truszczynski. "Answer Set Programming: An Introduction to the Special Issue." AI Magazine 37, no. 3 (October 7, 2016): 5–6. http://dx.doi.org/10.1609/aimag.v37i3.2669.
Повний текст джерелаLOPES, NUNO P., JUAN A. NAVARRO, ANDREY RYBALCHENKO, and ATUL SINGH. "Applying Prolog to develop distributed systems." Theory and Practice of Logic Programming 10, no. 4-6 (July 2010): 691–707. http://dx.doi.org/10.1017/s1471068410000360.
Повний текст джерелаCALIMERI, FRANCESCO, GIOVAMBATTISTA IANNI, and FRANCESCO RICCA. "The third open answer set programming competition." Theory and Practice of Logic Programming 14, no. 1 (September 6, 2012): 117–35. http://dx.doi.org/10.1017/s1471068412000105.
Повний текст джерелаVan Hentenryck, Pascal. "Constraint logic programming." Knowledge Engineering Review 6, no. 3 (September 1991): 151–94. http://dx.doi.org/10.1017/s0269888900005798.
Повний текст джерелаMadkour, Abdelrahman, Chris Martens, Steven Holtzen, Casper Harteveld, and Stacy Marsella. "Probabilistic Logic Programming Semantics For Procedural Content Generation." Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 19, no. 1 (October 6, 2023): 295–305. http://dx.doi.org/10.1609/aiide.v19i1.27525.
Повний текст джерелаSinyugin, N. P. "Visual declarative-algorithmic language «InteloGraf» in rocket space technology." Informacionno-technologicheskij vestnik 14, no. 4 (December 30, 2017): 156–64. http://dx.doi.org/10.21499/2409-1650-2017-4-156-164.
Повний текст джерелаParamonov, A. V. "ADVANCED TOOLS OF DECLARATIVE PLC PROGRAMMING USING VISUAL MODELS." Scientific and Technical Volga region Bulletin 8, no. 5 (May 2018): 239–41. http://dx.doi.org/10.24153/2079-5920-2018-8-5-239-241.
Повний текст джерела