Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings [1 ed.] 3540578773, 9783540578772

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent develop

288 9 4MB

English Pages 460 [461] Year 1994

Table of contents :
OASIS: An optimizing action-based compiler generator....Pages 1-15
Action transformations in the actress compiler generator....Pages 16-30
An overview of door attribute grammars....Pages 31-51
Coupling evaluators for attribute coupled grammars....Pages 52-67
Towards the global optimization of functional logic programs....Pages 68-82
A portable and optimizing back end for the SML/NJ compiler....Pages 83-97
Efficient organization of control structures in distributed implementations....Pages 98-112
Implementing 2DT on a multiprocessor....Pages 113-127
Global code selection for directed acyclic graphs....Pages 128-142
Compiling nested loops for limited connectivity VLIWs....Pages 143-157
Delayed exceptions — Speculative execution of trapping instructions....Pages 158-171
On the implementation of abstract interpretation systems for (constraint) Logic Programs....Pages 172-187
A suite of analysis tools based on a general purpose abstract interpreter....Pages 188-202
Flow grammars — a flow analysis methodology....Pages 203-217
Provable correctness of prototype interpreters in LDL....Pages 218-232
Developing efficient interpreters based on formal language specifications....Pages 233-247
Generating an efficient compiler for a data parallel language from a denotational specification....Pages 248-262
Adding semantic and syntactic predicates to LL(k): pred-LL(k) ....Pages 263-277
Cosy compiler phase embedding with the CoSy compiler model....Pages 278-293
Towards provably correct code generation for a hard real-time programming language....Pages 294-308
Supporting array dependence testing for an optimizing/parallelizing C compiler....Pages 309-323
Processing array statements and procedure interfaces in the PREPARE high performance fortran compiler....Pages 324-338
A practical approach to the symbolic debugging of parallelized code....Pages 339-356
Reducing the cost of data flow analysis by congruence partitioning....Pages 357-373
Interprocedural constant propagation using dependence graphs and a data-flow model....Pages 374-388
Solving demand versions of interprocedural analysis problems....Pages 389-403
Compile time instruction cache optimizations....Pages 404-418
Instruction scheduling over regions: A framework for scheduling across basic blocks....Pages 419-434
Transport-triggering vs. operation-triggering....Pages 435-449

Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings [1 ed.]
3540578773, 9783540578772

Author / Uploaded
Peter Ørbæk (auth.)
Peter A. Fritzson (eds.)

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings [1 ed.] 3540610537, 9783540610533

This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96,

111 88 4MB Read more

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings [1 ed.] 3540254110, 9783540254119

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an ann

296 41 3MB Read more

Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings [1 ed.] 9783540559849, 3540559841

The International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent develo

273 69 3MB Read more

Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings [1 ed.] 3540559841, 9783540559849

The International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent develo

279 47 3MB Read more

A 79-standard Forth compiler

459 71 149KB Read more

Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [1 ed.] 364200721X, 9783642007217

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, h

332 25 4MB Read more

Evolvable Systems: From Biology to Hardware: Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings (Lecture Notes in Computer Science, 1801) 9783540673385, 3540673385

This book constitutes the refereed proceedings of the Third International Conference on Evolvable Systems: From Biology

100 54 9MB Read more

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings [1 ed.] 3540242880, 9783540242888, 9783540305705

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held durin

311 91 4MB Read more

Compiler Construction: 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings [1 ed.] 3540643044, 9783540643043

This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98

306 40 4MB Read more

Compiler Construction: 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings [1 ed.] 3540433694, 9783540433699

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annua

325 19 4MB Read more