WorldCat Identities

Appel, Andrew W. 1960-

Overview
Works: 59 works in 250 publications in 4 languages and 3,358 library holdings
Roles: Author, Editor, Author of introduction, Contributor
Classifications: QA76.76.C65, 005.453
Publication Timeline
.
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 )

65 editions published between 1997 and 2009 in 3 languages and held by 944 WorldCat member libraries worldwide

"The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the compilation of object-oriented and functional languages, garbage collection, loop optimization, SSA form, instruction scheduling, optimization for cache-memory hierarchies, can be used for a second-semester or graduate course."--Jacket
Modern compiler implementation in C by Andrew W Appel( Book )

80 editions published between 1997 and 2010 in English and Undetermined and held by 926 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 )

20 editions published between 1991 and 2006 in English and Spanish and held by 310 WorldCat member libraries worldwide

Alan Turing's systems of logic : the Princeton thesis by Alan Mathison Turing( Book )

12 editions published between 2012 and 2014 in English and held by 169 WorldCat member libraries worldwide

Program logics for certified compilers by Andrew W Appel( Book )

8 editions published in 2014 in English and held by 114 WorldCat member libraries worldwide

Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras
Real-time concurrent collection on stock multiprocessors by John R Ellis( Book )

5 editions published in 1988 in English and Undetermined and held by 18 WorldCat member libraries worldwide

Compile-time evaluation and code generation for semantics-directed compilers by Andrew W Appel( Book )

4 editions published between 1985 and 1986 in English and Undetermined 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 )

2 editions published in 1983 in Undetermined and 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

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

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

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."
Vectorized garbage collection by Andrew W Appel( Book )

1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide

A standard ML compiler by Andrew W Appel( Book )

2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide

An advisor for flexible working sets by Rafael Alonso( Book )

1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide

User processes may ask this server for advice about working set sizes, so as to take maximum advantage of memory resources. Our implementation is quite simple, and has negligible overhead, and experimental results show that it results in sizable performance improvements."
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
Saishin konpaira kosei giho by Andrew W Appel( Book )

2 editions published in 2009 in Japanese 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.50 (from 0.28 for Modern com ... to 0.99 for Appel, And ...)

Alternative Names
Andrew Appel Eugene Higgins Professor of computer science/Princeton University/New Jersey

Appel, Andrew Wilson 1960-

エイペル, アンドリュー・W

Languages
Covers
Modern compiler implementation in CCompiling with continuations