Book Volume 786 1994

Compiler Construction

5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings


ISBN: 978-3-540-57877-2 (Print) 978-3-540-48371-7 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-15

    OASIS: An optimizing action-based compiler generator

  3. Chapter

    Pages 16-30

    Action transformations in the actress compiler generator

  4. Chapter

    Pages 31-51

    An overview of door attribute grammars

  5. Chapter

    Pages 52-67

    Coupling evaluators for attribute coupled grammars

  6. Chapter

    Pages 68-82

    Towards the global optimization of functional logic programs

  7. Chapter

    Pages 83-97

    A portable and optimizing back end for the SML/NJ compiler

  8. Chapter

    Pages 98-112

    Efficient organization of control structures in distributed implementations

  9. Chapter

    Pages 113-127

    Implementing 2DT on a multiprocessor

  10. Chapter

    Pages 128-142

    Global code selection for directed acyclic graphs

  11. Chapter

    Pages 143-157

    Compiling nested loops for limited connectivity VLIWs

  12. Chapter

    Pages 158-171

    Delayed exceptions — Speculative execution of trapping instructions

  13. Chapter

    Pages 172-187

    On the implementation of abstract interpretation systems for (constraint) Logic Programs

  14. Chapter

    Pages 188-202

    A suite of analysis tools based on a general purpose abstract interpreter

  15. Chapter

    Pages 203-217

    Flow grammars — a flow analysis methodology

  16. Chapter

    Pages 218-232

    Provable correctness of prototype interpreters in LDL

  17. Chapter

    Pages 233-247

    Developing efficient interpreters based on formal language specifications

  18. Chapter

    Pages 248-262

    Generating an efficient compiler for a data parallel language from a denotational specification

  19. Chapter

    Pages 263-277

    Adding semantic and syntactic predicates to LL(k): pred-LL(k)

  20. Chapter

    Pages 278-293

    Cosy compiler phase embedding with the CoSy compiler model

  21. Chapter

    Pages 294-308

    Towards provably correct code generation for a hard real-time programming language

previous Page of 2