<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Compiler optimizations / Computing / Inline expansion / Optimizing compiler / Data-flow analysis / Scope / Standard ML / Functional programming / Directed acyclic graph / Static single assignment form
Date: 2017-07-17 11:35:05
Software engineering
Computer programming
Compiler optimizations
Computing
Inline expansion
Optimizing compiler
Data-flow analysis
Scope
Standard ML
Functional programming
Directed acyclic graph
Static single assignment form

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

Add to Reading List

Source URL: manticore.cs.uchicago.edu

Download Document from Source Website

File Size: 312,43 KB

Share Document on Facebook

Similar Documents

The Optimizer in
 Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Why? •

The Optimizer in
 Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Why? •

DocID: 1qWVb - View Document

Effectively Presenting Call Path Profiles of Application Performance Laksono Adhianto, John Mellor-Crummey and Nathan R. Tallent Department of Computer Science Rice University Houston, TX

Effectively Presenting Call Path Profiles of Application Performance Laksono Adhianto, John Mellor-Crummey and Nathan R. Tallent Department of Computer Science Rice University Houston, TX

DocID: 1qHeo - View Document

Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge   Simon Marlow

Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow

DocID: 1qxEI - View Document

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

DocID: 1quSj - View Document

waside-optimized-code.dvi

waside-optimized-code.dvi

DocID: 1qdOK - View Document