Search Results - Compilation. Keywords Functional Logic Programming Languages~

Compiling a Functional Logic Language: The Fair Scheme?

Authors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Authors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Authors: Bhoyate, Shweta¹ shweta.bhoyate@iccs.ac.in

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

Constructed product result analysis for Haskell

Authors: Baker-Finch, Clem Glynn, Kevin Peyton Jones, Simon

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

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

File Description: application/xml

Access URL: 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?

Authors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy Andy Jost The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Authors: JOSEP SILVA GERMÁN VIDAL

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

Subject Terms: PROGRAMMING languages, COMPUTER programming, SOFTWARE engineering, MULTIPARADIGM programming (Computer science), COMPUTER science

Parallel Logic Programming: A Sequel.

Authors: DOVIER, AGOSTINO FORMISANO, ANDREA GUPTA, GOPAL et al.

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

Subject Terms: LOGIC programming, PARALLEL programming, DIFFUSION of innovations, MULTICORE processors, TECHNOLOGICAL innovations, PROGRAMMING languages

Database Query Languages and Functional Logic Programming.

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

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

Subject Terms: DATABASES, ELECTRONIC information resources, QUERY languages (Computer science), PROGRAMMING languages, LOGIC programming, COMPUTER programming

Fifty Years of Prolog and Beyond.

Authors: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO et al.

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

Subject Terms: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

Default rules for Curry.

Authors: ANTOY, SERGIO HANUS, MICHAEL

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

Subject Terms: FUNCTIONAL analysis, LOGIC programming, FUNCTIONAL programming (Computer science), SEMANTICS, PROGRAM transformation

An Improved Proof-Theoretic Compilation of Logic Programs.

Authors: CERVESATO, ILIANO

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

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

Authors: Viktor Vafeiadis

Resource Type: eBook.

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

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

Probabilistic (logic) programming concepts.

Authors: De Raedt, Luc Kimmig, Angelika

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

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

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

Relating the implementation techniques of functional and functional logic languages.

Authors: Loogen, Rita

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

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

Authors: Greco, Sergio Molinaro, Cristian Trubitsyna, Irina et al.

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

Subject Terms: LOGIC programming languages, CONSTRAINT programming, QUERY languages (Computer science), AUTOMATIC data collection systems, ARTIFICIAL intelligence, INTELLIGENT agents

Programming Languages: Principles and Paradigms

Authors: Maurizio Gabbrielli Simone Martini Saverio Giallorenzo

Resource Type: eBook.

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

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

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

Authors: KEN SAMUEL LEO OBRST SUZETTE STOUTENBERG et al.

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

Subject Terms: SEMANTIC Web, PROLOG (Computer program language), LOGIC programming languages, PROGRAMMING languages, ONTOLOGIES (Information retrieval), LOGIC programming, KNOWLEDGE base