Artículos de revistas sobre el tema "Declarative programming"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Declarative programming".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Crossley, John N. "Declarative programming". Electronic Notes in Theoretical Computer Science 61 (enero de 2002): 20. http://dx.doi.org/10.1016/s1571-0661(04)00302-0.
Texto completoBáRány, Vince, Balder Ten Cate, Benny Kimelfeld, Dan Olteanu y Zografoula Vagena. "Declarative Probabilistic Programming with Datalog". ACM Transactions on Database Systems 42, n.º 4 (13 de noviembre de 2017): 1–35. http://dx.doi.org/10.1145/3132700.
Texto completoHanus, Michael. "Reduction Strategies for Declarative Programming". Electronic Notes in Theoretical Computer Science 57 (diciembre de 2001): 184–91. http://dx.doi.org/10.1016/s1571-0661(04)00273-7.
Texto completoKomorowski, Henryk Jan. "A declarative logic programming environment". Journal of Systems and Software 8, n.º 2 (marzo de 1988): 77–89. http://dx.doi.org/10.1016/0164-1212(88)90002-7.
Texto completoLloyd, J. W. y K. S. Ng. "Declarative programming for agent applications". Autonomous Agents and Multi-Agent Systems 23, n.º 2 (8 de junio de 2010): 224–72. http://dx.doi.org/10.1007/s10458-010-9138-1.
Texto completoSchor, Marshall I. "Declarative Knowledge Programming: Better Than Procedural?" IEEE Expert 1, n.º 1 (abril de 1986): 36–43. http://dx.doi.org/10.1109/mex.1986.5006497.
Texto completoLouridas, Panagiotis. "Declarative GUI Programming in Microsoft Windows". IEEE Software 24, n.º 4 (julio de 2007): 16–19. http://dx.doi.org/10.1109/ms.2007.105.
Texto completoLloyd, John W. "Declarative programming for artificial intelligence applications". ACM SIGPLAN Notices 42, n.º 9 (octubre de 2007): 123–24. http://dx.doi.org/10.1145/1291220.1291152.
Texto completoFinkelstein, Stacy E., Peter Freyd y James Lipton. "A new framework for declarative programming". Theoretical Computer Science 300, n.º 1-3 (mayo de 2003): 91–160. http://dx.doi.org/10.1016/s0304-3975(01)00308-5.
Texto completoEchahed, Rachid y Wendelin Serwe. "Defining Actions in Concurrent Declarative Programming". Electronic Notes in Theoretical Computer Science 64 (septiembre de 2002): 176–94. http://dx.doi.org/10.1016/s1571-0661(04)80350-5.
Texto completoHOFSTEDT, PETRA y PETER PEPPER. "Integration of declarative and constraint programming". Theory and Practice of Logic Programming 7, n.º 1-2 (enero de 2007): 93–121. http://dx.doi.org/10.1017/s1471068406002833.
Texto completoChen, Adam, Parisa Fathololumi, Eric Koskinen y Jared Pincus. "Veracity: declarative multicore programming with commutativity". Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 de octubre de 2022): 1726–56. http://dx.doi.org/10.1145/3563349.
Texto completoHewett, Rattikorn, Phongphun Kijsanayothin, Stephanie Bak y Marry Galbrei. "Cybersecurity policy verification with declarative programming". Applied Intelligence 45, n.º 1 (26 de enero de 2016): 83–95. http://dx.doi.org/10.1007/s10489-015-0749-8.
Texto completoGuns, Tias. "Declarative pattern mining using constraint programming". Constraints 20, n.º 4 (14 de septiembre de 2015): 492–93. http://dx.doi.org/10.1007/s10601-015-9220-z.
Texto completoKosky, Anthony. "Declarative Languages for Advanced Information Technologies". Journal of Information Technology 3, n.º 2 (junio de 1988): 110–18. http://dx.doi.org/10.1177/026839628800300208.
Texto completoKruglov, Leonid y Yury Brodsky. "MODEL-ORIENTED PROGRAMMING". Proceedings of CBU in Natural Sciences and ICT 2 (24 de octubre de 2021): 63–67. http://dx.doi.org/10.12955/pns.v2.154.
Texto completoGebser, Martin, Tomi Janhunen y Jussi Rintanen. "Declarative encodings of acyclicity properties". Journal of Logic and Computation 30, n.º 4 (8 de septiembre de 2015): 923–52. http://dx.doi.org/10.1093/logcom/exv063.
Texto completoGolemanova, Emilia y Tzanko Golemanov. "Genetic Algorithms in a Visual Declarative Programming". WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS 19 (21 de junio de 2022): 138–52. http://dx.doi.org/10.37394/23209.2022.19.14.
Texto completoSTAVYTSKYI, Pavlo y Viktoriia VOITKO. "METHOD OF THE DECLARATIVE METAPROGRAMMING BASED ON DOMAIN-SPECIFIC PROGRAMMING LANGUAGES". Herald of Khmelnytskyi National University. Technical sciences 311, n.º 4 (agosto de 2022): 249–55. http://dx.doi.org/10.31891/2307-5732-2022-311-4-249-255.
Texto completoWatson, I., V. Woods, P. Watson, R. Banach, M. Greenberg y J. Sargeant. "Flagship: a parallel architecture for declarative programming". ACM SIGARCH Computer Architecture News 16, n.º 2 (17 de mayo de 1988): 124–30. http://dx.doi.org/10.1145/633625.52415.
Texto completoMens, Tom, Roel Wuyts, Kris De Volder y Kim Mens. "Declarative Meta Programming to Support Software Development". ACM SIGSOFT Software Engineering Notes 28, n.º 2 (marzo de 2003): 1. http://dx.doi.org/10.1145/638750.638770.
Texto completoMyers, Brad A., Dario A. Giuse y Brad Vander Zanden. "Declarative programming in a prototype-instance system". ACM SIGPLAN Notices 27, n.º 10 (31 de octubre de 1992): 184–200. http://dx.doi.org/10.1145/141937.141953.
Texto completoSivaramakrishnan, KC, Gowtham Kaki y Suresh Jagannathan. "Declarative programming over eventually consistent data stores". ACM SIGPLAN Notices 50, n.º 6 (7 de agosto de 2015): 413–24. http://dx.doi.org/10.1145/2813885.2737981.
Texto completoRossi, Gianfranco. "Set-based Nondeterministic Declarative Programming in Singleton". Electronic Notes in Theoretical Computer Science 76 (noviembre de 2002): 216–32. http://dx.doi.org/10.1016/s1571-0661(04)80795-3.
Texto completoBakay, Á., L. Madarász, A. Hinsenkamp, Z. Papp y T. P. Dobrowiecki. "Declarative Programming Tools for Fermentor Control System". IFAC Proceedings Volumes 23, n.º 8 (agosto de 1990): 293–97. http://dx.doi.org/10.1016/s1474-6670(17)51839-x.
Texto completoDAGNINO, FRANCESCO, DAVIDE ANCONA y ELENA ZUCCA. "Flexible coinductive logic programming". Theory and Practice of Logic Programming 20, n.º 6 (22 de septiembre de 2020): 818–33. http://dx.doi.org/10.1017/s147106842000023x.
Texto completoRizzo, Nicola y Agostino Dovier. "3coSoKu and its declarative modeling". Journal of Logic and Computation 32, n.º 2 (18 de enero de 2022): 307–30. http://dx.doi.org/10.1093/logcom/exab086.
Texto completoCOSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE". International Journal of Foundations of Computer Science 01, n.º 03 (septiembre de 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.
Texto completoWIKAREK, Jarosław, Paweł SITEK y Mieczysław JAGODZIŃSKI. "A DECLARATIVE APPROACH TO SHOP ORDERS OPTIMIZATION". Applied Computer Science 15, n.º 4 (30 de diciembre de 2019): 5–15. http://dx.doi.org/10.35784/acs-2019-25.
Texto completoCalimeri, Francesco, Giovambattista Ianni, Thomas Krennwallner y Francesco Ricca. "The Answer Set Programming Competition". AI Magazine 33, n.º 4 (21 de diciembre de 2012): 114. http://dx.doi.org/10.1609/aimag.v33i4.2448.
Texto completoKeane, John A. "An overview of the Flagship system". Journal of Functional Programming 4, n.º 1 (enero de 1994): 19–45. http://dx.doi.org/10.1017/s0956796800000927.
Texto completoHANUS, MICHAEL y SVEN KOSCHNICKE. "An ER-based framework for declarative web programming". Theory and Practice of Logic Programming 14, n.º 3 (30 de octubre de 2012): 269–91. http://dx.doi.org/10.1017/s1471068412000385.
Texto completoNorilo, Vesa. "Kronos: A Declarative Metaprogramming Language for Digital Signal Processing". Computer Music Journal 39, n.º 4 (diciembre de 2015): 30–48. http://dx.doi.org/10.1162/comj_a_00330.
Texto completoAppeltauer, Malte, Robert Hirschfeld y Jens Lincke. "Declarative Layer Composition with The JCop Programming Language." Journal of Object Technology 12, n.º 2 (2013): 4:1. http://dx.doi.org/10.5381/jot.2013.12.2.a4.
Texto completoBujosa, Andrés y Regino Criado. "SYNTACTIC ELEMENTS OF DECLARATIVE PROGRAMMING: SYMBOLIC LINEAR EQUATIONS". Fundamenta Informaticae 25, n.º 1 (1996): 39–48. http://dx.doi.org/10.3233/fi-1996-25104.
Texto completoGreenberg, Mark y Viv Woods. "Flagship—a parallel reduction machine for declarative programming". Computing & Control Engineering Journal 1, n.º 2 (1990): 81. http://dx.doi.org/10.1049/cce:19900022.
Texto completoYan, Song Yuan. "Foundations of declarative testing in arbitrary logic programming". International Journal of Computer Mathematics 34, n.º 3-4 (enero de 1990): 145–60. http://dx.doi.org/10.1080/00207169008803872.
Texto completoNegreanu, Lorina. "Declarative Programming with Temporal Constraints, in the LanguageCG". Scientific World Journal 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/540854.
Texto completoYuan Yan, Song. "Foundations of declarative debugging in arbitrary logic programming". International Journal of Man-Machine Studies 32, n.º 2 (febrero de 1990): 215–32. http://dx.doi.org/10.1016/s0020-7373(05)80047-1.
Texto completoFinkelstein, Stacy E., Peter Freyd y James Lipton. "Erratum to: “A new framework for declarative programming”". Theoretical Computer Science 311, n.º 1-3 (enero de 2004): 527. http://dx.doi.org/10.1016/j.tcs.2003.09.011.
Texto completoAmato, Gianluca, James Lipton y Robert McGrail. "On the algebraic structure of declarative programming languages". Theoretical Computer Science 410, n.º 46 (noviembre de 2009): 4626–71. http://dx.doi.org/10.1016/j.tcs.2009.07.038.
Texto completoSavnik, Iztok, Tomaž Mohorič y Vanja Josifovski. "Extending database programming language with declarative querying facilities". Microprocessing and Microprogramming 40, n.º 10-12 (diciembre de 1994): 905–8. http://dx.doi.org/10.1016/0165-6074(94)90066-3.
Texto completoLifschitz, Vladimir. "Answer Sets and the Language of Answer Set Programming". AI Magazine 37, n.º 3 (7 de octubre de 2016): 7–12. http://dx.doi.org/10.1609/aimag.v37i3.2670.
Texto completoBrewka, Gerhard, Thomas Eiter y Miroslaw Truszczynski. "Answer Set Programming: An Introduction to the Special Issue". AI Magazine 37, n.º 3 (7 de octubre de 2016): 5–6. http://dx.doi.org/10.1609/aimag.v37i3.2669.
Texto completoLOPES, NUNO P., JUAN A. NAVARRO, ANDREY RYBALCHENKO y ATUL SINGH. "Applying Prolog to develop distributed systems". Theory and Practice of Logic Programming 10, n.º 4-6 (julio de 2010): 691–707. http://dx.doi.org/10.1017/s1471068410000360.
Texto completoCALIMERI, FRANCESCO, GIOVAMBATTISTA IANNI y FRANCESCO RICCA. "The third open answer set programming competition". Theory and Practice of Logic Programming 14, n.º 1 (6 de septiembre de 2012): 117–35. http://dx.doi.org/10.1017/s1471068412000105.
Texto completoVan Hentenryck, Pascal. "Constraint logic programming". Knowledge Engineering Review 6, n.º 3 (septiembre de 1991): 151–94. http://dx.doi.org/10.1017/s0269888900005798.
Texto completoMadkour, Abdelrahman, Chris Martens, Steven Holtzen, Casper Harteveld y Stacy Marsella. "Probabilistic Logic Programming Semantics For Procedural Content Generation". Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 19, n.º 1 (6 de octubre de 2023): 295–305. http://dx.doi.org/10.1609/aiide.v19i1.27525.
Texto completoSinyugin, N. P. "Visual declarative-algorithmic language «InteloGraf» in rocket space technology". Informacionno-technologicheskij vestnik 14, n.º 4 (30 de diciembre de 2017): 156–64. http://dx.doi.org/10.21499/2409-1650-2017-4-156-164.
Texto completoParamonov, A. V. "ADVANCED TOOLS OF DECLARATIVE PLC PROGRAMMING USING VISUAL MODELS". Scientific and Technical Volga region Bulletin 8, n.º 5 (mayo de 2018): 239–41. http://dx.doi.org/10.24153/2079-5920-2018-8-5-239-241.
Texto completo