the proceedings contain 24 papers. the special focus in this conference is on functionalprogramming and logicprogramming. the topics include: A scalable architecture for proof-carrying code;parameterized logic progr...
ISBN:
(纸本)3540417397
the proceedings contain 24 papers. the special focus in this conference is on functionalprogramming and logicprogramming. the topics include: A scalable architecture for proof-carrying code;parameterized logic programs where computing meets learning;proving syntactic properties of exceptions in an ordered logical framework;a higher-order colon translation;compiling lazy functional programs based on the spineless tagless G-machine for the java virtual machine;a higher-order logicprogramming language with constraints;an effective bottom-up semantics for first-order linear logic programs;a framework for goal-directed bottom-up evaluation of functionallogic programs;theoretical foundations for the declarative debugging of lazy functionallogic programs;adding linear constrains over real numbers to curry;a complete selection function for lazy conditional narrowing;an abstract machine based system for a lazy narrowing calculus;incremental learning of functionallogic programs;a general type inference framework for hindley/milner style systems;monadic encapsulation with stack of regions;well-typed logic programs are not wrong;a framework for analysis of typed logic programs;abstract compilation for sharing analysis;a practical partial evaluator for a multi-paradigm declarative language;a simple take on typed abstract syntax in ML-like languages;a simply typed context calculus with first-class environments and refining the barendregt cube using parameters.
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logicprogramming. the topics include: Executable specifications for language implementation;avoidi...
ISBN:
(纸本)9783540571865
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logicprogramming. the topics include: Executable specifications for language implementation;avoiding dynamic delays in functionallogic programs;a debugging model for functionallogic programs;a conservative approach to meta-programming in constraint logicprogramming;the versatility of handling disjunctions as constraints;improvements in compile-time analysis for ground prolog;a new top-down parsing algorithm for left-recursive DCGs;specification and implementation of grammar couplings using attribute grammars;programming language specification and prototyping using the MAX system;flang and its implementation;efficient lazy narrowing using demandedness analysis;a demand driven computation strategy for lazy narrowing;functionalprogramming languages withlogical variables: a linear logic view;objects with state in contextual logicprogramming;a novel method for parallel implementation of findall;a parallel implementation for AKL;inlining to reduce stack space;a WAM-based implementation of a logic language with sets;executing bounded quantifications on shared memory multiprocessors;a lattice of abstract graphs;higher-order chaotic iteration sequences;proving the correctness of compiler optimisations based on strictness analysis;abstract complexity of prolog based on WAM;development of rewriting strategies;narrowing approximations as an optimization for equational logic programs;a back end generator;selflog: language and implementation;embedding declarative subprograms into imperative constructs;stack management of runtime structures in distributed implementations and efficient register allocation for large basic blocks.
the aim of this paper is to provide theoretical foundations for the declarative debugging of wrong answers in lazy functionallogicprogramming. We rely on a logical framework which formalizes boththe intended meanin...
详细信息
In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the developm...
详细信息
In this work, we consider the extension of the Inductive functionallogicprogramming (IFLP) framework in order to learn functions in an incremental way. In general, incremental learning is necessary when the number o...
详细信息
We present the design of a compiler for a functionallogicprogramming language and discuss the compiler's implementation. the source program is abstracted by a constructor based graph rewriting system obtained fr...
详细信息
ISBN:
(纸本)9783642298226
We present the design of a compiler for a functionallogicprogramming language and discuss the compiler's implementation. the source program is abstracted by a constructor based graph rewriting system obtained from a functionallogic program after syntax desugaring, lambda lifting and similar transformations provided by a compiler's front-end. this system is non-deterministic and requires a specialized normalization strategy. the target program consists of 3 procedures that execute graph replacements originating from either rewrite or pull-tab steps. these procedures are deterministic and easy to encode in an ordinary programming language. We describe the generation of the 3 procedures, discuss the correctness of our approach, highlight some key elements of an implementation, and benchmark the performance of a proof-of-concept. Our compilation scheme is elegant and simple enough to be presented in one page.
CLNC is a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functionallogicprogrammingthat deals with non-deterministic functions. the JUMP-machine is an abstract machine model ...
详细信息
ISBN:
(纸本)3540417397
CLNC is a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functionallogicprogrammingthat deals with non-deterministic functions. the JUMP-machine is an abstract machine model for the efficient implementation of functionallogic languages. In this paper, we propose the integration of these two abstract models into an experimental system, for which extensibility and modifiability are major concerns. this leads us to the selection of an object-oriented approach and the use of design patterns for the system design and implementation.
the paper presents a novel approach to the analysis of typed logic programs. We assume regular type descriptions of logic program variables provided by regular tree grammars. Types are used to identify components of t...
详细信息
暂无评论