Výsledky vyhledávání - Compilation. Keywords Functional Logic Programming Languages*

Compiling a Functional Logic Language: The Fair Scheme?

Autoři: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Zdroj: http://web.cecs.pdx.edu/%7Eantoy/homepage/publications/lopstr13/long.pdf.

Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Con- structs and Features — Control structures, D.3.4 [Programming Languages, Proces- sors — Compilers, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems —, G.2.2 [Discrete Mathematics, Graph Theory — Graph algorithms, F.1.2 [Computation by Abstract Devices, Modes of Computation — Alternation and nondeterminism, General Terms Languages, Non-Determinism, Graph, Rewriting, Compilation. Keywords Functional Logic Programming Languages, Graph Rewriting Systems, Compiler Construction

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.1466; http://web.cecs.pdx.edu/%7Eantoy/homepage/publications/lopstr13/long.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.1466
http://web.cecs.pdx.edu/%7Eantoy/homepage/publications/lopstr13/long.pdf

Compiling a Functional Logic Language: The Fair Scheme

Autoři: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Zdroj: http://web.cecs.pdx.edu/~antoy/homepage/publications/lopstr13/long.pdf.

Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features — Control structures, D.3.4 [Programming Languages, Processors — Compilers, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems —, G.2.2 [Discrete Mathematics, Graph Theory — Graph algorithms, F.1.2 [Computation by Abstract Devices, Modes of Computation — Alternation and nondeterminism, General Terms Languages, Non-Determinism, Graph, Rewriting, Compilation. Keywords Functional Logic Programming Languages, Graph Rewriting Systems, Compiler Construction

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.5670; http://web.cecs.pdx.edu/~antoy/homepage/publications/lopstr13/long.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.5670
http://web.cecs.pdx.edu/~antoy/homepage/publications/lopstr13/long.pdf

Analysis Of Android Programming Languages Based On Several Factors.

Autoři: Bhoyate, Shweta¹ shweta.bhoyate@iccs.ac.in

Zdroj: Journal of Advanced Zoology. 2024 Supplement, Vol. 45, p73-76. 4p.

Constructed product result analysis for Haskell

Autoři: Baker-Finch, Clem Glynn, Kevin Peyton Jones, Simon

Zdroj: Journal of Functional Programming. 14:211-245

Témata: Optimization, Program compilers, Keywords: Internal library functions, Theory of compilers and interpreters, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computational complexity, Computer programming languages, Benchmarking, Logic design, Functions, 0202 electrical engineering, electronic engineering, information engineering, Scheme languages, Functional programming and lambda calculus

Popis souboru: application/xml

Přístupová URL adresa: https://dl.acm.org/doi/10.1017/S0956796803004751
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/cpr.pdf
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/constructed-product-result-analysis-for-haskell/53F8937E9686B7CB261AE727124FE1D0
https://digitalcollections.anu.edu.au/handle/1885/77413
https://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm
https://www.microsoft.com/en-us/research/publication/constructed-product-result-analysis-haskell/

Database Query Languages and Functional Logic Programming.

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

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

Témata: DATABASES, ELECTRONIC information resources, QUERY languages (Computer science), PROGRAMMING languages, LOGIC programming, COMPUTER programming

Combinatory Logic, Semantics and Cognition.

Autoři: Rouabhi, Miloud Desclés, Jean-Pierre

Zdroj: Journal of Cognitive Science; Jun2025, Vol. 26 Issue 2, p111-158, 48p

Default rules for Curry.

Autoři: ANTOY, SERGIO HANUS, MICHAEL

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

Témata: FUNCTIONAL analysis, LOGIC programming, FUNCTIONAL programming (Computer science), SEMANTICS, PROGRAM transformation

Are Needed Redexes Really Needed?

Autoři: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Zdroj: http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp13/paper.pdf.

Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features—Control structures, D.3.4 [Programming Languages, Processors—Compilers, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems, G.2.2 [Discrete Mathematics, Graph Theory—Graph algorithms General Terms Languages, Graph, Rewriting, Compilation. Keywords Functional Logic Programming Languages, Graph Rewriting Systems, Call-by-Need, Compiler Construction

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7963; http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp13/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7963
http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp13/paper.pdf

Implementing Functional Logic Languages Using Multiple Threads and Stores

Autoři: Andrew Tolmach Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Tolmach Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~antoy/homepage/publications/icfp04/paper.ps.gz.

Témata: General Terms, Languages, Design Keywords, Functional logic languages, narrowing, residuation, multi-versioned stores

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.3986
http://www.cs.pdx.edu/~antoy/homepage/publications/icfp04/paper.ps.gz

Compiler-assisted code generation for quantum computing: leveraging the unique properties of quantum architectures.

Autoři: James, G. G. Ekong, A. P. Unyime, A. U. a další

Zdroj: Journal of Nigerian Society of Physical Sciences; May2025, Vol. 7 Issue 2, p1-12, 12p

Témata: QUANTUM computing, QUBITS, COMPUTER software development, MATHEMATICAL optimization, COMPARATIVE studies

Abstract Implementing Functional Logic Languages Using Multiple Threads and Stores ∗

Autoři: Andrew Tolmach The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Tolmach The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~apt/icfp04.pdf.

Témata: Processors—Interpreters, Run-time environments General Terms, Languages, Design Keywords, Functional logic languages, narrowing, residuation, multi-versioned

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.6827; http://www.cs.pdx.edu/~apt/icfp04.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.6827
http://www.cs.pdx.edu/~apt/icfp04.pdf

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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

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

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

Abstract Implementing Functional Logic Languages Using Multiple Threads and Stores ∗

Autoři: Andrew Tolmach The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Tolmach The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~antoy/homepage/publications/icfp04/paper.pdf.

Témata: Processors—Interpreters, Run-time environments General Terms, Languages, Design Keywords, Functional logic languages, narrowing, residuation, multi-versioned

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2282; http://www.cs.pdx.edu/~antoy/homepage/publications/icfp04/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2282
http://www.cs.pdx.edu/~antoy/homepage/publications/icfp04/paper.pdf

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

AUGS 46th Annual Scientific Meeting.

Zdroj: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

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

Autoři: Luís Caires

Resource Type: eBook.

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