the proceedings contain 22 papers. the special focus in this conference is on logicprogramming and Term Rewriting. the topics include: Toward the concurrent implementation of computational systems;logicprogramming o...
ISBN:
(纸本)3540617353
the proceedings contain 22 papers. the special focus in this conference is on logicprogramming and Term Rewriting. the topics include: Toward the concurrent implementation of computational systems;logicprogramming on negation as instantiation;independence in dynamically scheduled logic languages;heterogeneous constraint solving;a hierarchy of semantics for normal constraint logic programs;order-sorted termination;unravelings and ultra-properties;standardization theorem revisited;discrete normalization and standardization in deterministic residual structures;a language for the logical specification of processes and relations;a process algebra for synchronous concurrent constraint programming;an algebraic approach to mixins and modularity;a strict border for the decidability of e-unification for recursive functions;prime factorizations of abstract domains using first order logic;abstractions of uniform proofs;complementing logic program semantics;meaningless terms in rewriting;unique normal form property of higher-order rewriting systems;algebraic semantics for functional logicprogramming with polymorphic order-sorted types;specifying type systems and the semantic treatment of polymorphic specification languages.
We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decom...
详细信息
作者：
Caires, LuisDI-FCT
Universidade Nova de Lisbon Monte da Caparica2825 Portugal
Due to its ability to handle resources in a finely controlled way, linear logic is being adopted as a foundation of several logicprogramming and specification languages in which some notions of state can be modelled....
详细信息
Concurrent constraint programming is classically based on asynchronous communication via a shared store. this paper presents new version of the ask and tell primitives which features synchronicity. Our approach is bas...
详细信息
the notion of independence has been used in conventional logicprogramming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we ext...
详细信息
A methodology is introduced based on first-order logic, for the design and decomposition of abstract domains for abstract interpretation. First, an assertion language is chosen that describes the properties of interes...
详细信息
暂无评论