Výsledky vyhľadávania - "functional logic programming"

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

Získať 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ískať 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. It demonstrates how the concepts of a…”
Získať 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ískať 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ískať 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ískať 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ískať 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…”
Získať plný text

Operational semantics for declarative multi-paradigm languages Autor 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…”
Získať plný text

Programming with narrowing: A tutorial Autor Antoy, Sergio

“…Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory…”
Získať plný text

An ER-based framework for declarative web programming Autor 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…”
Získať plný text

On the correctness of pull-tabbing Autor ANTOY, SERGIO

“…Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable…”
Získať plný text

An integrated framework for the diagnosis and correction of rule-based programs Autor 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…”
Získať 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…”
Získať plný text

Rules + strategies for transforming lazy functional logic programs Autor 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…”
Získať 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$)) with a lazy functional logic programming…”
Získať plný text

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

Získať plný text

Specialization of functional logic programs based on needed narrowing Autor 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…”
Získať plný text

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

Forward slicing of functional logic programs by partial evaluation Autor 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…”
Získať plný text