Skip to main content
SpringerLink
Log in
Book cover

Programming Languages and Systems

5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Zhong Shao
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4807)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk 1

    1. X10: Concurrent Programming for Modern Architectures

      • Vijay Saraswat
      Pages 1-1

    2. Session 1

      1. The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
        • Paritosh Shroff, Christian Skalka, Scott F. Smith
        Pages 2-18
      2. Local Reasoning for Storable Locks and Threads
        • Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv
        Pages 19-37
      3. Monadic, Prompt Lazy Assertions in Haskell
        • Olaf Chitil, Frank Huch
        Pages 38-53

    4. Session 3

      1. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
        • Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
        Pages 105-121
      2. On a Tighter Integration of Functional and Logic Programming
        • Bernd Braßel, Frank Huch
        Pages 122-138

  3. Invited Talk 2

    1. Scalable Simulation of Cellular Signaling Networks

      • Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
      Pages 139-157

    2. Session 4

      1. Timed, Distributed, Probabilistic, Typed Processes
        • Martin Berger, Nobuko Yoshida
        Pages 158-174
      2. A Probabilistic Applied Pi–Calculus
        • Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
        Pages 175-190
      3. Type-Based Verification of Correspondence Assertions for Communication Protocols
        • Daisuke Kikuchi, Naoki Kobayashi
        Pages 191-205

    3. Session 5

      1. Deriving Compilers and Virtual Machines for a Multi-level Language
        • Atsushi Igarashi, Masashi Iwaki
        Pages 206-221
      2. Finally Tagless, Partially Evaluated
        • Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
        Pages 222-238
      3. Polymorphic Delimited Continuations
        • Kenichi Asai, Yukiyoshi Kameyama
        Pages 239-254

    4. Session 6

      1. Adjunct Elimination in Context Logic for Trees
        • Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
        Pages 255-270
      2. Positive Arithmetic Without Exchange Is a Subclassical Logic
        • Stefano Berardi, Makoto Tatsuta
        Pages 271-285
      3. Mixed Inductive/Coinductive Types and Strong Normalization
        • Andreas Abel
        Pages 286-301
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation