Sökning: "interprocedural analysis"

Hittade 3 avhandlingar innehållade orden interprocedural analysis.

1. 1. Interprocedural register allocation for lazy functional languages

   Författare :Urban Boquist; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; laxy functional languages; interprocedural analysis; register allocation; code generation; monads;

   Sammanfattning : .... LÄS MER

3. 2. Affect-chaining in program flow analysis applied to queries of programs

   Författare :Mariam Kamkar; Nahid Shahmehri; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis presents how program flow analysis methods can be used to help the programmer understand data flow and data dependencies in programs. The design and implementation of an interactive query tool based on static analysis methods is presented. LÄS MER

4. 3. Code Optimisation Techniques for Lazy Functional Languages

   Författare :Urban Boquist; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; graph reduction; garbage collection; lazy functional languages; program transformation; interprocedural register allocation; graph colouring; intermediate code; code optimisation; compiler back-end;

   Sammanfattning : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. LÄS MER