What people are saying - Write a review
We haven't found any reviews in the usual places.
30 Chaired by Neil Jones University of Copenhagen
1420016200 Chaired by Atsushi Ohori Kyoto University
16 other sections not shown
ACM SIGPLAN algorithm alias analysis application Array SSA form assignment back-substitution benchmarks bytecode calculus closure compiler Computer Science constraints context control ﬂow data structures data-ﬂow deﬁned deﬁnition dynamic messages edge proﬁle evaluation example execution expression ﬁeld Figure ﬁle ﬁnite ﬁrst frequency func Functional Programming global graph heap higher-order hole abstractions hot paths implementation induction instantiation integer interface interprocedural iteration Java lambda calculus Language Design Lemma loop method mixin monadic node obfuscator object object-oriented operational semantics operations optimization parallel partial redundancy elimination path proﬁles pointer pointer analysis polymorphic predicate Principles of Programming Proc program point Programming Languages proof properties recursive reduction result rules run-time Section semantics SIGPLAN soundness theorem speciﬁc stack static expansion static type subroutine subtyping supemode Symposium on Principles tail recursive term theorem tion transformations tuple type inference type system type variables unCurrying uniﬁcation value numbering