×

zbMATH — the first resource for mathematics

Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. (English) Zbl 1135.68004
Lecture Notes in Computer Science 4807. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). xi, 431 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1133.68007).
Indexed articles:
Shroff, Paritosh; Skalka, Christian; Smith, Scott F., The nuggetizer: Abstracting away higher-orderness for program verification, 2-18 [Zbl 1137.68357]
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly, Local reasoning for storable locks and threads, 19-37 [Zbl 1137.68354]
Emir, Burak; Ma, Qin; Odersky, Martin, Translation correctness for first-order object-oriented pattern matching, 54-70 [Zbl 1137.68353]
Yu, Dachuan, More typed assembly languages for confidentiality, 86-104 [Zbl 1137.68359]
Zhao, Lingzhong; Gu, Tianlong; Qian, Junyan; Cai, Guoyong, A novel test case generation method for Prolog programs based on call patterns semantics, 105-121 [Zbl 1137.68343]
Braßel, Bernd; Huch, Frank, On a tighter integration of functional and logic programming, 122-138 [Zbl 1137.68336]
Berger, Martin; Yoshida, Nobuko, Timed, distributed, probabilistic, typed processes, 158-174 [Zbl 1137.68442]
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo, A probabilistic applied pi-calculus, 175-190 [Zbl 1137.68448]
Kikuchi, Daisuke; Kobayashi, Naoki, Type-based verification of correspondence assertions for communication protocols, 191-205 [Zbl 1137.68436]
Asai, Kenichi; Kameyama, Yukiyoshi, Polymorphic delimited continuations, 239-254 [Zbl 1137.68344]
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa, Adjunct elimination in context logic for trees, 255-270 [Zbl 1137.03312]
Berardi, Stefano; Tatsuta, Makoto, Positive arithmetic without exchange is a subclassical logic, 271-285 [Zbl 1138.03019]
Abel, Andreas, Mixed inductive/coinductive types and strong normalization, 286-301 [Zbl 1138.68023]
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert, A systematic approach to probabilistic pointer analysis, 335-350 [Zbl 1137.68352]
Pous, Damien, Complete lattices and up-to techniques, 351-366 [Zbl 1138.68041]
Tiu, Alwen, A trace based bisimulation for the spi calculus: An extended abstract, 367-382 [Zbl 1137.68455]
Aranda, Jesús; Di Giusto, Cinzia; Nielsen, Mogens; Valencia, Frank D., CCS with replication in the Chomsky hierarchy: The expressive power of divergence, 383-398 [Zbl 1138.68038]
Kakutani, Yoshihiko, Call-by-name and call-by-value in normal modal logic, 399-414 [Zbl 1138.68024]
Kimura, Daisuke, Call-by-value is dual to call-by-name, extended, 415-430 [Zbl 1138.68025]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI