Log in

Relevant bibliographies by topics / Declarative programming

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'Declarative programming'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Declarative programming.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Declarative programming"

1

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Arjun, Singh Saud, and Shrestha Tenish. "Template based Program synthesis with Declarative Programming for RESTful APIs." Recent Trends in Cloud Computing and Web Engineering 7, no. 1 (2024): 10–20. https://doi.org/10.5281/zenodo.13883634.

Full text

Abstract:

<em>This research delves into the intersection of declarative programming and template-based program synthesis, with a specific focus on their application in the context of RESTful APIs. RESTful APIs are integral to modern web development, demanding efficient and error-free design. Declarative programming offers an innovative approach to simplify the intricacies of API development, while template-based synthesis provides a structured methodology for API design. The research commences by exploring the foundational concepts of declarative programming, emphasizing the use of high-level abstractio

APA, Harvard, Vancouver, ISO, and other styles

3

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 (2017): 1–35. http://dx.doi.org/10.1145/3132700.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Komorowski, Henryk Jan. "A declarative logic programming environment." Journal of Systems and Software 8, no. 2 (1988): 77–89. http://dx.doi.org/10.1016/0164-1212(88)90002-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lloyd, J. W., and K. S. Ng. "Declarative programming for agent applications." Autonomous Agents and Multi-Agent Systems 23, no. 2 (2010): 224–72. http://dx.doi.org/10.1007/s10458-010-9138-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Schor, Marshall I. "Declarative Knowledge Programming: Better Than Procedural?" IEEE Expert 1, no. 1 (1986): 36–43. http://dx.doi.org/10.1109/mex.1986.5006497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Louridas, Panagiotis. "Declarative GUI Programming in Microsoft Windows." IEEE Software 24, no. 4 (2007): 16–19. http://dx.doi.org/10.1109/ms.2007.105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Lloyd, John W. "Declarative programming for artificial intelligence applications." ACM SIGPLAN Notices 42, no. 9 (2007): 123–24. http://dx.doi.org/10.1145/1291220.1291152.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Finkelstein, Stacy E., Peter Freyd, and James Lipton. "A new framework for declarative programming." Theoretical Computer Science 300, no. 1-3 (2003): 91–160. http://dx.doi.org/10.1016/s0304-3975(01)00308-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Declarative programming"

1

Clare, A. R. "Evaluating declarative programming." Thesis, University of East Anglia, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235233.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Milicevic, Aleksandar Ph D. Massachusetts Institute of Technology. "Advancing declarative programming." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/99835.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 141-153).<br>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 suc

APA, Harvard, Vancouver, ISO, and other styles

3

Chronaki, Catherine Eleftherios. "Parallelism in declarative languages /." Online version of thesis, 1990. http://hdl.handle.net/1850/10793.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Taylor, Frank Stephen. "Parallel functional programming by declarative partitioning." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bowers, Antony Francis. "Effective meta-programming in declarative languages." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263891.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Belaid, Mohamed-Bachir. "Declarative Itemset Mining Based on Constraint Programming." Thesis, Montpellier, 2020. http://www.theses.fr/2020MONTS004.

Full text

Abstract:

La fouille de données est l'art de découvrir des informations à partir de bases de données.L'utilisateur spécifie le type de motifs à extraire et le spécialiste utilise des techniques pour trouver les motifs requis.De nombreuses techniques ont été introduites pour l'extraction des motifs classiques tels que les motifs fréquents, les règles d'association, etc.Cependant, l'extraction des motifs avec des propriétés supplémentaires restent un problème pour les spécialistes car des efforts algorithmiques sont requises pour gérer ces propriétés.Récemment, les chercheurs ont profité de la flexibilité

APA, Harvard, Vancouver, ISO, and other styles

7

Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Hanus, Michael, and Sven Koschnicke. "An ER-based framework for declarative web programming." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4144/.

Full text

Abstract:

We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, th

APA, Harvard, Vancouver, ISO, and other styles

9

Machado, Rui Mário da Silva. "Massivel y parallel declarative computational models." Doctoral thesis, Universidade de Évora, 2013. http://hdl.handle.net/10174/12063.

Full text

Abstract:

Current computer archictectures are parallel, with an increasing number of processors. Parallel programming is an error-prone task and declarative models such as those based on constraints relieve the programmer from some of its difficult aspects, because they abstract control away. In this work we study and develop techniques for declarative computational models based on constraints using GPI, aiming at large scale parallel execution. The main contributions of this work are: A GPI implementation of a scalable dynamic load balancing scheme based on work stealing, suitable for tree shaped compu

APA, Harvard, Vancouver, ISO, and other styles

10

Fink, Michael [Verfasser]. "Declarative Logic-Programming Components for Information Agents / Michael Fink." Hamburg : Diplom.de, 2002. http://d-nb.info/1184904553/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Declarative programming"

1

