Suchergebnisse - Functional-Logic Programming

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley von 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 …”
Volltext

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming von 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 …”
Volltext

From Logic to Functional Logic Programs von 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 …”
Volltext

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

Volltext

Implementing a Functional Logic Programming Language via the Fair Scheme von 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 …”
Volltext

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

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

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language von 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 …”
Volltext

Evaluation strategies for functional logic programming von Antoy, Sergio

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

Constraint functional logic programming over finite domains von 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 …”
Volltext

A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Paisley von 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 …”
Volltext

Parallel virtual machine for functional logic programming von Alqaddoumi, Abdulla

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

A proof theoretic approach to failure in functional logic programming von 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 …”
Volltext

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

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

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

Volltext

Safe typing of functional logic programs with opaque patterns and local bindings von 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 …”
Volltext

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

Volltext

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

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

Memoized Pull-Tabbing for Functional Logic Programming von 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 …”
Volltext

Functional answer set programming von CABALAR, PEDRO

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

Transforming Boolean equalities into constraints von 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 …”
Volltext