Filters








29,232 Hits in 7.4 sec

Call pattern analysis for functional logic programs

Michael Hanus
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP &#39;08</a> </i> &nbsp;
For this purpose, we present a new fixpoint characterization of functional logic computations w.r.t. a set of initial calls. We show how programs can be analyzed by approximating this fixpoint.  ...  This paper presents a new program analysis framework to approximate call patterns and their results in functional logic computations.  ...  Note that the fixpoint contains 0 and S(S(0)) as values of main but not S(0), as expected for functional logic programs with call-time choice semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1389449.1389459">doi:10.1145/1389449.1389459</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/Hanus08.html">dblp:conf/ppdp/Hanus08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7c6c7ffdwfeffjnvnbznye7bji">fatcat:7c6c7ffdwfeffjnvnbznye7bji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120402012422/http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/eb/8a/eb8a6c6c44e7c4119f508debf244e3d68f3ee46f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1389449.1389459"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Rewriting and narrowing for constructor systems with call-time choice semantics

FRANCISCO J. LÓPEZ-FRAGUAS, ENRIQUE MARTIN-MARTIN, JUAN RODRÍGUEZ-HORTALÁ, JAIME SÁNCHEZ-HERNÁNDEZ
<span title="2012-10-30">2012</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
to adequately express the combination of call-time choice with non-strict semantics.  ...  After that, we provide a notion of let-narrowing, which is adequate for call-time choice as proved by soundness and completeness results of let-narrowing with respect to let-rewriting.  ...  The CRWL let -logic provides a denotational semantics reflecting call-time choice for programs making use of local bindings.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068412000373">doi:10.1017/s1471068412000373</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ug4rrzfymvgffbrm3xectjxgxa">fatcat:ug4rrzfymvgffbrm3xectjxgxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922022301/http://eprints.ucm.es/36061/1/TPLP-final%20version%20rewr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/1f/991fc4304c05a8c0b4406bc0c91579dcfc9d2347.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068412000373"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Dynamic detection of determinism in functional logic languages

Rita Loogen, Stephan Winkler
<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Programs in functional logic languages usually have to satisfy a nonambiguity condition, that semantically ensures completeness of conditional narrowing and pragmatically ensures that the defined (nonboolean  ...  ) functions are deterministic and do not yield different result values for the same argument tuples.  ...  Introduction Functional logic languages are extensions of functional languages with principles derived from logic programming [20, 21] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(94)00225-8">doi:10.1016/0304-3975(94)00225-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ynzuhry2vjbhvbmcn732n3mwee">fatcat:ynzuhry2vjbhvbmcn732n3mwee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001055034/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/9d8/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTk0MDAyMjU4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/2f/f32f6d7ae4e5633db5f121a9abd227416fd0af68.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(94)00225-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Functional Logic Programming: From Theory to Curry [chapter]

Michael Hanus
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper surveys the foundations of functional logic programming that are relevant for Curry, the main features of Curry, and extensions and applications of Curry and functional logic programming.  ...  Functional logic programming languages combine the most important declarative programming paradigms, and attempts to combine these paradigms have a long history.  ...  Furthermore, I would like to thank Sergio Antoy, Bernd Braßel, and Germán Vidal for their constructive remarks to improve the readability of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_6">doi:10.1007/978-3-642-37651-1_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bi7s3wzbvbh5xf57gsox7uhhjq">fatcat:bi7s3wzbvbh5xf57gsox7uhhjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110813104316/http://www.informatik.uni-kiel.de/~mh/reports/newsurvey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/83/b5/83b543a990fc4e27e6412768515c10b0468c8896.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The integration of functions into logic programming: From theory to practice

Michael Hanus
<span title="">1994</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
The author is grateful to Herbert Kuchen, Rita Loogen, and an anonymous referee for their detailed comments on a previous version of this paper.  ...  If logical variables do not occur during run time, no choice point will be generated and the behavior is the same as for a pure functional program.  ...  On the other hand, several choice points are created for a function call with several unbound variables.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90034-5">doi:10.1016/0743-1066(94)90034-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fp45iy6ne5chhg6q2z4wwcktu4">fatcat:fp45iy6ne5chhg6q2z4wwcktu4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190312002850/https://core.ac.uk/download/pdf/82440276.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/af/3fafe378ae82689eadb1a90dcd133d423c6e20a6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90034-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Technique to Build Debugging Tools for Lazy Functional Logic Languages