Palamidessi, Catuscia, Hugh Glaser, and Karl Meinke, eds. Principles of Declarative Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056603.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Darlington, John, and Roland Dietrich, eds. Declarative Programming, Sasbachwalden 1991. Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Seipel, Dietmar, Michael Hanus, and Salvador Abreu, eds. Declarative Programming and Knowledge Management. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00801-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hanus, Michael, and Ricardo Rocha, eds. Declarative Programming and Knowledge Management. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08909-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Umeda, Masanobu, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, and Osamu Takata, eds. Declarative Programming for Knowledge Management. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11963578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hofstedt, Petra, Salvador Abreu, Ulrich John, Herbert Kuchen, and Dietmar Seipel, eds. Declarative Programming and Knowledge Management. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-46714-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Nadathur, Gopalan, ed. Principles and Practice of Declarative Programming. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/10704567.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Artemʹeva, I. L. Rasshirennai͡a modelʹ deklarativnykh produkt͡siĭ. IAPU DVO AN SSSR, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Seipel, Dietmar, Michael Hanus, and Armin Wolf, eds. Applications of Declarative Programming and Knowledge Management. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00675-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Abreu, Salvador, and Dietmar Seipel, eds. Applications of Declarative Programming and Knowledge Management. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20589-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Declarative programming"

1

Sheu, Phillip C. Y. "Declarative Programming." In Software Engineering and Environment. Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-5907-8_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Molyneux, Phil. "Declarative Programming." In Managing with Information Technology. Springer London, 1993. http://dx.doi.org/10.1007/978-1-4471-3299-8_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Weik, Martin H. "declarative programming language." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_4527.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Thielscher, Michael. "Declarative Action Programs." In ACTION PROGRAMMING LANGUAGES. Springer International Publishing, 2008. http://dx.doi.org/10.1007/978-3-031-01547-2_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Pope, Bernard. "Declarative Debugging with Buddha." In Advanced Functional Programming. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546382_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

van Delft, Andre, and Anatoliy Kmetyuk. "Declarative Programming with Algebra." In Functional and Logic Programming. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29604-3_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Tsadok, Avi. "Concurrency and Declarative Programming." In Unleash Core Data. Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8211-3_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Magalhães, José Pedro, and Andres Löh. "Generic Generic Programming." In Practical Aspects of Declarative Languages. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04132-2_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Darlington, John, Yike Guo, and Helen Pull. "Introducing Constraint Functional Logic Programming." In Declarative Programming, Sasbachwalden 1991. Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Cui, Baoqiu, Yifei Dong, Xiaoqun Du, et al. "Logic programming and model checking." In Principles of Declarative Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056604.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Declarative programming"

1

Szymanski, Julian, Jan Dobrosolski, Higinio Mora, and Karol Draszawka. "Neural network agents trained by declarative programming tutors." In 2024 IEEE Congress on Evolutionary Computation (CEC). IEEE, 2024. http://dx.doi.org/10.1109/cec60901.2024.10611953.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Mancilla, Blanca, and John Plaice. "Declarative Multithreaded Programming." In 2009 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, 2009. http://dx.doi.org/10.1109/compsac.2009.140.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Nilsson, Henrik, and Ivan Perez. "Declarative Game Programming." In the 16th International Symposium. ACM Press, 2014. http://dx.doi.org/10.1145/2643135.2643160.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Guedes, Álan L. V., and Sergio Colcher. "Declarative programming of TV applications using NCL." In Declarative Amsterdam. John Benjamins, 2020. http://dx.doi.org/10.1075/da.2020.guedes.tv-application.

Full text

Abstract:

Abstract NCL is the declarative programming language used to develop TV applications in IPTV systems and Terrestrial TV standardized by ITU and Brazilian TV Forum, respectively. Its main characteristics are: defining temporal synchronization among media assets and viewer interactions; layout reuse facilities; support multi-device presentation; support embed HTML code and scripts in the lightweight scripting language Lua; and an API for life-cycle controls (start, pause, resume, stop) and modifying applications on-the-fly called NCL editing command. This talk briefly introduces NCL, highlights

APA, Harvard, Vancouver, ISO, and other styles

5

Reynders, Bob, and Kwanghoon Choi. "Rec.HTML: Declarative HTML." In Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming. ACM, 2021. http://dx.doi.org/10.1145/3464432.3464779.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Leuschel, Michael. "Declarative programming for verification." In the 10th international ACM SIGPLAN symposium. ACM Press, 2008. http://dx.doi.org/10.1145/1389449.1389450.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Elliott, Conal. "Declarative event-oriented programming." In the 2nd ACM SIGPLAN international conference. ACM Press, 2000. http://dx.doi.org/10.1145/351268.351276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Aref, Molham. "Declarative programming for the cloud." In the 2013 companion publication for conference. ACM Press, 2013. http://dx.doi.org/10.1145/2508075.2508190.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Suo, Kun, Wenwu Qu, and Ainhoa Bengoetxea Iriondo. "Declarative programming of network protocols." In 2010 12th IEEE International Conference on Communication Technology (ICCT). IEEE, 2010. http://dx.doi.org/10.1109/icct.2010.5689211.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

"ARCHITECTURAL DESIGN VIA DECLARATIVE PROGRAMMING." In 9th International Conference on Enterprise Information Systems. SciTePress - Science and and Technology Publications, 2007. http://dx.doi.org/10.5220/0002346503630369.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!