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/

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

Forward slicing of functional logic programs by partial evaluationA preliminary short version of this paper appeared in the Proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002).This work has been partially supported by the EU (FEDER) and the Spanish MEC under grants TIN2004-00231 and TIN2005-09207-C03-02, and by the ICT for EU-India Cross-Cultural Dissemination Project ALA/95/23/2003/077-054.

Autoři: JOSEP SILVA GERMÁN VIDAL

Zdroj: Theory & Practice of Logic Programming; Jan2007, Vol. 7 Issue 1/2, p215-247, 33p

Témata: PROGRAMMING languages, COMPUTER programming, SOFTWARE engineering, MULTIPARADIGM programming (Computer science), COMPUTER science

Parallel Logic Programming: A Sequel.

Autoři: DOVIER, AGOSTINO FORMISANO, ANDREA GUPTA, GOPAL a další

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p905-973, 69p

Témata: LOGIC programming, PARALLEL programming, DIFFUSION of innovations, MULTICORE processors, TECHNOLOGICAL innovations, PROGRAMMING languages

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

Fifty Years of Prolog and Beyond.

Autoři: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO a další

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Témata: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

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

An Improved Proof-Theoretic Compilation of Logic Programs.

Autoři: CERVESATO, ILIANO

Zdroj: Theory & Practice of Logic Programming; Jul2012, Vol. 12 Issue 4/5, p639-657, 19p

Témata: LOGIC programming, COMPILERS (Computer programs), PROOF theory, LINEAR systems, MATCHING theory, INFORMATION technology

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

Probabilistic (logic) programming concepts.

Autoři: De Raedt, Luc Kimmig, Angelika

Zdroj: Machine Learning; Jul2015, Vol. 100 Issue 1, p5-47, 43p

Témata: LOGIC programming, PROBABILITY theory, PROGRAMMING language semantics, SYNTAX in programming languages, PROGRAMMING languages

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

Relating the implementation techniques of functional and functional logic languages.

Autoři: Loogen, Rita

Zdroj: New Generation Computing; Jun1993, Vol. 11 Issue 2, p179-215, 37p

NP Datalog: A logic language for expressing NP search and optimization problems.

Autoři: Greco, Sergio Molinaro, Cristian Trubitsyna, Irina a další

Zdroj: Theory & Practice of Logic Programming; Mar2010, Vol. 10 Issue 2, p125-166, 42p, 5 Charts, 11 Graphs

Témata: LOGIC programming languages, CONSTRAINT programming, QUERY languages (Computer science), AUTOMATIC data collection systems, ARTIFICIAL intelligence, INTELLIGENT agents

Programming Languages: Principles and Paradigms

Autoři: Maurizio Gabbrielli Simone Martini Saverio Giallorenzo

Resource Type: eBook.

Témata: Programming languages (Electronic computers)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

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

Translating OWL and semantic web rules into prolog: Moving toward description logic programs.

Autoři: KEN SAMUEL LEO OBRST SUZETTE STOUTENBERG a další

Zdroj: Theory & Practice of Logic Programming; May2008, Vol. 8 Issue 3, p301-322, 22p

Témata: SEMANTIC Web, PROLOG (Computer program language), LOGIC programming languages, PROGRAMMING languages, ONTOLOGIES (Information retrieval), LOGIC programming, KNOWLEDGE base