WorldCat Identities

Appel, Andrew W. 1960-

Overview
Works: 54 works in 216 publications in 3 languages and 3,092 library holdings
Roles: Author of introduction, Editor, Contributor
Classifications: QA76.76.C65, 005.453
Publication Timeline
Key
Publications about  Andrew W Appel Publications about Andrew W Appel
Publications by  Andrew W Appel Publications by Andrew W Appel
Most widely held works about Andrew W Appel
 
Most widely held works by Andrew W Appel
Modern compiler implementation in Java by Andrew W Appel ( Book )
57 editions published between 1997 and 2009 in 3 languages and held by 1,492 WorldCat member libraries worldwide
This textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional and object-oriented languages. In a concise and practical way the author describes the fundamentals of compilation and then moves on to advanced topics such as SSA form, loop scheduling, and optimization for cache-memory hierarchies. The new edition features a redesigned compiler project in Java, for a subset of Java itself, covering both front-end and back-end phases
Modern compiler implementation in C by Andrew W Appel ( Book )
74 editions published between 1997 and 2010 in 3 languages and held by 943 WorldCat member libraries worldwide
"This textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that is missing from most books. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual C header files." "A unique feature of the book is a well designed compiler implementation project in C, including front-end and "high-tech" back-end phases, so that students can build a complete working compiler in one semester."--Jacket
Compiling with continuations by Andrew W Appel ( Book )
17 editions published between 1991 and 2006 in English and held by 314 WorldCat member libraries worldwide
Alan Turing's systems of logic : the Princeton thesis by Alan Mathison Turing ( Book )
7 editions published in 2012 in English and held by 125 WorldCat member libraries worldwide
Program logics for certified compilers by Andrew W Appel ( Book )
3 editions published in 2014 in English and held by 82 WorldCat member libraries worldwide
Real-time concurrent collection on stock multiprocessors by John R Ellis ( Book )
5 editions published in 1988 in English and Undetermined and held by 21 WorldCat member libraries worldwide
Compile-time evaluation and code generation for semantics-directed compilers by Andrew W Appel ( Book )
3 editions published between 1985 and 1986 in English and held by 11 WorldCat member libraries worldwide
An efficient program for many-body simulations (or, Cray performance from a VAX) by Andrew W Appel ( Book )
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
Rog-O-Matic : a belligerent expert system by M Mauldin ( Book )
1 edition published in 1983 in English and held by 5 WorldCat member libraries worldwide
Unifying exceptions with constructors in standard ML by Andrew W Appel ( Book )
1 edition published in 1988 in English and held by 5 WorldCat member libraries worldwide
The world's fastest scrabble program by Andrew W Appel ( Book )
2 editions published in 1986 in Undetermined and English and held by 4 WorldCat member libraries worldwide
Saishin konpaira kōsei gihō by Andrew W Appel ( Book )
2 editions published in 2009 in Japanese and held by 3 WorldCat member libraries worldwide
Continuation-passing, closure-passing style by Andrew W Appel ( Book )
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
Callee-save registers in continuation-passing style by Andrew W Appel ( Book )
1 edition published in 1991 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Continuation-passing style (CPS) is a good abstract representation to use for compilation and optimization: it has a clean semantics and is easily manipulated. We examine how CPS expresses the saving and restoring of registers in source-language procedure calls. As CPS-conversion is usually written, the context of the calling procedure is saved in a 'continuation closure' -- a single variable that is passed as an argument to the function being called. This closure is a record containing bindings of all the free variables of the continuation: that is, registers that hold values needed by the caller 'after the call' are written to memory in the closure, and fetched back after the call
Debugging Standard ML without reverse engineering by Andrew Peter Tolmach ( Book )
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Abstract: "We have built a novel and efficient replay debugger for our Standard ML compiler. Debugging facilities are provided by instrumenting the user's source code; this approach, made feasible by ML's safety property, is machine-independent and back-end independent. Replay is practical because ML is normally used functionally, and our compiler uses continuation-passing style; thus most of the program's state can be checkpointed quickly and compactly using call-with-current-continuation. Together, instrumentation and replay support a simple and elegant debugger featuring full variable display, polymorphic type resolution, stack trace- back, breakpointing, and reverse execution, even though our compiler is very highly optimizing and has no run-time stack."
A standard ML compiler by Andrew W Appel ( Book )
2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide
Profiling in the presence of optimization and garbage collection by Andrew W Appel ( Book )
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
Standard ML of New Jersey by Andrew W Appel ( Book )
1 edition published in 1991 in English and held by 3 WorldCat member libraries worldwide
Abstract: "The standard ML of New Jersey compiler has been under development for five years now. We have developed a robust and complete environment for Standard ML that supports the implementation of large software systems and generates efficient code. The compiler has also served as a laboratory for developing novel implementation techniques for a sophisticated type and module system, continuation based code generation, efficient pattern matching, and concurrent programming features."
Optimizing closure environment representations by Andrew W Appel ( Book )
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
Vectorized garbage collection by Andrew W Appel ( Book )
1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.10 for Appel, And ... to 0.93 for Program lo ...)
Alternative Names
Appel, Andrew Wilson 1960-
エイペル, アンドリュー・W
Languages
English (174)
Italian (2)
Japanese (2)
Covers