Search Results - declarative programming. programming languages ((electronic OR elektronicky) computer)

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Stephanie Weirich

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Authors: Thomas Wies

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Authors: Ilya Sergey

Resource Type: eBook.

Subjects: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Authors: Nobuko Yoshida

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Authors: Peter Müller

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: Amal Ahmed

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Veracity: declarative multicore programming with commutativity

Authors: Chen, Adam Fathololumi, Parisa Koskinen, Eric et al.

Source: Proceedings of the ACM on Programming Languages. 6:1726-1756

Subject Terms: FOS: Computer and information sciences, serializability, Computer Science - Programming Languages, commutativity conditions, pre-condition synthesis, parallelization, 0202 electrical engineering, electronic engineering, information engineering, commutativity analysis, 02 engineering and technology, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2203.06229

Declarative Programming with Intensional Sets in Java Using JSetL

Authors: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

Source: The Computer Journal. 66:763-784

Subject Terms: Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://arxiv.org/pdf/2002.11562
http://arxiv.org/abs/2002.11562

Programming Languages: Concepts and Implementation

Authors: Saverio Perugini

Resource Type: eBook.

Subjects: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Security / Network Security

Declarative Learning-Based Programming as an Interface to AI Systems

Authors: Parisa Kordjamshidi Dan Roth Kristian Kersting

Source: Frontiers in Artificial Intelligence, Vol 5 (2022)

Subject Terms: machine learning, artificial intelligence, integration paradigms, programming languages for machine learning, declarative programming, probabilistic programming, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/frai.2022.755361/full; https://doaj.org/toc/2624-8212

Access URL: https://doaj.org/article/c7a9d6ac873d4cfb86c306c66decfcc1

P6: A Declarative Language for Integrating Machine Learning in Visual Analytics

Authors: Jianping Kelvin Li Kwan-Liu Ma

Source: IEEE Transactions on Visualization and Computer Graphics. 27:380-389

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages, Computer Science - Human-Computer Interaction, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Human-Computer Interaction (cs.HC), Machine Learning (cs.LG), Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/2009.01399
https://pubmed.ncbi.nlm.nih.gov/33125330
http://arxiv.org/abs/2009.01399
https://dblp.uni-trier.de/db/journals/tvcg/tvcg27.html#LiM21
http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-01399
https://ucdavis.pure.elsevier.com/en/publications/p6-a-declarative-language-for-integrating-machine-learning-in-vis
https://www.ncbi.nlm.nih.gov/pubmed/33125330
https://arxiv.org/abs/2009.01399
https://ieeexplore.ieee.org/document/9246282

Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning

Authors: Dylus, Sandra

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2006.01531

PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control

Authors: Samer A. Abdallah

Source: International Journal of Approximate Reasoning. 103:364-382

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://www.sciencedirect.com/science/article/pii/S0888613X1830272X
https://dblp.uni-trier.de/db/journals/ijar/ijar103.html#Abdallah18

DIVA: A Declarative and Reactive Language for in situ Visualization

Authors: Qi Wu Jacqueline H. Chen Oleg Igouchkine et al.

Source: 2020 IEEE 10th Symposium on Large Data Analysis and Visualization (LDAV). :1-11

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Human-Computer Interaction, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences, Programming Languages (cs.PL), Human-Computer Interaction (cs.HC)

Access URL: http://arxiv.org/pdf/2001.11604
http://arxiv.org/abs/2001.11604
http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-11604
https://arxiv.org/pdf/2001.11604
https://ucdavis.pure.elsevier.com/en/publications/diva-a-declarative-and-reactive-language-for-in-situ-visualizatio
https://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-11604
https://www.computer.org/csdl/proceedings-article/ldav/2020/846800a001/1pZ0TBE8Yjm
https://arxiv.org/abs/2001.11604

Declarative Programming for Microcontrollers - Datalog on Arduino

Authors: Stefan Brass Mario Wenzel

Source: Lecture Notes in Computer Science ISBN: 9783030467135

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/1909.00043
http://arxiv.org/abs/1909.00043
http://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-00043
https://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-00043
https://arxiv.org/pdf/1909.00043
http://ui.adsabs.harvard.edu/abs/2019arXiv190900043W/abstract
https://link.springer.com/chapter/10.1007/978-3-030-46714-2_9
https://rd.springer.com/chapter/10.1007/978-3-030-46714-2_9

The Prolog Debugger and Declarative Programming

Authors: Włodzimierz Drabent

Source: Lecture Notes in Computer Science ISBN: 9783030452599

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, D.2.5, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, 68N17 (Primary) 68N30 (Secondary), 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/1906.04765
http://arxiv.org/abs/1906.04765
https://link.springer.com/chapter/10.1007%2F978-3-030-45260-5_12
https://arxiv.org/pdf/1906.04765
http://arxiv-export-lb.library.cornell.edu/abs/1906.04765
https://rd.springer.com/chapter/10.1007/978-3-030-45260-5_12
https://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-04765

From constraint programming to heterogeneous parallelism

Authors: Ginsbach, Philip Andreas O'Boyle, Michael Franke, Bjoern et al.

Contributors: Ginsbach, Philip Andreas O'Boyle, Michael Franke, Bjoern et al.

Subject Terms: 004, heterogeneous computing, domain-specific languages, automatical targeting, C/C++, computational idioms, automatic detection, CAnDL, IDL, automatic recognition

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.806109

User Guided Abductive Proof Generation for Answer Set Programming Queries

Authors: MAHAJAN, Avishkar STRECKER, Martin WONG, Meng Weng (HUANG Mingrong)

Source: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-14

Subject Terms: Programming Languages and Compilers, Applied computing, 0202 electrical engineering, electronic engineering, information engineering, Constraint and logic programming, Automated reasoning, 0102 computer and information sciences, 02 engineering and technology, Science and Technology Law, 16. Peace & justice, Law, 01 natural sciences, Theory of computation

File Description: application/pdf

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

Authors: Jurriën Stutterheim S. Doaitse Swierstra Wouter Swierstra

Source: Electronic Proceedings in Theoretical Computer Science, Vol 106, Iss Proc. TFPIE 2012, Pp 50-62 (2013)

Subject Terms: FOS: Computer and information sciences, 0301 basic medicine, Computer Science - Programming Languages, D.1.1, D.1.6, D.2.6, 4. Education, K.3.2, QA75.5-76.95, 02 engineering and technology, Computer Science - Computers and Society, 03 medical and health sciences, Electronic computers. Computer science, Computers and Society (cs.CY), QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/1301.5077
http://arxiv.org/abs/1301.5077
https://doaj.org/article/5d5d1c1d480242eeafd831ad5e38f2ab
http://10.10.70.176:8080/experts/en/publications/07b04f2e-228b-476b-bd95-b6d31ddedf66
https://arxiv.org/abs/1301.5077v1
https://ui.adsabs.harvard.edu/abs/2013arXiv1301.5077S/abstract
https://arxiv.org/pdf/1301.5077v1