Programming Languages and Systems

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

Editors:

ISBN: 978-3-540-76636-0 (Print) 978-3-540-76637-7 (Online)

Table of contents (28 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talk 1

    1. No Access

      Book Chapter

      Pages 1-1

      X10: Concurrent Programming for Modern Architectures

    2. Session 1

      1. No Access

        Book Chapter

        Pages 2-18

        The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

      2. No Access

        Book Chapter

        Pages 19-37

        Local Reasoning for Storable Locks and Threads

      3. No Access

        Book Chapter

        Pages 38-53

        Monadic, Prompt Lazy Assertions in Haskell

      Session 2

      1. No Access

        Book Chapter

        Pages 54-70

        Translation Correctness for First-Order Object-Oriented Pattern Matching

      2. No Access

        Book Chapter

        Pages 71-85

        Persistent Oberon: A Programming Language with Integrated Persistence

      3. No Access

        Book Chapter

        Pages 86-104

        More Typed Assembly Languages for Confidentiality

      Session 3

      1. No Access

        Book Chapter

        Pages 105-121

        A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics

      2. No Access

        Book Chapter

        Pages 122-138

        On a Tighter Integration of Functional and Logic Programming

  3. Invited Talk 2

    1. No Access

      Book Chapter

      Pages 139-157

      Scalable Simulation of Cellular Signaling Networks

    2. Session 4

      1. No Access

        Book Chapter

        Pages 158-174

        Timed, Distributed, Probabilistic, Typed Processes

      2. No Access

        Book Chapter

        Pages 175-190

        A Probabilistic Applied Pi–Calculus

      3. No Access

        Book Chapter

        Pages 191-205

        Type-Based Verification of Correspondence Assertions for Communication Protocols

      Session 5

      1. No Access

        Book Chapter

        Pages 206-221

        Deriving Compilers and Virtual Machines for a Multi-level Language

      2. No Access

        Book Chapter

        Pages 222-238

        Finally Tagless, Partially Evaluated

      3. No Access

        Book Chapter

        Pages 239-254

        Polymorphic Delimited Continuations

      Session 6

      1. No Access

        Book Chapter

        Pages 255-270

        Adjunct Elimination in Context Logic for Trees

      2. No Access

        Book Chapter

        Pages 271-285

        Positive Arithmetic Without Exchange Is a Subclassical Logic

      3. No Access

        Book Chapter

        Pages 286-301

        Mixed Inductive/Coinductive Types and Strong Normalization

  4. Invited Talk 3

    1. No Access

      Book Chapter

      Pages 302-302

      Static and Dynamic Analysis: Better Together

previous Page of 2