this paper introduces Chronolog(Z), a logicprogramming language based on a discrete linear-time temporal logic with unbounded past and future. Chronolog(Z) is suitable for applications involving the notion of dynamic...
详细信息
this paper introduces Chronolog(Z), a logicprogramming language based on a discrete linear-time temporal logic with unbounded past and future. Chronolog(Z) is suitable for applications involving the notion of dynamic change such as modeling non-terminating computations, the simulation of sequential circuits, and temporal databases. the execution of the programs of the language is based on a resolution-type proof procedure called TiSLD-resolution. A modular extension of Chronolog(Z) is proposed which can be used to model objects with internal memory.< >
Indexical programming languages enrich conventional programming languages by allowing the meanings of program constructs to depend on an implicit context. In an indexical program, values at different contexts can pote...
详细信息
ISBN:
(纸本)0818642122
Indexical programming languages enrich conventional programming languages by allowing the meanings of program constructs to depend on an implicit context. In an indexical program, values at different contexts can potentially be evaluated an parallel, resulting in context parallelism. this paper formally defines context parallelism in the indexical language mLucid, by a variable-value dependency graph (VDG) derived from the denotational semantics of the language. Based on different abstractions of the VDG, three levels of context parallelism: fine, medium, and coarse parallelism are defined, which reflect different levels of parallel computations specified by the indexical program.< >
the proceedings contain 35 papers. the special focus in this conference is on Languages and Compilers for Parallel Computing. the topics include: Compilation of a highly parallel actor-based language;a concurrent exec...
ISBN:
(纸本)9783540575023
the proceedings contain 35 papers. the special focus in this conference is on Languages and Compilers for Parallel Computing. the topics include: Compilation of a highly parallel actor-based language;a concurrent execution semantics for parallel program graphs and program dependence graphs;using profile information to assist advanced compiler optimization and scheduling;a hierarchical parallelizing compiler for VLIW/MIMD machines;a novel method for data dependence evaluation;on the feasibility of dynamic partitioning of pointer structures;compiler analysis for irregular problems in fortran D;data ensembles in orca C;compositional parallel programming;data parallelism and linda;techniques for efficient execution of fine-grained concurrent programs;computing per-process summary side-effect information;supporting SPMD execution for dynamic data structures;determining transformation sequences for loop parallelization;compiler optimizations for massively parallel machines: transformations on iterative spatial loops;handling distributed data in vienna fortran procedures;on the synthesis of parallel programs from tensor product formulas for block recursive algorithms;collective loop fusion for array contraction;parallel hybrid data flow algorithms: a case study;a control-parallel programming model implemented on SIMD hardware;a calculus of gamma programs;a linda-based runtime system for a distributed logic language;parallelizing a C dialect for distributed memory MIMD machines;a singular loop transformation framework based on non-singular matrices;and designing the McCAT compiler based on a family of structured intermediate representations and experience with techniques for refining data race detection.
this paper describes Monaco, a high-performance implementation of flat committed-choice languages such as Flat Guarded Horn Clauses. the compiler produces native code for linking to a runtime system on shared-memory m...
详细信息
the proceedings contain 33 papers. the special focus in this conference is on Computer Science logic. the topics include: the expressive power of transitive closure and 2-way multihead automata;correctness proof for t...
ISBN:
(纸本)9783540557890
the proceedings contain 33 papers. the special focus in this conference is on Computer Science logic. the topics include: the expressive power of transitive closure and 2-way multihead automata;correctness proof for the WAM with types;model checking of persistent petri nets;a decision procedure;how to implement first order formulas in local memory machine models;a new approach to abstract data types ii computation on adts as ordinary computation;on the logical complexity of the largest bisimulation;on bounded theories;the cutting plane proof system with bounded degree of falsity;denotational versus declarative semantics for functional programming;on transitive closure logic;some aspects of the probabilistic behavior of variants of resolution;safe queries in relational databases with functions;logical inference and polyhedral projection;stable logic;a transformational methodology for proving termination of logic programs;plausibility logic;towards kleene algebra with recursion;equational specification of abstract types and combinators;a fragment of first order logic adequate for observation equivalence;ordinal processes in comparative concurrency semantics;logical semantics of modularisation;a cut-elimination procedure designed for evaluating proofs as programs;minimal from classical proofs;quantifier hierarchies over word relations;complexity results for the default- and the autoepistemic logic;on completeness for NP via projection translations;comparing the theory of representations and constructive mathematics;properties definable in transitive closure logic;on completeness of program synthesis systems and proving termination for term rewriting systems.
In this document, we present a language which associates type construction principles to constraint logicprogramming. We show that it is very appropriate for language processing, providing more uniform, expressive an...
详细信息
Tomita’s algorithm [Tomita 85] which treats context free grammars makes use of the breadth-first strategy to handle conflicts occurring in a LR parsing table. Considering the compatibility of a breadth-first strategy...
详细信息
In the recent past much attention has been given to the handling of constraints. the focus of this paper is solving linear constraints on the natural numbers, a problem that is also of great importance in AC-unificati...
详细信息
暂无评论