Výsledky vyhledávání - declarative programming. programming languages ((electronic OR elektronicky) computers)

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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: 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

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: 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

Autoři: Thomas Wies

Resource Type: eBook.

Témata: 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

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: 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

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: 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

Autoři: Peter Müller

Resource Type: eBook.

Témata: 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

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: 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

Autoři: Chen, Adam Fathololumi, Parisa Koskinen, Eric a další

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

Témata: 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)

Přístupová URL adresa: http://arxiv.org/abs/2203.06229

Declarative Programming with Intensional Sets in Java Using JSetL

Autoři: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

Zdroj: The Computer Journal. 66:763-784

Témata: Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://arxiv.org/pdf/2002.11562
http://arxiv.org/abs/2002.11562

Programming Languages: Concepts and Implementation

Autoři: Saverio Perugini

Resource Type: eBook.

Témata: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Security / Network Security

Declarative Learning-Based Programming as an Interface to AI Systems

Autoři: Parisa Kordjamshidi Dan Roth Kristian Kersting

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

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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/c7a9d6ac873d4cfb86c306c66decfcc1

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

Autoři: Jianping Kelvin Li Kwan-Liu Ma

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

Témata: 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)

Přístupová URL adresa: 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

Autoři: Dylus, Sandra

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

Přístupová URL adresa: http://arxiv.org/abs/2006.01531

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

Autoři: Samer A. Abdallah

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: 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

Autoři: Qi Wu Jacqueline H. Chen Oleg Igouchkine a další

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

Témata: 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)

Přístupová URL adresa: 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

Autoři: Stefan Brass Mario Wenzel

Zdroj: Lecture Notes in Computer Science ISBN: 9783030467135

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

Přístupová URL adresa: 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

Autoři: Włodzimierz Drabent

Zdroj: Lecture Notes in Computer Science ISBN: 9783030452599

Témata: 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)

Přístupová URL adresa: 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

Autoři: Ginsbach, Philip Andreas O'Boyle, Michael Franke, Bjoern a další

Přispěvatelé: Ginsbach, Philip Andreas O'Boyle, Michael Franke, Bjoern a další

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

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.806109

User Guided Abductive Proof Generation for Answer Set Programming Queries

Autoři: MAHAJAN, Avishkar STRECKER, Martin WONG, Meng Weng (HUANG Mingrong)

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

Témata: 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

Popis souboru: application/pdf

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

Autoři: Jurriën Stutterheim S. Doaitse Swierstra Wouter Swierstra

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

Témata: 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)

Přístupová URL adresa: 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