MAP has been developed to address the need for an analysis and design method which directly supports software development using a functional language. MAP breaks down software development into a set of manageable and ...
详细信息
MAP has been developed to address the need for an analysis and design method which directly supports software development using a functional language. MAP breaks down software development into a set of manageable and linked techniques which are combined to make a productive whole. In addition, it can be used as a natural communication medium which avoids the idiosyncracies of particular implementationlanguages, and through CASE tool support can act as an effective and efficient consistency checker.
The conference materials contain 33 papers. The topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext...
详细信息
ISBN:
(纸本)089791595X
The conference materials contain 33 papers. The topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative extensions, compiling and performance evaluation, languagedesign, compiler optimization, static analysis, functional algorithms and partial evaluation.
The proceedings contain 33 papers. The topics discussed include: real-time concurrent collection on stock multiprocessors;detecting conflicts between structure accesses;interprocedural slicing using dependence graphs;...
ISBN:
(纸本)0897912691
The proceedings contain 33 papers. The topics discussed include: real-time concurrent collection on stock multiprocessors;detecting conflicts between structure accesses;interprocedural slicing using dependence graphs;the program summary graph and flow-sensitive interprocedural data flow analysis;interprocedural side-effect analysis in linear time;register windows vs. register allocation;automatic generation of fast optimizing code generators;minimizing register usage penalty at procedure calls;anatomy of a hardware compiler;design and implementation of the UW illustrated compiler;DOC: a practical approach to source-level debugging of globally optimized code;a mechanism for efficient debugging of parallel programs;debugging concurrent processes: a case study;and an efficient approach to data flow analysis in a multiple pass global optimizer.
暂无评论