Abstract machine descriptions of parallel computerarchitectures must capture communications and concurrency characteristics at a high level. Current design techniques and notations are weak in this respect. We presen...
详细信息
The work of subproject F on FP2 as a language for functional and parallel programming as well as on LCM as a parallel inference system has led to remarkable results;with FP2 a development tool for parallel systems is ...
详细信息
This paper surveys the concepts of the Parallel Object-Oriented Language POOL and a highly parallel, general purpose computer system for execution of programs in this language: the Decentralized Object-Oriented Machin...
详细信息
PARLE is a language for expressing parallelism and integrating symbolic and numeric computations. It is used as the Target Machine Language for the kernel system of the ESPRIT-1588 SPAN project, in which a parallel lo...
详细信息
The MaRS machine is an experimental modular distributed control multiprocessor, for parallel graph reduction, using a combinator machine language, and dedicated to the parallel execution of purely functionallanguages...
详细信息
A scheme for the compilation of imperative or functional programs into systolic programs is demonstrated on matrix composition and decomposition. Using this scheme, programs for the processor network Warp and for seve...
详细信息
The proceedings contain 28 papers. The special focus in this conference is on programming. The topics include: Semantics-based program integration;programming with proofs: A second order type theory;an exception handl...
ISBN:
(纸本)9783540190271
The proceedings contain 28 papers. The special focus in this conference is on programming. The topics include: Semantics-based program integration;programming with proofs: A second order type theory;an exception handling construct for functionallanguages;a functional language for the specification of complex tree transformations;garp: Graph abstractions for concurrent programming;perfect pipelining: A new loop parallelization technique;code selection techniques: Pattern matching, tree parsing, and inversion of derivors;adding relational query facilities to software development environments;compilation of logic programs for restricted and-parallelism;a semantics driven temporal verification system;implementation of lazy pattern matching algorithms;enhancing Prolog to support Prolog programming environments;2-Level λ-lifting;deforestation: Transforming programs to eliminate trees;on implementing logic programminglanguages on a dataflow architecture;The PSG system: From formal language definitions to interactive programming environments;LPG: A generic, logic andfunctionalprogramming language;CEC: A system for the completion of conditional equational specifications;a functional language for the specification of complex tree transformations;algebraic formalisation of program development by transformation;QPC: QJ-based proof compiler -simple examples and analysis-;implementation of modular algebraic specifications: Extended abstract;a polymorphic type system with subtypes for Prolog;type inference with subtypes;a theory of software reusability;parametric overloading in polymorphic programminglanguages.
functionallanguages can be enriched with logic variables to provide new computational features such as incremental construction of data structures. In this paper, we present a novel application for logic variables th...
详细信息
SUSPENSE is a high-level specification language for partial differential equations (PDEs) and related areas in numerical analysis. The language offers facilities to describe and manipulate numerical objects suck as ve...
详细信息
The proceedings contain 25 papers. The special focus in this conference is on functionalprogramminglanguages andcomputerarchitecture. The topics include: An architecture that efficiently updates associative aggreg...
ISBN:
(纸本)9783540159759
The proceedings contain 25 papers. The special focus in this conference is on functionalprogramminglanguages andcomputerarchitecture. The topics include: An architecture that efficiently updates associative aggregates in applicative programminglanguages;lambda lifting: Transforming programs to recursive equations;optimizing almost-tail-recursive Prolog programs;designing regular array architectures using higher order functions;vFP: An environment for the multi-level specification, analysis, and synthesis of hardware algorithms;a distributed garbage collection algorithm;cyclic reference counting for combinator machines;design for a multiprocessing heap with on-board reference counting;a functional language and modular architecture for scientific computing;Data flow graph optimization in IF1;practical polymorphism;program verification in a logical theory of constructions;transforming recursive programs for execution on parallel machines;compiling pattern matching;serial combinators: “optimal” grains of parallelism;the G-machine: A fast, graph-reduction evaluator;strictness analysis — a practical approach;the categorical abstract machine;High order programming in extended FP;secd-m: A virtual machine for applicative programming;cobweb — A combinator reduction architecture;how to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functionallanguages;lazy memo-functions.
暂无评论