Search Results - "Functional-logic programming"

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

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

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. It demonstrates how the concepts of a…”
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

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

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…”
Get full text

Operational semantics for declarative multi-paradigm languages by Albert, Elvira, Hanus, Michael, Huch, Frank, Oliver, Javier, Vidal, Germán

“…Declarative multi-paradigm languages combine the most important features of functional, logic and concurrent programming. The computational model of such…”
Get full text

Programming with narrowing: A tutorial by Antoy, Sergio

“…Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory…”
Get full text

An ER-based framework for declarative web programming by HANUS, MICHAEL, KOSCHNICKE, SVEN

“…We describe a framework to support the implementation of web-based systems intended to manipulate data stored in relational databases. Since the conceptual…”
Get full text

On the correctness of pull-tabbing by ANTOY, SERGIO

“…Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable…”
Get full text

An integrated framework for the diagnosis and correction of rule-based programs by Alpuente, M., Ballis, D., Correa, F., Falaschi, M.

“…We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim…”
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…”
Get full text

Rules + strategies for transforming lazy functional logic programs by Alpuente, Marı́a, Falaschi, Moreno, Moreno, Ginés, Vidal, Germán

“…This work introduces a transformation methodology for functional logic programs based on needed narrowing, the optimal and complete operational principle for…”
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$)) with a lazy functional logic programming…”
Get full text

Cost-Augmented Partial Evaluation of Functional Logic Programs by Vidal, Germán

Get full text

Specialization of functional logic programs based on needed narrowing by ALPUENTE, MARÍA, LUCAS, SALVADOR, VIDAL, GERMÁN, HANUS, MICHAEL

“…Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional…”
Get full text

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

“…How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a…”
Get full text

Forward slicing of functional logic programs by partial evaluation by SILVA, JOSEP, VIDAL, GERMÁN

“…Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like…”
Get full text