TY - BOOK
AU - APLAS 5 2007 Singapur
AU - Shao, Zhong
TI - Programming languages and systems 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 ; proceedings
PB - Springer
SN - 3540766367
SN - 9783540766360
KW - Programming languages (Electronic computers) Congresses
KW - Konferenzschrift 2007 Singapur
KW - Programmierung
KW - Programmiersprache
KW - Constraint-basiertes Schließen
KW - Programmanalyse
KW - Programmtransformation
PY - 2007
N2 - Literaturangaben
N2 - 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.
BT - Lecture notes in computer science ; 4807
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation