{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:25:49Z","timestamp":1725459949057},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Functional logic programming extends the functional programming style with two important features: the possibility to define nondeterministic operations with overlapping rules, and the  usage of logic variables in both defining rules and expressions to evaluate. Conditional constructor-based term rewrite systems (CB-CTRSs) emerged as a suitable model for functional logic programs, because they can be easily transformed into an equivalent program in a core language where computations can be performed more efficiently.<\/jats:p><jats:p>We consider a recent proposal by Antoy and Hanus, of translating CB-CTRSs into an equivalent  class of programs where computation can be performed by mere rewriting. His computational model has the limitation of computing only ground answer substitutions for equations with strict semantics interpreted as joinability to a value.<\/jats:p><jats:p>We propose two adjustments of their computational models, which are capable to compute non-ground answers.<\/jats:p>","DOI":"10.29007\/3ks9","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T23:04:17Z","timestamp":1516748657000},"page":"95-82","source":"Crossref","is-referenced-by-count":0,"title":["A rewrite-based computational model for functional logic programming"],"prefix":"10.29007","volume":"39","author":[{"given":"Mircea","family":"Marin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Besik","family":"Dundua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T23:04:18Z","timestamp":1516748658000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/KJr"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/3ks9","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}