<--- Back to Details
First PageDocument Content
Compiler construction / Control flow / Compiler optimizations / Programming language implementation / Static single assignment form / Setjmp.h / Continuation-passing style / Constant folding / Subroutine / Software engineering / Computing / Computer programming
Date: 2011-08-22 07:52:53
Compiler construction
Control flow
Compiler optimizations
Programming language implementation
Static single assignment form
Setjmp.h
Continuation-passing style
Constant folding
Subroutine
Software engineering
Computing
Computer programming

Compiler optimizations based on call-graph flattening

Add to Reading List

Source URL: cafxx.strayorange.com

Download Document from Source Website

File Size: 883,00 KB

Share Document on Facebook

Similar Documents

Stream Fusion in Continuation Passing Style Ben Lippmeier SAWDAP BM-1

DocID: 1tK5O - View Document

Software engineering / Computer programming / Computing / Functional languages / Data types / Functional programming / Subroutines / Procedural programming languages / Eval / Standard ML / Const / Continuation-passing style

Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

DocID: 1r6Yp - View Document

Software engineering / Computer programming / Continuations / Subroutines / Memory management / Control flow / Models of computation / Continuation-passing style / Call stack / Call-with-current-continuation / Continuation / Escape analysis

Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University

DocID: 1qVYN - View Document

Lambda calculus / Functional programming / Theoretical computer science / Logic in computer science / Continuation-passing style / Combinatory logic / Eval / Monad / Derivative / Free variables and bound variables / Lambda calculus definition / A-normal form

Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science

DocID: 1ppe8 - View Document

Software engineering / Logic / Declarative programming / Models of computation / Computability theory / Lambda calculus / Theoretical computer science / Continuation-passing style / Free variables and bound variables / Substitution

ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

DocID: 1nx1t - View Document