-
1Table of Contents: “… -- Mapping and Execution Optimizations -- Compilers for Reconfigurable Architectures -- Perspectives…”
Full Text via HEAL-Link
Electronic eBook -
2by Sestoft, PeterTable of Contents: “… -- Locally Optimizing Compiler -- Crash Course in F# -- Index.…”
Published 2012
Full Text via HEAL-Link
Electronic eBook -
3by Sestoft, PeterTable of Contents: “… Optimizing Compiler -- Compiling Micro-SML -- Real Machine Code -- A Crash Course in F#.…”
Published 2017
Full Text via HEAL-Link
Electronic eBook -
4Published 2007Table of Contents: “…Formal Verification of an Optimizing Compiler -- Challenges in Satisfiability Modulo Theories…”
Full Text via HEAL-Link
Electronic eBook -
5Table of Contents: “… Compiler Optimizations -- Compiler and Synthesis Transformations Employed During Scheduling -- Code…”
Full Text via HEAL-Link
Electronic eBook -
6Published 2001Table of Contents: “…, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing…”
Full Text via HEAL-Link
Electronic eBook -
7Published 2003Table of Contents: “…Optimizing Compiler Design for Modularity and Extensibility -- Translation Schemes for the HPJava…”
Full Text via HEAL-Link
Electronic eBook -
8Published 2007Table of Contents: “… Components -- ViDoC - Visual Design of Optimizing Compilers -- Abstract Interpretation for Worst and Average…”
Full Text via HEAL-Link
Electronic eBook -
9Published 2006Table of Contents: “… Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs…”
Full Text via HEAL-Link
Electronic eBook -
10Published 2004Table of Contents: “… of an Industrial Optimizing Compiler -- Composition of Accelerations to Verify Infinite Heterogeneous Systems…”
Full Text via HEAL-Link
Electronic eBook -
11Published 2006Table of Contents: “… of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages -- Description Logic Reasoning…”
Full Text via HEAL-Link
Electronic eBook -
12Published 2008Table of Contents: “… -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real…”
Full Text via HEAL-Link
Electronic eBook -
13Table of Contents: “… for Generating Variable Range Tables -- Program Analysis -- Efficient Symbolic Analysis for Optimizing Compilers…”
Full Text via HEAL-Link
Electronic eBook -
14Published 1998Table of Contents: “… as Model Checking of Abstract Interpretations -- Invited Talks -- Certifying, Optimizing Compilation.…”
Full Text via HEAL-Link
Electronic eBook -
15Published 2007Table of Contents: “… Architecture -- Power Aware External Bus Arbitration for System-on-a-Chip Embedded Systems -- 2: Optimizing…”
Full Text via HEAL-Link
Electronic eBook -
16Published 2006Table of Contents: “… Translation for Optimizing Compilers -- Analysis of Low-Level Code Using Cooperating Decompilers -- Session 6…”
Full Text via HEAL-Link
Electronic eBook -
17Published 2007Table of Contents: “… of Optimizing Compilers.…”
Full Text via HEAL-Link
Electronic eBook -
18Published 1999Table of Contents: “… Theater Play -- Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing…”
Full Text via HEAL-Link
Electronic eBook -
19Published 2001Table of Contents: “… and Introducing the Cardinality-PathConstraint Family -- Optimizing Compilation of Constraint Handling Rules…”
Full Text via HEAL-Link
Electronic eBook -
20Published 2003Table of Contents: “… Allocation for Optimizing Compilers -- A Source-To-Source Architecture for User-Defined Optimizations…”
Full Text via HEAL-Link
Electronic eBook