Programming languages and systems
Subtitle: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings
By: Zhong Shao (ed.).
Contributors: Shao, Zhong, 1968-
Series: Lecture notes in computer science -- 4807; LNCS sublibrary. SL 2, Programming and software engineering; Lecture notes in computer science -- 4807.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 430
ISBN-13: 9783540766360
Subjects: Congresses; Programming languages (Electronic computers)
Other titles: APLAS 2007
Notes: Includes bibliographical references and index.

Also issued online.
Table of contents: title: Deriving compilers and virtual machines for a multi-level language / Atsushi Igarashi, and Masashi Iwaki; title: Finally tagless, partially evaluated : tagless staged interpreters for similar typed languages / Jaques Carette, Oleg Kiselyov, and Chung-chieh Shan; title: Polymorphic delimited continuations / Kenichi Asai, and Yukiyoshi Kameyama; title: Adjunct elimination in context logic for trees / Cristiano Calcagno, Thomas Dinsdale-Young, and Philippa Gardner; title: Positive arithmetic without exchange is a subclassical logic / Stefano Berardi and Makoto Tatsuta; title: Mixed inductive/conductive types and strong normalizations / Andreas Abel; title: Static and dynamic analysis : better together (abstract) / Sriram K.K. Rajamani; title: The semantics of "semantic patches" in Coccinelle : program transformation for the working programmer / Neil D. Jones and René Rydhof Hansen; title: An efficient SSA-based algorithm for complete global value numbering / Jiu-Tao Nie and Xu Cheng; title: A systematic approach to probabilistic pointer analysis / Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky; title: Complete lattices and up-to techniques / Damien Pous; title: A trace based bisimulation for the spi calculus : an extended abstract / Alwen Tiu; title: CCS with replication in the Chomsky hierarchy : the expressive power of divergence / Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, and Frank D. Valencia; title: 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.