Výsledky vyhledávání - "functional-logic Programming"

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Autor 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…”
Získat plný text

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley Autor 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,…”
Získat plný text

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

Získat plný text

Implementing a Functional Logic Programming Language via the Fair Scheme Autor 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…”
Získat plný text

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

“…Modern functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CSs…”
Získat plný text

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language Autor 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…”
Získat plný text

Evaluation strategies for functional logic programming Autor Antoy, Sergio

“…Recent advances in the foundations and the implementations of functional logic programming languages originate from far-reaching results on narrowing evaluation strategies…”
Získat plný text

Constraint functional logic programming over finite domains Autor 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…”
Získat plný text

Parallel virtual machine for functional logic programming Autor Alqaddoumi, Abdulla

“…Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming…”
Získat plný text

A proof theoretic approach to failure in functional logic programming Autor 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…”
Získat plný text

From Logic to Functional Logic Programs Autor 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…”
Získat plný text

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

Získat plný text

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

“…This paper presents PFLP , a library for probabilistic programming in the functional logic programming language Curry…”
Získat plný text

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

Získat plný text

Memoized Pull-Tabbing for Functional Logic Programming Autor 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…”
Získat plný text

Default rules for Curry Autor 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…”
Získat plný text

A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Paisley Autor 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,…”
Získat plný text

Transforming Boolean equalities into constraints Autor 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…”
Získat plný text

Functional answer set programming Autor 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…”
Získat plný text

Safe typing of functional logic programs with opaque patterns and local bindings Autor 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…”
Získat plný text