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

248 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

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

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

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

Multimedia Technology and Enhanced Learning: 5th EAI International Conference, ICMTEL 2023, Leicester, UK, April 28-29, 2023, Proceedings, Part II ... and Telecommunications Engineering) 3031505735, 9783031505737

The four-volume set LNICST 532, 533, 534 and 535 constitutes the refereed proceedings of the 5th EAI International Confe

110 37 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