You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Programming languages and systems
:
5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 ; proceedings
Contains:
Deriving compilers and virtual machines for a multi-level language / Atsushi Igarashi, and Masashi Iwaki -- Finally tagless, partially evaluated : tagless staged interpreters for similar typed languages / Jaques Carette, Oleg Kiselyov, and Chung-chieh Shan -- Polymorphic delimited continuations / Kenichi Asai, and Yukiyoshi Kameyama -- Adjunct elimination in context logic for trees / Cristiano Calcagno, Thomas Dinsdale-Young, and Philippa Gardner -- Positive arithmetic without exchange is a subclassical logic / Stefano Berardi and Makoto Tatsuta -- Mixed inductive/conductive types and strong normalizations / Andreas Abel -- Static and dynamic analysis : better together (abstract) / Sriram K.K. Rajamani -- The semantics of "semantic patches" in Coccinelle : program transformation for the working programmer / Neil D. Jones and René Rydhof Hansen -- An efficient SSA-based algorithm for complete global value numbering / Jiu-Tao Nie and Xu Cheng -- A systematic approach to probabilistic pointer analysis / Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky -- Complete lattices and up-to techniques / Damien Pous -- A trace based bisimulation for the spi calculus : an extended abstract / Alwen Tiu -- CCS with replication in the Chomsky hierarchy : the expressive power of divergence / Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, and Frank D. Valencia -- Call-by-name and call-by-value in normal modal logic / Yoshihiko Kakutani / Call-by-value is dual to call-by name, extended / Daisuke Kimura.