Search Results - functional-logic Programming~

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley by Trancón y Widemann, Baltasar, Lepper, Markus

“… Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java platform, without constraining the underlying object-oriented semantics…”
Get full text

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming by Augustsson, Lennart, Breitner, Joachim, Claessen, Koen, Jhala, Ranjit, Peyton Jones, Simon, Shivers, Olin, Steele Jr, Guy L., Sweeney, Tim

“… In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming…”
Get full text

From Logic to Functional Logic Programs by HANUS, MICHAEL

“… To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework…”
Get full text

Inferring Non-Failure Conditions for Declarative Programs by Hanus, Michael

Get full text

Implementing a Functional Logic Programming Language via the Fair Scheme by Jost, Andrew Michael

“…This document presents a new compiler for the Functional Logic programming language Curry based on a novel pull-tabbing evaluation strategy called the Fair Scheme…”
Get full text

Singular and plural functions for functional logic programming by RIESCO, ADRIÁN, RODRÍGUEZ-HORTALÁ, JUAN

“…Modern functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CSs…”
Get full text

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language by Mazanek, Steffen, Hanus, Michael

“…In this article we show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the business process modeling notation (BPMN…”
Get full text

Evaluation strategies for functional logic programming by Antoy, Sergio

“…Recent advances in the foundations and the implementations of functional logic programming languages originate from far-reaching results on narrowing evaluation strategies…”
Get full text

Constraint functional logic programming over finite domains by Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael

“…In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP($\fd…”
Get full text

A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Paisley by Baltasar Trancón y Widemann, Lepper, Markus

“… Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java platform, without constraining the underlying object-oriented semantics…”
Get full text

Parallel virtual machine for functional logic programming by Alqaddoumi, Abdulla

“…Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming…”
Get full text

A proof theoretic approach to failure in functional logic programming by LÓPEZ-FRAGUAS, FRANCISCO J., SÁNCHEZ-HERNÁNDEZ, JAIME

“… The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose fundamental notion is that of non-strict non-deterministic function…”
Get full text

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism by DYLUS, SANDRA, CHRISTIANSEN, JAN, TEEGEN, FINN

“…This paper presents PFLP , a library for probabilistic programming in the functional logic programming language Curry…”
Get full text

A new generic scheme for functional logic programming with constraints by LOPEZ FRAGUAS, Francisco J, RODRIGUEZ ARTALEJO, Mario, DEL VADO VIRSEDA, Rafael

Get full text

Safe typing of functional logic programs with opaque patterns and local bindings by López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan

“… Functional logic languages have inherited Damas–Milner type system from their functional part due to its simplicity and popularity…”
Get full text

Database query languages and functional logic programming by Almendros-Jiménez, Jesús M., Becerra-Terón, Antonio

Get full text

Default rules for Curry by ANTOY, SERGIO, HANUS, MICHAEL

“…In functional logic programs, rules are applicable independently of textual order, i.e…”
Get full text

Memoized Pull-Tabbing for Functional Logic Programming by Hanus, Michael, Teegen, Finn

“…Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure…”
Get full text

Functional answer set programming by CABALAR, PEDRO

“…In this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions…”
Get full text

Transforming Boolean equalities into constraints by Antoy, Sergio, Hanus, Michael

“… Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses…”
Get full text