Bernd Braßel
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
With this technique it is possible to replay the execution of a lazy program with a strict semantics by recording information of unevaluated expressions.  ...  This paper is based on a recently developed technique to build debugging tools for lazy functional programming languages.  ...  gen () : genList gen () The extension with the artificial argument () is necessary because of call-time choice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.014">doi:10.1016/j.entcs.2009.07.014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqdfs4c37rb5djpcairhlnpwhy">fatcat:zqdfs4c37rb5djpcairhlnpwhy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926032432/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/360/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwOTAwMjM2OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/f3/a8f3cb4e8bdf86855644bc3366d3135d7f5ed492.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Functional Logic Programming in Maude [chapter]

Santiago Escobar
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Functional logic programming languages combine the most important features of functional programming languages and logic programming languages.  ...  As a practical application we use the Missionaries and Cannibals equational logic program given by Goguen and Meseguer for Eqlog in the eighties.  ...  obtain the call-time choice semantics of Section 5.1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-54624-2_16">doi:10.1007/978-3-642-54624-2_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5xvsjyk56net3azx4mb7rjzpqq">fatcat:5xvsjyk56net3azx4mb7rjzpqq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706064046/http://users.dsic.upv.es/~sescobar/papers/futatsugi-fest.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/de/92de503dd0633dd2d4c5fa0e020059276ba2200c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-54624-2_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Extra Variables Can Be Eliminated from Functional Logic Programs

Javier de Dios Castro, Francisco J. López-Fraguas
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possibly non strict and non-deterministic  ...  We address in this paper the question of whether extra variables can be eliminated in such kind of functional logic programs, proving the soundness and completeness of an easy solution that takes advantage  ...  We mainly use the logical face of CRWL. As semantics for non-determinism, CRWL's choice is angelic non-determinism with call-time choice for non-strict functions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.05.049">doi:10.1016/j.entcs.2006.05.049</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2izym37ztzbdvh4z3dmpaatmbu">fatcat:2izym37ztzbdvh4z3dmpaatmbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20091211130847/http://gpd.sip.ucm.es/fraguas/papers/ENTCS07-PROLE06a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f2/fb/f2fbddc7756e6d9007336ca5f67885b524d069f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.05.049"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Monadic Semantics for Core Curry1 1This work has been supported in part by the National Science Foundation under grants CCR-0110496 and CCR-0218224

Andrew Tolmach, Sergio Antoy
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We give a deterministic, big-step operational semantics for the essential core of the Curry language, including higher-order functions, call-by-need evaluation, nondeterminism, narrowing, and residuation  ...  The semantics is structured in modular monadic style, and is presented in the form of an executable interpreter written in Haskell.  ...  Introduction The functional logic language Curry combines lazy functional programming with logic programming features based on both narrowing and residuation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80691-1">doi:10.1016/s1571-0661(04)80691-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqlcoplonvdzhntlk4jvrmoic4">fatcat:zqlcoplonvdzhntlk4jvrmoic4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224192841/https://core.ac.uk/download/pdf/82212622.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/16/43/1643db8acda32f2630a0a6ff478c56703fa65148.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80691-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Functional logic programming

Sergio Antoy, Michael Hanus
<span title="2010-04-01">2010</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i6iajiiyxvgz3ob6jwcn2pufni" style="color: black;">Communications of the ACM</a> </i> &nbsp;
The former behavior is referred to as call-time choice semantics [28] since the choice of the value of a non-deterministic argument is made at call time, whereas the latter is referred to as need-time  ...  The call-time choice is the semantics usually adopted by current functional logic languages since it satisfies the principle of "least astonishment" in most situations [19] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1721654.1721675">doi:10.1145/1721654.1721675</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3jer6iphojcmxmkjh7sv4kdaeu">fatcat:3jer6iphojcmxmkjh7sv4kdaeu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809133526/http://web.cecs.pdx.edu/~antoy/homepage/publications/cacm/paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/a3/72a39fc91de366143faae7deaeadf2ff8e0adaea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1721654.1721675"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A flexible framework for programming with non-deterministicfunctions

