Search Results - "Functional-logic programming"

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

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

“…Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms,…”
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

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

From Logic to Functional Logic Programs by HANUS, MICHAEL

“…Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact…”
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

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

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

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. Pull-tab steps…”
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., any rule can potentially be used to evaluate an expression. This is…”
Get full text

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

“…Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms,…”
Get full text

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

“…Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different…”
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. To this aim, we start from the most…”
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

“…Type systems are widely used in programming languages as a powerful tool providing safety to programs. Functional logic languages have inherited Damas–Milner…”
Get full text