The proceedings contains 13 papers. The papers may be classified in new aspects of programminglanguages, development tools and samples of the implementation of abstract data types, metasystems, experiences with progr...
详细信息
ISBN:
(纸本)0444867945
The proceedings contains 13 papers. The papers may be classified in new aspects of programminglanguages, development tools and samples of the implementation of abstract data types, metasystems, experiences with programminglanguages. Some of the specific topics discussed are: remodularization of a computer by abstract data types;ELSA - an extensible programming system;and early experience with the programming language ADA.
The purpose of this article is to derive language criteria based on the architectural constraints of VLSI. As a consequence of this study, most existing programminglanguages seem to be ruled out as (VLSI) appropriate...
详细信息
ISBN:
(纸本)0892526491
The purpose of this article is to derive language criteria based on the architectural constraints of VLSI. As a consequence of this study, most existing programminglanguages seem to be ruled out as (VLSI) appropriate algorithmic notations. The wavefront language and Occam represent new and independent approaches incorporating the VLSI language criteria. Both notations share a data flow principle for interprocessor data transactions;the corresponding constructs are easily identified in both notations. It is shown that the notion of computational wavefront also facilitates the programmability of array processors. Finally, it is argued that a desirable programming technique must allow the same and consistent description to be used in all algorithmic and architectural simulation, verification, and design phases. Ultimately, algorithm software should be developed which abstracts the design system so that the implementation approach can be made almost 'transparent' to the designer of signal processing array algorithms/architectures.
The proceedings contain 35 papers. The topics discussed include: the next 700 data description languages;a hierarchical model of data locality;formal certification of a compiler back-end or: programming a compiler wit...
详细信息
ISBN:
(纸本)1595930272
The proceedings contain 35 papers. The topics discussed include: the next 700 data description languages;a hierarchical model of data locality;formal certification of a compiler back-end or: programming a compiler with a proof assistant;decidability and proof systems for language based noninterference relations;verifying properties of well-founded linked lists;small bisimulations for reasoning about higher-order imperative programs;the next mainstream programming language;adventures in time and space;compiler-directed channel allocation for saving power in on-chip networks;modular set-based analysis form contracts;stratified type inference for generalized algebraic data types;why dependent types matter;a virtual class calculus;frame rules from answer types for code pointers;protecting representation with effect encapsulation;and a verifiable SSA program representation for aggressive compiler optimization.
This conference proceedings contains 39 papers covering various aspects of programminglanguages currently in use. Individual papers are indexed separately.
ISBN:
(纸本)0897916360
This conference proceedings contains 39 papers covering various aspects of programminglanguages currently in use. Individual papers are indexed separately.
The proceedings contain 25 papers. The topics discussed include: type processing by constraint reasoning;principal type inference for GHC-style multi-parameter type classes;private row types: abstracting the unnamed;t...
详细信息
ISBN:
(纸本)3540489371
The proceedings contain 25 papers. The topics discussed include: type processing by constraint reasoning;principal type inference for GHC-style multi-parameter type classes;private row types: abstracting the unnamed;type and effect system for multi-staged exceptions;relational reasoning for recursive types and references;proof abstraction for imperative languages;reading, writing and relations: towards extensional semantics for effect analysis;automatic testing of higher order functions;event driven software quality;widening polyhedra with landmarks;comparing completeness properties of static analysis and their logics;a modal language for the safety of mobile values;an analysis for proving temporal properties of biological systems;computational secrecy by typing for the pi calculus;and using metadata transformations to integrate class extensions in an existing class hierarchy.
The proceedings contain 11 papers. The topics discussed include: bringing dynamic languages to .NET with the DLR;OMeta: an object-oriented language for pattern matching;tradeoffs in retrofitting security: an experienc...
详细信息
ISBN:
(纸本)9781595938688
The proceedings contain 11 papers. The topics discussed include: bringing dynamic languages to .NET with the DLR;OMeta: an object-oriented language for pattern matching;tradeoffs in retrofitting security: an experience report;arrays of objects;relationally-paremetric polymorphic contracts;report on the probabilistic language scheme;dynamic ownership in a dynamic language;RPython: a step towards reconciling dynamically and statically typed OO languages;an adaptive package management system for scheme;highly dynamic behaviour adaptability through prototypes with subjective multimethods;and mirages: behavioral intercession in a mirror-based architecture.
The proceedings contain 36 papers. The topics discussed include: optimizing memory transactions;compiler and runtime support for efficient software transactional memory;better extensibility through modular syntax;fast...
详细信息
ISBN:
(纸本)1595933743
The proceedings contain 36 papers. The topics discussed include: optimizing memory transactions;compiler and runtime support for efficient software transactional memory;better extensibility through modular syntax;fast and flexible instruction selection with on-demand tree-parsing automata;a framework for unrestricted whole-program optimization;practical dynamic software updating for C;an experimental analysis of self-adjusting computation;shared memory programming for large scale machines;optimizing data permutations for SIMD devices;auto-vectorization of interleaved data for SIMD;pruning dynamic slices with confidence;context-sensitive domain-independent algorithm composition and selection;reducing NoC energy consumption through compiler-directed channel voltage scaling;a global progressive register allocator;and automatic instruction scheduler retargeting by reverse-engineering.
The proceedings contains 27 papers. Topics discussed include principle in programminglanguages, computer programming languages, program analysis, computer security, semantics, automata, compiler techniques and networ...
详细信息
The proceedings contains 27 papers. Topics discussed include principle in programminglanguages, computer programming languages, program analysis, computer security, semantics, automata, compiler techniques and network monitoring.
This conference proceedings contains 30 papers. These papers present a comprehensive up-to-date view in the area of programminglanguages. The main subjects are operating systems, program compilers, computer programmi...
详细信息
ISBN:
(纸本)0897911474
This conference proceedings contains 30 papers. These papers present a comprehensive up-to-date view in the area of programminglanguages. The main subjects are operating systems, program compilers, computerprogramming, algorithms, parallel processing, concurrent programming, programminglanguages design and implementation, pattern recognition, and software development environment. Also discussed are functional programming, denotational semantics, and object-oriented computer programming languages.
The Symposium materials contain 31 papers. The topics covered include functional programming;geometry of optimal Lambda reduction;garbage collection;optimally profiling and tracing programs;bounded fixed-point iterati...
详细信息
ISBN:
(纸本)0897914538
The Symposium materials contain 31 papers. The topics covered include functional programming;geometry of optimal Lambda reduction;garbage collection;optimally profiling and tracing programs;bounded fixed-point iteration;modeling Prolog control;semantic foundations of Jade;object-oriented programming;compilation method for ML-style polymorphic record calculi;unboxed objects and polymorfic typing;principal signatures for higher-order program modules;pattern-based tree attribution;composable attribute grammars;generating a compiler for a lazy language by partial evaluation;parametricity as subtyping;algorithmic aspects of type inference with subtypes;and abstract semantics for a higher-order functional language with logic variables.
暂无评论