サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
www.cs.princeton.edu/~appel
Andrew W. Appel Eugene Higgins Professor of Computer Science Department of Computer Science Princeton University Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology. Applicants to the PhD program interested in programming languages and formal methods should consider Professor Milano (in addition to
Appeared at the Fifth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, London Ontario, May 16, 1984. MICHAEL L. MAULDIN, GUY JACOBSON, ANDREW APPEL and LEONARD HAMEY DEPARTMENT OF COMPUTER SCIENCE CARNEGIE MELLON UNIVERSITY 5000 FORBES AVENUE PITTSBURGH, PA 15213 May 16, 1984 ABSTRACT Rog-O-Matic is a novel combination of algorithmic and production systems pro
©1998 by Andrew W. Appel Published by Cambridge University Press (New York, Cambridge). ISBN 0-521-60764-7 (paperback) Table of Contents; Preface Reviews of this book Also available: Modern Compiler Implementation in Java Modern Compiler Implementation in C Software Which version of ML to use ML-Lex Lexical Analyzer Generator ML-Yacc Parser Generator SPIM (and why you might want to use it if you d
このページを最初にブックマークしてみませんか?
『www.cs.princeton.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く