The symposium materials contain 47 papers on logicprogramming. programming environments, non-Horn programs, non-monotonicity, reasoning about programs, concurrency and parallelism, semantic reconstruction, Warren abs...
详细信息
The symposium materials contain 47 papers on logicprogramming. programming environments, non-Horn programs, non-monotonicity, reasoning about programs, concurrency and parallelism, semantic reconstruction, Warren abstract machine, non-classical logics, bottom-up evaluation, and constraint logicprogramming are the main topics covered.
This book discusses issues concerning functional programming, logicprogramming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transform...
详细信息
ISBN:
(数字)9789814528849
ISBN:
(纸本)9789810233846
This book discusses issues concerning functional programming, logicprogramming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.
The proceedings contain 41 papers. The special focus in this conference is on programming Language Implementation and logicprogramming. The topics include: Adding equations to nu-prolog;extraction of functional from ...
ISBN:
(纸本)9783540544449
The proceedings contain 41 papers. The special focus in this conference is on programming Language Implementation and logicprogramming. The topics include: Adding equations to nu-prolog;extraction of functional from logic program;the mas specification component;domesticating imperative constructs so that they can live in a functional world;logic-based specification of visibility rules;optimal instruction scheduling using constraint logicprogramming;an architectural model for OR-parallellism on distributed memory systems;narrowing as an incremental constraint satisfaction algorithm;the implementation of lazy narrowing;semantics-directed generation of a prolog compiler;a framework to specify database update views for prolog;concepts for a modular and distributed prolog language;from parlog to polka in two easy steps;precedences in specifications and implementations of programming languages;a randomized heuristic approach to register allocation;generating efficient code from data-flow programs;on the borderline between grammars and programs;efficient incremental evaluation of higher order attribute grammars;compilation of predicate abstractions in higher-order logicprogramming;abstract interpretation for type checking;a technique for recursive invariance detection and selective program specialization;dynamic detection of determinism in functional logic languages;efficient integration of simplification into prolog;lazy evaluation in logic;operational semantics of constraint logicprogramming over finite domains and constraints for synchronizing coarse-gained sequential logic processes;extending execution trees for debugging and animation in logicprogramming;a narrowing-based theorem prover;multilanguage interoperability and short overview of the CLPS system.
The proceedings contain 21 papers. The topics discussed include: programming languages techniques for controlling generalization errors in adaptive data analysis;the computational structure of programs and the univers...
ISBN:
(纸本)9781450386890
The proceedings contain 21 papers. The topics discussed include: programming languages techniques for controlling generalization errors in adaptive data analysis;the computational structure of programs and the universe;reflecting stacked continuations in a fine-grained direct-style reduction theory;a derived reasonable abstract machine for strong call by value;canonical proof-objects for coinductive programming: infinets with infinitely many cuts;confluence in non-left-linear untyped higher-order rewrite theories;static analysis of pattern-free properties,;a superposition-based calculus for diagrammatic reasoning;and free objects in constraint-logic object-oriented programming.
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logicprogramming merge in one joint event. JICSLP"96 is the thirteenth in the two series of annual confe...
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logicprogramming merge in one joint event. JICSLP"96 is the thirteenth in the two series of annual conferences sponsored by The Association for logicprogramming. It includes tutorials, invited lectures, and refereed papers on all aspects of logicprogramming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and *** programming series, Research Reports and Notes
The proceedings contain 21 papers. The topics discussed include: generating constrained random data with uniform distribution;guided type debugging;using big-step and small-step semantics in Maude to perform declarati...
ISBN:
(纸本)9783319071503
The proceedings contain 21 papers. The topics discussed include: generating constrained random data with uniform distribution;guided type debugging;using big-step and small-step semantics in Maude to perform declarative debugging;Faustine: a vector Faust interpreter test bed for multimedia signal processing - system description;on cross-stage persistence in multi-stage programming;lightweight higher-kinded polymorphism;generic programming with multiple parameters;type-based amortized resource analysis with integers and arrays;type-based amortized resource analysis with integers and arrays;dynamic programming via thinning and incrementalization;proving correctness of compilers using structured graphs;and a new formalization of subtyping to match subclasses to subtypes.
The proceedings contain 24 papers. The topics discussed include: Beluga: programming with dependent types, contextual data, and contexts;using static analysis to detect type errors and concurrency defects in Erlang pr...
ISBN:
(纸本)3642122507
The proceedings contain 24 papers. The topics discussed include: Beluga: programming with dependent types, contextual data, and contexts;using static analysis to detect type errors and concurrency defects in Erlang programs;solving constraint satisfaction problems with SAT technology;a church-style intermediate language for MLF;haskell type constraints unleashed;a functional framework for result checking;tag-free combinators for binding-time polymorphic program generation;a complete axiomatization of strict equality;an integrated distance for atoms;automatically generating counterexamples to naive free theorems;applying constraint logicprogramming to SQL test case generation;automatic parallelization of recursive functions using quantifier elimination;and a skeleton for distributed work pools in Eden.
The proceedings contain 19 papers. The topics discussed include: convergence in language design: a case of lightning striking four times in the same place;ruler: programming type rules;a framework for extended algebra...
详细信息
ISBN:
(纸本)3540334386
The proceedings contain 19 papers. The topics discussed include: convergence in language design: a case of lightning striking four times in the same place;ruler: programming type rules;a framework for extended algebraic data types;lock free data structures using STM in Haskell;XML type checking using high-level tree transducer;a computational approach to Pocklington certificates in type theory;defining and reasoning about recursive functions: a practical tool for the coq proof assistant;typed contracts for functional programming;contracts as pairs of projections;iData for the world wide web programming interconnected web forms;crossing state lines: adapting object-oriented frameworks to functional reactive languages;and WASH server pages.
暂无评论