Declarative programming (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Declarative programming" in English language version.

refsWebsite

Global rank English rank

12web.archive.org

1^st place

2worldcat.org

5^th place

2unsw.edu.au

4,584^th place

3,029^th place

2ic.ac.uk

low place

9,602^nd place

2doi.org

2^nd place

1foldoc.org

low place

1ionos.com

low place

1labri.fr

low place

1simulistics.com

low place

1cam.ac.uk

670^th place

480^th place

1free.fr

321^st place

724^th place

1ucdavis.edu

1,873^rd place

1,347^th place

1arxiv.org

69^th place

59^th place

1archive.org

6^th place

1books.google.com

3^rd place

1ttu.edu

6,762^nd place

4,421^st place

archive.org

Baral, Chitta (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press. ISBN 978-0-521-81802-5.

arxiv.org

Mei, Hongyuan; Qin, Guanghui; Xu, Minjie; Eisner, Jason (2020). "Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification". Proceedings of ICML 2020. arXiv:2006.16723.

books.google.com

Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine

cam.ac.uk

cl.cam.ac.uk

Gordon, Michael J. C. (1996). "From LCF to HOL: a short history". Archived from the original on 2016-09-05. Retrieved 2021-10-30.

doi.org

Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.
Warren, D.S. (2023). "Introduction to Prolog". In Warren, D.S.; Dahl, V.; Eiter, T.; Hermenegildo, M.V.; Kowalski, R.; Rossi, F. (eds.). Prolog: The Next 50 Years. Lecture Notes in Computer Science(). Vol. 13900. Springer, Cham. pp. 3–19. doi:10.1007/978-3-031-35254-6_1. ISBN 978-3-031-35253-9.

foldoc.org

"declarative language". FOLDOC. 17 May 2004. Archived from the original on 7 September 2023. Retrieved 7 September 2023.

free.fr

alain.colmerauer.free.fr

"Birth of Prolog" (PDF). November 1992. Archived (PDF) from the original on 2015-04-02. Retrieved 2022-05-25.

ic.ac.uk

doc.ic.ac.uk

Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.
Robert Kowalski Predicate Logic as a Programming Language Archived 2016-02-07 at the Wayback Machine Memo 70, Department of Artificial Intelligence, University of Edinburgh. 1973. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569-574.

ionos.com

"Imperative programming: Overview of the oldest programming paradigm". IONOS Digital Guide. 2021-05-21. Archived from the original on 2022-05-03. Retrieved 2023-05-23.

labri.fr

phoenix.labri.fr

"An overview on dsls". Archived from the original on October 23, 2007.

simulistics.com

"Declarative modelling". Simulistics. Archived from the original on 11 August 2003. Retrieved 15 August 2013.

ttu.edu

depts.ttu.edu

Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine

ucdavis.edu

cs.ucdavis.edu

Huang, Shan Shan; Green, Todd J.; Loo, Boon Thau (June 12–16, 2011). Datalog and Emerging applications (PDF). SIGMOD 2011. Athens, Greece: Association for Computing Machinery. ISBN 978-1-4503-0661-4. Archived (PDF) from the original on 2020-10-22. Retrieved 2023-08-13.

unsw.edu.au

cse.unsw.edu.au

"DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 20 January 2009. Archived from the original on 13 September 2013. Retrieved 15 August 2013.
Chakravarty, Manuel M. T. (14 February 1997). On the Massively Parallel Execution of Declarative Programs (Doctoral dissertation). Technische Universität Berlin. Archived from the original on 23 September 2015. Retrieved 26 February 2015. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.

web.archive.org

"declarative language". FOLDOC. 17 May 2004. Archived from the original on 7 September 2023. Retrieved 7 September 2023.
"Imperative programming: Overview of the oldest programming paradigm". IONOS Digital Guide. 2021-05-21. Archived from the original on 2022-05-03. Retrieved 2023-05-23.
"DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 20 January 2009. Archived from the original on 13 September 2013. Retrieved 15 August 2013.
Chakravarty, Manuel M. T. (14 February 1997). On the Massively Parallel Execution of Declarative Programs (Doctoral dissertation). Technische Universität Berlin. Archived from the original on 23 September 2015. Retrieved 26 February 2015. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.
"An overview on dsls". Archived from the original on October 23, 2007.
"Declarative modelling". Simulistics. Archived from the original on 11 August 2003. Retrieved 15 August 2013.
Gordon, Michael J. C. (1996). "From LCF to HOL: a short history". Archived from the original on 2016-09-05. Retrieved 2021-10-30.
"Birth of Prolog" (PDF). November 1992. Archived (PDF) from the original on 2015-04-02. Retrieved 2022-05-25.
Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.
Robert Kowalski Predicate Logic as a Programming Language Archived 2016-02-07 at the Wayback Machine Memo 70, Department of Artificial Intelligence, University of Edinburgh. 1973. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569-574.
Huang, Shan Shan; Green, Todd J.; Loo, Boon Thau (June 12–16, 2011). Datalog and Emerging applications (PDF). SIGMOD 2011. Athens, Greece: Association for Computing Machinery. ISBN 978-1-4503-0661-4. Archived (PDF) from the original on 2020-10-22. Retrieved 2023-08-13.
Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine

worldcat.org

Sebesta, Robert (2016). Concepts of programming languages. Boston: Pearson. ISBN 978-0-13-394302-3. OCLC 896687896.
Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.