WorldCat Identities

Appel, Andrew W. 1960-

Overview
Works: 59 works in 284 publications in 4 languages and 3,570 library holdings
Roles: Author, Editor, Author of introduction, Contributor, Other
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 )

52 editions published between 1998 and 2009 in 3 languages and held by 722 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 )

54 editions published between 1997 and 2010 in English and Undetermined and held by 565 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
Modern compiler implementation in ML by Andrew W Appel( Book )

40 editions published between 1997 and 2004 in English and Italian and held by 381 WorldCat member libraries worldwide

This new, expanded 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 are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. 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. 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 advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies."--Pub. desc
Compiling with continuations by Andrew W Appel( Book )

24 editions published between 1991 and 2006 in English and Spanish and held by 308 WorldCat member libraries worldwide

The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real compilers. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler for the programming language Standard ML. However, prior knowledge of ML is not necessary, as the author carefully explains each concept as it arises. This is the first book to show how concepts from the theory of programming languages can be applied to the producton of practical optimising compilers for modern languages like ML. This book will be essential reading for compiler writers in both industry and academe, as well as for students and researchers in programming language theory
Modern compiler implementation in Java : basic techniques by Andrew W Appel( Book )

18 editions published in 1997 in English and Undetermined and held by 245 WorldCat member libraries worldwide

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

13 editions published between 2012 and 2014 in English and held by 193 WorldCat member libraries worldwide

"Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world -- including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene -- were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. Though less well known than his other work, Turing's 1938 Princeton PhD thesis, {u2018}Systems of Logic Based on Ordinals,{u2019} which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This book presents a facsimile of the original typescript of the thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance. A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal -- a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that {u2018}mathematical reasoning can be done, and should be done, in mechanizable formal logic.{u2019} Turing's vision of {u2018}constructive systems of logic for practical use{u2019} has become reality: in the twenty-first century, automated {u2018}formal methods{u2019} are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science."--From the dust-jacket flaps
Program logics for certified compilers by Andrew W Appel( Book )

10 editions published in 2014 in English and held by 128 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 )

6 editions published in 1988 in English and Undetermined and held by 19 WorldCat member libraries worldwide

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

5 editions published between 1985 and 1986 in English and Undetermined and held by 12 WorldCat member libraries worldwide

Unifying exceptions with constructors in standard ML by Andrew W Appel( Book )

4 editions published in 1988 in English and held by 10 WorldCat member libraries worldwide

Vectorized garbage collection by Andrew W Appel( Book )

4 editions published in 1988 in English and held by 10 WorldCat member libraries worldwide

An efficient program for many-body simulations (or, Cray performance from a VAX) by Andrew W Appel( Book )

3 editions published in 1983 in English and held by 8 WorldCat member libraries worldwide

The simulation of N particles interacting in a gravitational force field is useful in astrophysics, but such simulations become costly for large N. Representing the universe as a tree structure with the particles at the leaves and internal nodes labelled with the centers of mass of their descendants allows several simultaneous attacks on the computation time required by the problem. These approaches range from algorithmic changes (replacing an O(N2) algorithm with an O(N log N) algorithm) to data structure modifications, code-tuning, and hardware modifications. The changes reduced the running time of a large problem (N = 10,000) by a factor of four hundred. This paper describes both the particular program and the methodology underlying such speedups
Rog-O-Matic : a belligerent expert system by Michael L 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 English and held by 4 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

Consider the procedure-call mechanisms used by conventional compilers. In particular, registers holding values needed after the call must be saved and later restored. The responsibility for saving registers can lie with the caller (a 'caller-saves' convention) or with the called function ('callee-saves'). In practice, to optimize memory traffic compilers find it useful to have some caller-saves registers and some callee-saves. Clearly the usual translation into CPS is a caller-saves convention. We explain how to express callee-save registers in Continuation-Passing Style, and give measurements showing the resulting improvement in execution time."
Concise specifications of locally optimal code generators by Andrew W Appel( Book )

1 edition published in 1897 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."
A standard ML compiler by Andrew W Appel( Book )

2 editions published in 1987 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

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.52 (from 0.22 for Modern com ... to 0.99 for Appel, And ...)

Modern compiler implementation in Java : basic techniques
Alternative Names
Andrew Appel Amerikaans informaticus

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

Appel, Andrew Wilson 1960-

اندرو اپل

ആൻഡ്രു അപ്പെൽ

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

Languages
Covers
Modern compiler implementation in CModern compiler implementation in MLCompiling with continuationsModern compiler implementation in Java : basic techniques