The proceedings contain 30 papers on programminglanguages. Topics include languagedesign, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program o...
详细信息
ISBN:
(纸本)089791662X
The proceedings contain 30 papers on programminglanguages. Topics include languagedesign, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program optimization.
High Performance Fortran (HPF) is a candidate for a standard programminglanguage for distributed memory parallel computers. This paper presents the design and implementation of an HPF compiler for the Fujitsu AP1000 ...
详细信息
ISBN:
(纸本)9780897917285
High Performance Fortran (HPF) is a candidate for a standard programminglanguage for distributed memory parallel computers. This paper presents the design and implementation of an HPF compiler for the Fujitsu AP1000 parallel computers. There are two novel features implemented in the compiler. The first is a machine-independent optimization based on the intermediate format. The second is a code generation technique utilizing the direct remote data access (DRDA) mechanism and stride data transfer supported by the AP1000 hardware. With the results of experiments on the AP1000, this paper shows the effects of the optimization and code generation techniques.
Constraint programming (CP) is in its substance non-algorithmic programming, not last because it is often being applied to problems for which no efficient algorithms exist. A not immediately obvious consequence of thi...
详细信息
In this paper, we show how Ada 95 can be used as an implementationlanguage for object-oriented designs. We present a strategy to map Fusion class descriptions into Ada specifications, considering the various kinds of...
详细信息
The proceedings contain 20 papers. The topics discussed include: modeling problem-domain asynchrony;design of concurrent software;resource sharing deadlock prevention;teaching programming for reuse;software specificat...
ISBN:
(纸本)0897917057
The proceedings contain 20 papers. The topics discussed include: modeling problem-domain asynchrony;design of concurrent software;resource sharing deadlock prevention;teaching programming for reuse;software specification and design with Ada;conversion to Ada and Ada;the GNU Ada 95 Booch components;and COBRA and the future of application development.
This paper discusses the implementation model for supporting Ada 95 controlled types in the GNAT compiler [1]. After reviewing the semantics of controlled types, we outline the associated implementation problems and d...
详细信息
暂无评论