Francisco J. Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM &#39;09</a> </i> &nbsp;
transformation introducing lets in function definitions -for the case of call-time choice-.  ...  In this paper we propose to annotate functions in a program with the semantics most adequate to its intended use.  ...  Non-deterministic functions with non-strict and call-time choice semantics were introduced in the functional logic setting with the CRWL framework (13; 14) , in which programs are possibly nonconfluent  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1480945.1480959">doi:10.1145/1480945.1480959</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/Lopez-FraguasRS09.html">dblp:conf/pepm/Lopez-FraguasRS09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qt7oqlxi4zg7daa6qlt64leu2m">fatcat:qt7oqlxi4zg7daa6qlt64leu2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130716060624/http://gpd.sip.ucm.es/fraguas/papers/PEPM09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/a9/ffa9ceb20ac9ced0189c035c170308bdd9bd592d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1480945.1480959"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Abstract interpretation

Patrick Cousot, Radhia Cousot
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kjskj3qctjdkbigtx4fkcqiyii" style="color: black;">Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS &#39;14</a> </i> &nbsp;
We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics  ...  as a parameter, either that of the program to be analyzed or that of a programming language.  ...  [6] [7] ; -first-order fixpoint big-step operational semantics of transition systems (called "initial to final state transition function" in [6 , sec. 3.2, p. 240]); -first-order fixpoint collecting  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2603088.2603165">doi:10.1145/2603088.2603165</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csl/CousotC14.html">dblp:conf/csl/CousotC14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4vwvctw2bbbvhihzx6s3m6yaiy">fatcat:4vwvctw2bbbvhihzx6s3m6yaiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811111949/http://www.di.ens.fr/~cousot/publications.www/Cousot-SAS-97-LNCS-n1302-p388--394.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/26/80260cdbe74add66e24995fd4aabc604372f7f35.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2603088.2603165"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Evaluation strategies for functional logic programming

Sergio Antoy
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ezljl2d3lzga5efenbxdvvfcpa" style="color: black;">Journal of symbolic computation</a> </i> &nbsp;
In functional logic programming, the classes of rewrite systems to which narrowing is applied are, for the most part, subclasses of the constructor-based, possibly conditional, rewrite systems.  ...  This paper discusses the elements that play a relevant role in evaluation strategies for functional logic computations, describes some important classes of rewrite systems that model functional logic programs  ...  and Programming held in Utrecht, The Netherlands, in May 2001.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jsc.2004.12.007">doi:10.1016/j.jsc.2004.12.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/swjeqk5wgfaf3nai5v5ufuws7q">fatcat:swjeqk5wgfaf3nai5v5ufuws7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829223251/http://hajarian.com/amaliati/1-s2.0-S0747717105000325-main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/69/9269a05c6071d6bbbe5d3cf464e412691a98bb8e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jsc.2004.12.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Evaluation Strategies for Functional Logic Programming

Sergio Antoy
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In functional logic programming, the classes of rewrite systems to which narrowing is applied are, for the most part, subclasses of the constructor-based, possibly conditional, rewrite systems.  ...  This paper discusses the elements that play a relevant role in evaluation strategies for functional logic computations, describes some important classes of rewrite systems that model functional logic programs  ...  and Programming held in Utrecht, The Netherlands, in May 2001.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00265-8">doi:10.1016/s1571-0661(04)00265-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zpcju56vxba7dlr5uq4cyr7gma">fatcat:zpcju56vxba7dlr5uq4cyr7gma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829223251/http://hajarian.com/amaliati/1-s2.0-S0747717105000325-main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/69/9269a05c6071d6bbbe5d3cf464e412691a98bb8e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00265-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Implementing functional logic languages using multiple threads and stores

Andrew Tolmach, Sergio Antoy, Marius Nita
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP &#39;04</a> </i> &nbsp;
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification, narrowing, fair search  ...  In this paper, we show how to extend a conventional interpreter for a lazy functional language to handle these features by adding support for reference cells, process-like and thread-like concurrency mechanisms  ...  Acknowledgements We thanks the anonymous referees for several helpful suggestions. References  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1016850.1016865">doi:10.1145/1016850.1016865</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/TolmachAN04.html">dblp:conf/icfp/TolmachAN04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hkt7qzqxjnfrhpf3p5qo3tmipy">fatcat:hkt7qzqxjnfrhpf3p5qo3tmipy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041220210946/http://www.cs.pdx.edu:80/~apt/icfp04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c1/d8/c1d88aaf6e13399489e48ee260417566162f9531.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1016850.1016865"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 29,232 results