Suchergebnisse - Theory Keywords Functional Logic Programming Languages*

A semantics for weakly . . .

Autoren: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP13.pdf.

Schlagwörter: General Terms Algorithms, Design, Languages, Theory Keywords Functional logic programming languages, rewrite systems, nondeterminism

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.1787

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.1787
http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP13.pdf

Constructor-based Conditional Narrowing

Autoren: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

Schlagwörter: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

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 I

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

A Semantics for Tracing Declarative Multi-Paradigm Programs

Autoren: B. Brassel M. Hanus F. Huch et al.

Weitere Verfasser: B. Brassel M. Hanus F. Huch et al.

Quelle: http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP04.pdf.

Schlagwörter: Formal Definitions and Theory General Terms Languages, Theory Keywords Functional Logic Programming, Tracing, Semantics

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.3559

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.3559
http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP04.pdf

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

Autoren: Thomas Wies

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers

Conditional Narrowing without Conditions

Autoren: Bernd Brassel Michael Hanus The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Bernd Brassel Michael Hanus The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp03/paper.ps.gz.

Schlagwörter: General Terms Languages, Theory Keywords Functional Logic Programming, Narrowing, Evaluation Strategies, Conditional Rewriting

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2219; http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp03/paper.ps.gz

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2219
http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp03/paper.ps.gz

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

Autoren: Ilya Sergey

Resource Type: eBook.

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

Autoren: Nobuko Yoshida

Resource Type: eBook.

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

Autoren: Luís Caires

Resource Type: eBook.

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

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

Autoren: Peter Müller

Resource Type: eBook.

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

Database Query Languages and Functional Logic Programming.

Autoren: Almendros-Jiménez, Jesús M. Becerra-Terón, Antonio

Quelle: New Generation Computing; 2006, Vol. 24 Issue 2, p129-184, 56p

Schlagwörter: DATABASES, ELECTRONIC information resources, QUERY languages (Computer science), PROGRAMMING languages, LOGIC programming, COMPUTER programming

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

Autoren: Amal Ahmed

Resource Type: eBook.

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

Constraint functional logic programming over finite domains.

Autoren: FERNÁNDEZ, ANTONIO J. HORTALÁ-GONZÁLEZ, TERESA SÁENZ-PÉREZ, FERNANDO et al.

Quelle: Theory & Practice of Logic Programming; Sep2007, Vol. 7 Issue 5, p537-582, 46p

Schlagwörter: LOGIC programming languages, LOGIC programming, CONSTRAINT satisfaction, FUNCTIONAL programming (Computer science), FUNCTIONAL programming languages, ARTIFICIAL intelligence, COMPUTER science

A new generic scheme for functional logic programming with constraints.

Autoren: Francisco López Fraguas Mario Rodríguez Artalejo Rafael Vírseda

Quelle: Higher-Order & Symbolic Computation; Jun2007, Vol. 20 Issue 1/2, p73-122, 50p

Schlagwörter: LOGIC programming, SEMANTICS, COMPUTER programming, INFORMATION theory

Singular and plural functions for functional logic programming.

Autoren: RIESCO, ADRIÁN RODRÍGUEZ-HORTALÁ, JUAN

Quelle: Theory & Practice of Logic Programming; Jan2014, Vol. 14 Issue 1, p65-116, 52p

Schlagwörter: MATHEMATICAL singularities, MATHEMATICAL functions, FUNCTIONAL programming (Computer science), LOGIC programming, PROGRAMMING languages, PARAMETER estimation, SEMANTIC computing

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Combining Static and Dynamic Contract Checking for Curry.

Autoren: Hanus, Michael Fioravanti, Fabio Gallagher, John P. et al.

Quelle: Fundamenta Informaticae; 2020, Vol. 173 Issue 4, p285-314, 30p

Schlagwörter: BREACH of contract, CONTRACTS, LOGIC programming, LEAD time (Supply chain management), CURRIES

Default rules for Curry.

Autoren: ANTOY, SERGIO HANUS, MICHAEL

Quelle: Theory & Practice of Logic Programming; Mar2017, Vol. 17 Issue 2, p121-147, 27p

Schlagwörter: FUNCTIONAL analysis, LOGIC programming, FUNCTIONAL programming (Computer science), SEMANTICS, PROGRAM transformation

DNA logic programming: From concept to construction.

Autoren: Zhang, Yi Hu, Ning Xu, Jiajie et al.

Quelle: View (2688-268X); Feb2024, Vol. 5 Issue 1, p1-11, 11p