Search Results - Declarative programming. Programming languages (Electronic 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

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

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

Programming Languages: Concepts and Implementation

Authors: Saverio Perugini

Resource Type: eBook.

Subjects: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Security / Network Security

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

Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings

Authors: Jeremy Gibbons Dale Miller

Resource Type: eBook.

Subjects: Software engineering, Artificial intelligence, Programming languages (Electronic computers), Computer programming, Computer science, Computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Hardware / General

Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

Authors: Martin Gebser Ilya Sergey

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Application software, Expert systems (Computer science), Computer science, Computer engineering, Computer networks

Categories: COMPUTERS / Languages / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Hardware / General

Functional and Logic Programming

Authors: Michael Hanus Atsushi Igarashi

Resource Type: eBook.

Subjects: Software engineering, Artificial intelligence, Programming languages (Electronic computers), Computer programming, Computer science, Computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Hardware / General

Programming Language Theory and Formal Methods

Authors: Gacovski, Zoran

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)

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

Mathematical Aspects of Logic Programming Semantics

Authors: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Subjects: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

Foundations of Fuzzy Logic and Semantic Web Languages

Authors: Umberto Straccia

Resource Type: eBook.

Subjects: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 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: Alessandra Russo Andy Schürr

Resource Type: eBook.

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

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Authors: Luís Caires

Resource Type: eBook.

Subjects: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

The Structure of Programming Languages.

Authors: Raphael, Bertram¹

Source: Communications of the ACM. Mar1966, Vol. 9 Issue 3, p155-156. 2p.

Subject Terms: *PROGRAMMING languages, *ELECTRONIC file management, *COMPUTER programming, *DATA structures, DECLARATIVE programming, SORTING (Electronic computers)

Alma-O: An Imperative Language that Supports Declarative Programming.

Authors: Apt, Krzysztof R. Brunekreef, Jacob

Source: ACM Transactions on Programming Languages & Systems. Sep98, Vol. 20 Issue 5, p1014. 53p. 2 Diagrams, 1 Chart.

Subject Terms: *ELECTRONIC data processing, *PROGRAMMING languages, *COMPUTER software