This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those sections of code to be parallelized wi...
详细信息
The proceedings contain 41 papers. The special focus in this conference is on programming Language Implementation and Logic programming. The topics include: Adding equations to nu-prolog;extraction of functional from ...
ISBN:
(纸本)9783540544449
The proceedings contain 41 papers. The special focus in this conference is on programming Language Implementation and Logic programming. The topics include: Adding equations to nu-prolog;extraction of functional from logic program;the mas specification component;domesticating imperative constructs so that they can live in a functional world;logic-based specification of visibility rules;optimal instruction scheduling using constraint logic programming;an architectural model for OR-parallellism on distributed memory systems;narrowing as an incremental constraint satisfaction algorithm;the implementation of lazy narrowing;semantics-directed generation of a prolog compiler;a framework to specify database update views for prolog;concepts for a modular and distributed prolog language;from parlog to polka in two easy steps;precedences in specifications and implementations of programminglanguages;a randomized heuristic approach to register allocation;generating efficient code from data-flow programs;on the borderline between grammars and programs;efficient incremental evaluation of higher order attribute grammars;compilation of predicate abstractions in higher-order logic programming;abstract interpretation for type checking;a technique for recursive invariance detection and selective program specialization;dynamic detection of determinism in functional logic languages;efficient integration of simplification into prolog;lazy evaluation in logic;operational semantics of constraint logic programming over finite domains and constraints for synchronizing coarse-gained sequential logic processes;extending execution trees for debugging and animation in logic programming;a narrowing-based theorem prover;multilanguage interoperability and short overview of the CLPS system.
Features of an explicitly parallel language targeted for reconfigurable massively parallel processing systems capable of operating in the SIMD (single-instruction-stream, multiple-data-stream) and SPMD (single-program...
详细信息
ISBN:
(纸本)0818620536
Features of an explicitly parallel language targeted for reconfigurable massively parallel processing systems capable of operating in the SIMD (single-instruction-stream, multiple-data-stream) and SPMD (single-program, multiple-data-stream) modes of parallelism are presented (SPMD is a subset of MIMD (multiple-instruction stream, multiple-data stream)). All aspects of the language have been provided with an SIMD-mode version and an SPMD-mode version that are functionally equivalent. The language facilitates experimentation with and exploitation of massively parallel SIMD/SPMD machines. Aspects of data management (variable specification, data manipulation operations, etc.) and control-flow constructs (data dependent and processor address dependent) are examined.
A five-year effort under the Ada Joint Program Office has developed a proposed standard for a host system interface as seen by tools running in an Ada programming Support Environment (APSE). Standardization of this in...
详细信息
The proceedings contain 25 papers. The topics discussed include: the ergo support system: an integrated set of tools for prototyping integrated environments;object database support for a software project management en...
ISBN:
(纸本)089791290X
The proceedings contain 25 papers. The topics discussed include: the ergo support system: an integrated set of tools for prototyping integrated environments;object database support for a software project management environment;interacting with an active, integrated environment;the workshop system - a practical knowledge-based software environment;a plan-based intelligent assistant that supports the software development process;the relationship between software development environments and the software process;CENTAUR: the system;foundations for the arcadia environment architecture;the software life cycle support environment (SLCSE) a computer based framework for developing software systems;the Ergo attribute system;a software development environment for law-governed systems;transformational derivation of programs using the focus system;PGRAPHITE: an experiment in persistent typed object management;user interface support for the integration of software tools: an iconic model of interaction;team: a support environment for testing, evaluation, and analysis;extended programming in the large in a software development environment;version management in gypsy;an integrated toolset for engineering software configurations;and a graph transform model for configuration management environments.
Among the early purposes of assembly languages must be included:1) the use in the programming process of mnemonic operation codes and symbolic variables names instead of the bit patterns and relative addresses of mach...
详细信息
ISBN:
(纸本)9780897910248
Among the early purposes of assembly languages must be included:1) the use in the programming process of mnemonic operation codes and symbolic variables names instead of the bit patterns and relative addresses of machine code as an aid to the human programmer. Machine code programming has largely disappeared except as a temporary bootstrapping process in producing an early version of an assembler, a compiler, or an interpreter. We shall ignore it in this short note. Other reasons often cited as justification for employing an assembly language at the present time are:2) the availability of all the machine resources and facilities,3) the necessity of producing a program that executes as fast as possible,4) the necessity of producing a program that is as parsimoneous of memory as possible, and5) as the original bootstrap processor in producing compilers or interpretors for higher level systems and applications *** wish to emphasize that these reasons were often valid in the past; that these reasons are sometimes valid at present; and that these reasons will remain valid only under very special circumstances in the future.
The proceedings contain 19 papers. The topics discussed include: code generation for expressions with. common subexpressions;a lazy evaluator;a complexity theory of grammar problems;the influence of productions on der...
The proceedings contain 19 papers. The topics discussed include: code generation for expressions with. common subexpressions;a lazy evaluator;a complexity theory of grammar problems;the influence of productions on derivations and parsing;binding time optimization in programminglanguages: some thoughts toward the design of an ideal language;induction variables in very high level languages;automatic generation of efficient evaluators for attribute grammars;techniques for the automatic selection of data structures;an algorithm for structuring programs;automatic design of data processing systems;goal-directed program transformation;program improvement by source to source transformation;primitive recursive program transformation;on directly constructing LR(K) parsers without chain reductions;procedure referencing environments in sl5;mathematical semantics and data flow programming;plan2d - syntactic analysis of precedence graph grammars;verifying formal specifications of synchronous processes;and test data as an aid in proving program correctness.
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included...
详细信息
ISBN:
(数字)9783319152011
ISBN:
(纸本)9783319152004
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International symposium on Modelling and Knowledge Management Applications - systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.
暂无评论