Literatura académica sobre el tema "Declarative programming"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.
Artículos de revistas sobre el tema "Declarative programming"
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 completoTesis sobre el tema "Declarative programming"
Clare, A. R. "Evaluating declarative programming". Thesis, University of East Anglia, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235233.
Texto completoMilicevic, Aleksandar Ph D. Massachusetts Institute of Technology. "Advancing declarative programming". Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/99835.
Texto completoCataloged from PDF version of thesis.
Includes bibliographical references (pages 141-153).
This thesis attempts to unite and consolidate two large and often culturally disjoint programming paradigms: declarative (focusing on specifying what a program is supposed to do, e.g., shuffle an array so that its elements are ordered) and imperative (detailing how the program intention is to be implemented, e.g., by applying the QuickSort algorithm). The ultimate result of such an effort would be a unified programming environment in which both paradigms are seamlessly integrated, specifications are fully and efficiently executable, and programs are written by freely mixing imperative statements and declarative specifications. With the advent of automated constraint solving, executing declarative specifications as standalone programs has become feasible. A number of challenges still remain. To achieve full automation, constraint solvers often impose restrictions on specification languages and their expressiveness; compromises are also made when integrating a (typically logic-based) specification language with a traditional procedural programming language; and finally, applicability is usually limited to specialized algorithmic domains (for which constraint solving is particularly suitable) and programmers comfortable with writing formal logic. This thesis proposes several advances to address these issues. First, a novel constraint solving framework is presented, Alloy*, the first of its kind capable of automatically and reliably solving arbitrary higher-order formulas (written in standard predicate logic) over bounded domains. Second, a new approach to integrating a specification and an implementation language is proposed, where Alloy, a relational logic-based modeling and specification language, is deeply embedded in Ruby. The resulting platform, called [alpha]Rby, uses Alloy* as its back end, and serves both as an Alloy modeling environment with added Ruby scripting layer around it, and as a Ruby programming environment with added executable specifications. Third, the general idea of declarative programming (focusing on what instead of how) is applied to web programming, producing SUNNY, a model-based reactive web framework with a clear separation between data, events (business logic), and security policies. SUNNY is (1) policy-agnostic-allows security policies to be specified individually and independently from the rest of the code, (2) reactive-automatically propagates data updates to all connected clients while enforcing the security policies, (3) mostly declarative-offers a unified sequential view of the entire distributed web system, allowing events to be implemented only in terms of simple modifications to the data model.
by Aleksandar Milicevic.
Ph. D.
Chronaki, Catherine Eleftherios. "Parallelism in declarative languages /". Online version of thesis, 1990. http://hdl.handle.net/1850/10793.
Texto completoTaylor, Frank Stephen. "Parallel functional programming by declarative partitioning". Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268.
Texto completoBowers, Antony Francis. "Effective meta-programming in declarative languages". Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263891.
Texto completoBelaid, Mohamed-Bachir. "Declarative Itemset Mining Based on Constraint Programming". Thesis, Montpellier, 2020. http://www.theses.fr/2020MONTS004.
Texto completoData mining is the art of discovering knowledge from databases. The user specifies the type of patterns to be mined, and the miner uses techniques to find the required patterns. Many techniques have been introduced for mining traditional patterns like frequent itemsets, association rules, etc. However, mining patterns with additional properties remains a bottleneck for specialists nowadays due to the algorithmic effort needed to handle these properties.Recently, researchers have taken advantage of the flexibility of constraint programming to model various data mining problems. In terms of CPU time, constraint programming-based methods have not yet competed with ad hoc algorithms. However, their flexibility allows the modeling of complex user queries without revising the solving process.In this thesis we propose to use constraint programming for modeling and solving some well known data mining problems.Our first contribution is a constraint programming model for mining association rules. To implement our model, we introduce a new global constraint, CONFIDENT, for ensuring the confidence of rules.We prove that completely propagating CONFIDENT is NP-hard. We thus provide a non-complete propagator and a decomposition for CONFIDENT. We also capture the minimal non-redundant rules, a condensed representation of association rules, by introducing the global constraint GENERATOR. GENERATOR is used for mining itemsets that are generators. For this constraint, we propose a complete polynomial propagator.Our second contribution is a generic framework based on constraint programming to mine both borders of frequent itemsets, i.e. the positive border or maximal frequent itemsets and the negative border or minimal infrequent itemsets. One can easily decide which border to mine by setting a simple parameter. For this, we introduce two new global constraints, FREQUENTSUBS and INFREQUENTSUPERS, with complete polynomial propagators. We then consider the problem of mining borders with additional constraints. We prove that this problem is coNP-hard, ruling out the hope for the existence of a single CSP solving this problem (unless coNP is in NP)
Seres, Silvija. "The algebra of logic programming". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.
Texto completoHanus, Michael y Sven Koschnicke. "An ER-based framework for declarative web programming". Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4144/.
Texto completoMachado, Rui Mário da Silva. "Massivel y parallel declarative computational models". Doctoral thesis, Universidade de Évora, 2013. http://hdl.handle.net/10174/12063.
Texto completoFink, Michael [Verfasser]. "Declarative Logic-Programming Components for Information Agents / Michael Fink". Hamburg : Diplom.de, 2002. http://d-nb.info/1184904553/34.
Texto completoLibros sobre el tema "Declarative programming"
Palamidessi, Catuscia, Hugh Glaser y Karl Meinke, eds. Principles of Declarative Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056603.
Texto completoDarlington, John y Roland Dietrich, eds. Declarative Programming, Sasbachwalden 1991. London: Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8.
Texto completoSeipel, Dietmar, Michael Hanus y Salvador Abreu, eds. Declarative Programming and Knowledge Management. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00801-7.
Texto completoHanus, Michael y Ricardo Rocha, eds. Declarative Programming and Knowledge Management. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08909-6.
Texto completoUmeda, Masanobu, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel y Osamu Takata, eds. Declarative Programming for Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11963578.
Texto completoHofstedt, Petra, Salvador Abreu, Ulrich John, Herbert Kuchen y Dietmar Seipel, eds. Declarative Programming and Knowledge Management. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-46714-2.
Texto completoNadathur, Gopalan, ed. Principles and Practice of Declarative Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/10704567.
Texto completoArtemʹeva, I. L. Rasshirennai͡a modelʹ deklarativnykh produkt͡siĭ. Vladivostok: IAPU DVO AN SSSR, 1991.
Buscar texto completoSeipel, Dietmar, Michael Hanus y Armin Wolf, eds. Applications of Declarative Programming and Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00675-3.
Texto completoAbreu, Salvador y Dietmar Seipel, eds. Applications of Declarative Programming and Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20589-7.
Texto completoCapítulos de libros sobre el tema "Declarative programming"
Sheu, Phillip C. Y. "Declarative Programming". En Software Engineering and Environment, 181–206. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-5907-8_7.
Texto completoMolyneux, Phil. "Declarative Programming". En Managing with Information Technology, 5–17. London: Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3299-8_1.
Texto completoWeik, Martin H. "declarative programming language". En Computer Science and Communications Dictionary, 371. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_4527.
Texto completoThielscher, Michael. "Declarative Action Programs". En ACTION PROGRAMMING LANGUAGES, 51–68. Cham: Springer International Publishing, 2008. http://dx.doi.org/10.1007/978-3-031-01547-2_5.
Texto completoPope, Bernard. "Declarative Debugging with Buddha". En Advanced Functional Programming, 273–308. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546382_7.
Texto completovan Delft, Andre y Anatoliy Kmetyuk. "Declarative Programming with Algebra". En Functional and Logic Programming, 232–51. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29604-3_15.
Texto completoTsadok, Avi. "Concurrency and Declarative Programming". En Unleash Core Data, 173–97. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8211-3_8.
Texto completoMagalhães, José Pedro y Andres Löh. "Generic Generic Programming". En Practical Aspects of Declarative Languages, 216–31. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04132-2_15.
Texto completoDarlington, John, Yike Guo y Helen Pull. "Introducing Constraint Functional Logic Programming". En Declarative Programming, Sasbachwalden 1991, 20–34. London: Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8_2.
Texto completoCui, Baoqiu, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka y David S. Warren. "Logic programming and model checking". En Principles of Declarative Programming, 1–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056604.
Texto completoActas de conferencias sobre el tema "Declarative programming"
Mancilla, Blanca y John Plaice. "Declarative Multithreaded Programming". En 2009 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, 2009. http://dx.doi.org/10.1109/compsac.2009.140.
Texto completoNilsson, Henrik y Ivan Perez. "Declarative Game Programming". En the 16th International Symposium. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2643135.2643160.
Texto completoGuedes, Álan L. V. y Sergio Colcher. "Declarative programming of TV applications using NCL". En Declarative Amsterdam. Amsterdam: John Benjamins, 2020. http://dx.doi.org/10.1075/da.2020.guedes.tv-application.
Texto completoReynders, Bob y Kwanghoon Choi. "Rec.HTML: Declarative HTML". En Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3464432.3464779.
Texto completoLeuschel, Michael. "Declarative programming for verification". En the 10th international ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1389449.1389450.
Texto completoElliott, Conal. "Declarative event-oriented programming". En the 2nd ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/351268.351276.
Texto completoAref, Molham. "Declarative programming for the cloud". En the 2013 companion publication for conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2508075.2508190.
Texto completoSuo, Kun, Wenwu Qu y Ainhoa Bengoetxea Iriondo. "Declarative programming of network protocols". En 2010 12th IEEE International Conference on Communication Technology (ICCT). IEEE, 2010. http://dx.doi.org/10.1109/icct.2010.5689211.
Texto completo"ARCHITECTURAL DESIGN VIA DECLARATIVE PROGRAMMING". En 9th International Conference on Enterprise Information Systems. SciTePress - Science and and Technology Publications, 2007. http://dx.doi.org/10.5220/0002346503630369.
Texto completoAdelsberger, Stephan, Anton Setzer y Eric Walkingshaw. "Declarative GUIs". En PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3236950.3236962.
Texto completo