the proceedings contain 11 papers. the topics discussed include: programming with multiple paradigms in Lua;constraint based strategies;termination of context-sensitive rewriting with built-in numbers and collection d...
ISBN:
(纸本)3642119980
the proceedings contain 11 papers. the topics discussed include: programming with multiple paradigms in Lua;constraint based strategies;termination of context-sensitive rewriting with built-in numbers and collection data structures;semantic labeling for proving termination of combinatory reduction systems;a taxonomy of some right-to-left string-matching algorithms;type checking and inference are equivalent in lambda calculi with existential types;fast and accurate strong termination analysis with an application to partial evaluation;new results on type systems for functionallogicprogramming;a simple region inference algorithm for a first-order functional language;and theoretical framework for the declarative debugging of functionallogic programs with lambda abstractions.
the proceedings contain 8 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing...
ISBN:
(纸本)9783030753320
the proceedings contain 8 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing for functionallogicprogramming;effectiveness of Annotation-Based Static Type Inference;a Framework for Generating Diverse Haskell-I/O Exercise Tasks;formally Verified Transformation of Non-binary constraints into Binary constraints;constraint-logic Object-Oriented programming with Free Arrays.
the proceedings contain 87 papers. the special focus in this conference is on Declarative programming. the topics include: Concolic testing of functionallogic programs;Declarative XML Schema validation with SWI–Prol...
ISBN:
(纸本)9783030008000
the proceedings contain 87 papers. the special focus in this conference is on Declarative programming. the topics include: Concolic testing of functionallogic programs;Declarative XML Schema validation with SWI–Prolog: System description;plspec – A specification language for prolog data;run-time analysis of temporal constrained objects;implementation of logical retraction in constraint handling rules with justifications;the proportional constraint and its pruning;an operational semantics for constraint-logic imperative programming;hypertree decomposition: the first step towards parallel constraint solving;declarative aspects in explicative data mining for computational sensemaking;an approach for representing answer sets in natural language;Techniques for efficient lazy-grounding ASP solving.
the proceedings contain 10 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: Code Generation for Higher Inductive Types: A Study in Agda Metaprogrammin...
ISBN:
(纸本)9783030162016
the proceedings contain 10 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: Code Generation for Higher Inductive Types: A Study in Agda Metaprogramming;measuring Coverage of Prolog Programs Using Mutation Testing;runtime Verification in Erlang by Using Contracts;Enhancing POI Testing through the Use of Additional Information;synthesizing Set Functions;Towards a constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs;reference Type logic Variables in constraint-logic Object-Oriented programming;FMS: functionalprogramming as a Modelling Language.
the proceedings contain 18 papers. the special focus in this conference is on Applications of Declarative programming and Knowledge Management. the topics include: Facets of the PIE Environment for Proving, Interpolat...
ISBN:
(纸本)9783030467135
the proceedings contain 18 papers. the special focus in this conference is on Applications of Declarative programming and Knowledge Management. the topics include: Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order logic;KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog;structured Traversal of Search Trees in constraint-logic Object-Oriented programming;performance Analysis of Zippers;adding Data to Curry;free theorems Simply, via Dinaturality;Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation;ICurry;a Process Calculus for Formally Verifying Blockchain Consensus Protocols;modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer programming;finding Maximal Non-redundant Association Rules in Tennis Data;from Textual Information Sources to Linked Data in the Agatha Project;allen’s Interval Algebra Makes the Difference;exploring Properties of Icosoku by constraint Satisfaction Approach;the Regularization of Small Sub-constraint Satisfaction Problems;declarative programming for Microcontrollers - Datalog on Arduino.
the proceedings contain 9 papers. the special focus in this conference is on functional and (constraint) logicprogramming. the topics include: A new compiler from curry to Haskell;new functionallogic design patterns...
ISBN:
(纸本)9783642225307
the proceedings contain 9 papers. the special focus in this conference is on functional and (constraint) logicprogramming. the topics include: A new compiler from curry to Haskell;new functionallogic design patterns;xquery in the functional-logic language toy;size invariant and ranking function synthesis in a functional language;memoizing a monadic mixin DSL;a functional approach to worst-case execution time analysis;building a faceted browser in couchdb using views on views and erlang metaprogramming;combining object-oriented and logicprogramming;on proving termination of constrained term rewrite systems by eliminating edges from dependency graphs.
the proceedings contain 9 papers. the topics discussed include: transforming functionallogic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access...
ISBN:
(纸本)9783642207747
the proceedings contain 9 papers. the topics discussed include: transforming functionallogic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access control language based on term rewriting and description logic;lazy and enforceable assertions for functionallogic programs;parameterized models for on-line and off-line use;efficient and compositional higher-order streams;an adequate, denotational, functional-style semantics for typed FlatCurry;bridging the gap between two concurrent constraint languages;and types for role-based access control of dynamic web data.
the proceedings contain 9 papers. the topics discussed include: from marriages to coalitions: a soft CSP approach;solving CSPs with naming games;an efficient decision procedure for functional decomposable theories bas...
ISBN:
(纸本)3642032508
the proceedings contain 9 papers. the topics discussed include: from marriages to coalitions: a soft CSP approach;solving CSPs with naming games;an efficient decision procedure for functional decomposable theories based on dual constraints;challenges in constraint-based analysis of hybrid systems;from rules to constraint programs withthe rules2CP modeling language;combining symmetry breaking and global constraints;iterative flattening search on RCPSP/max problems: recent developments;robust solutions in unstable optimization problem;and IDB-ADOPT: a depth-first search DCOP algorithm.
the constraintfunctionallogicprogramming system TOY has been using the SICStus Prolog finite domain (FD) constraint solver. In this work, we show how to integrate the ILOG CP FD constraint solving technology into t...
详细信息
ISBN:
(纸本)9783642119989
the constraintfunctionallogicprogramming system TOY has been using the SICStus Prolog finite domain (FD) constraint solver. In this work, we show how to integrate the ILOG CP FD constraint solving technology into this system, withthe aim of improving its application domain and performance. We describe our implementation emphasizing the synchronization between Herbrand computations in the Toy side and FD constraint solving in the ILOG CP side. Finally, performance results are reported and discussed.
暂无评论