Výsledky vyhľadávania - declarative programming. programming languages (electronic 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

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Stephanie Weirich

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Thomas Wies

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Ilya Sergey

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Nobuko Yoshida

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Peter Müller

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Veracity: declarative multicore programming with commutativity

Autori: Chen, Adam Fathololumi, Parisa Koskinen, Eric a ďalší

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

Predmety: 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)

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

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

Autori: Amal Ahmed

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Declarative Programming with Intensional Sets in Java Using JSetL

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

Zdroj: The Computer Journal. 66:763-784

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

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

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

Autori: Dylus, Sandra

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

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

Declarative Learning-Based Programming as an Interface to AI Systems

Autori: Parisa Kordjamshidi Dan Roth Kristian Kersting

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

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

Popis súboru: electronic resource

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

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

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

Autori: Jianping Kelvin Li Kwan-Liu Ma

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

Predmety: 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)

Prí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

Programming Languages: Concepts and Implementation

Autori: Saverio Perugini

Typ zdroja: eBook.

Predmet: Computer programming, Programming languages (Electronic computers)

Kategórie: COMPUTERS / Security / Network Security

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

Autori: Samer A. Abdallah

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

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

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

Declarative Programming for Microcontrollers - Datalog on Arduino

Autori: Stefan Brass Mario Wenzel

Zdroj: Lecture Notes in Computer Science ISBN: 9783030467135

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

Prí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

Autori: Włodzimierz Drabent

Zdroj: Lecture Notes in Computer Science ISBN: 9783030452599

Predmety: 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)

Prí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

DIVA: A Declarative and Reactive Language for in situ Visualization

Autori: Qi Wu Jacqueline H. Chen Oleg Igouchkine a ďalší

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

Predmety: 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)

Prí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

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

Autori: 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)

Predmety: 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)

Prí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

User Guided Abductive Proof Generation for Answer Set Programming Queries

Autori: 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

Predmety: 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 súboru: application/pdf

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Autori: Pierre Talbot

Zdroj: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming. :1-16

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

Prístupová URL adresa: http://arxiv.org/abs/1907.10922
https://dl.acm.org/doi/10.1145/3354166.3354183
https://doi.org/10.1145/3354166.3354183
https://arxiv.org/abs/1907.10922
http://arxiv.org/pdf/1907.10922.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1907.html#abs-1907-10922