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 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.
this book contains a selection of revised papers presented at the 19th international workshop on functional and constraint logic programming, wflp 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPL...
详细信息
ISBN:
(数字)9783642207754
ISBN:
(纸本)9783642207747
this book contains a selection of revised papers presented at the 19th international workshop on functional and constraint logic programming, wflp 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of programming Languages event, POPL 2010.
From the 15 papers submitted, 12 were accepted for presentation at the workshop. the 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. they are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraintlogicprogramming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
the proceedings contain 21 papers. the special focus in this conference is on Invited Talks, Languages, Answer-Set programming and Abductive Reasoning, Semantics, constraints and logicprogramming, Answer-Set Programm...
ISBN:
(纸本)9783642415234
the proceedings contain 21 papers. the special focus in this conference is on Invited Talks, Languages, Answer-Set programming and Abductive Reasoning, Semantics, constraints and logicprogramming, Answer-Set programming and Model Expansion and WLP System Descriptions. the topics include: the IMPL policy language for managing inconsistency in multi-context systems;the parameterized complexity of constraint satisfaction and reasoning;translating nondeterministic functional language based on attribute grammars into java;sensitivity analysis for declarative relational query languages with ordinal ranks;a uniform fixpoint approach to the implementation of inference methods for deductive databases;translating answer-set programs into bit-vector logic;making use of advances in answer-set programming for abstract argumentation systems;confidentiality-preserving publishing of EDPs for credulous and skeptical users;every formula-based logic program has a least infinite-valued model;descriptive approach to preferred answer sets;solving modular model expansion: case studies;a constraint-based interactive product configurator;HEX-programs with nested program calls;a prototype of a knowledge-based programming environment;an IDE for answer-set programming-preliminary report;a system for visualising and visual editing of interpretations for answer-set programsa and unit testing in ASPIDE.
暂无评论