Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Programming Languages and Systems

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

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)

Conference series link(s): APLAS: Asian Symposium on Programming Languages and Systems

Conference proceedings info: APLAS 2007.

Sections

Buy it now

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

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

Table of contents (28 papers)

  1. Front Matter

    PDF

  2. Invited Talk 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. 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
Back to top

Other Volumes

  1. Programming Languages and Systems

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation