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

Programming Languages and Systems

17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Editors:

  1. Sophia Drossopoulou
    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 4960)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2008.

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 (29 papers)

  1. Front Matter

    PDF

  2. Semantics, Parametricity, and Types

    1. A Sound Semantics for OCaml light

      • Scott Owens
      Pages 1-15

  3. Semantics

    1. A Theory of Hygienic Macros

      • David Herman, Mitchell Wand
      Pages 48-62

    2. A Hybrid Denotational Semantics for Hybrid Systems

      • Olivier Bouissou, Matthieu Martel
      Pages 63-77

    3. Full Abstraction for Linda

      • Cinzia Di Giusto, Maurizio Gabbrielli
      Pages 78-92

    4. Practical Programming with Higher-Order Encodings and Dependent Types

      • Adam Poswolsky, Carsten Schürmann
      Pages 93-107

  4. Functional and Logic Programming

    1. Programming in JoCaml (Tool Demonstration)

      • Louis Mandel, Luc Maranget
      Pages 108-111

    2. Playing with \(\cal{TOY}\): Constraints and Domain Cooperation

      • Sonia Estévez-Martín, Antonio J. Fernández, Fernando Sáenz-Pérez
      Pages 112-115

    3. Typing Safe Deallocation

      • Gérard Boudol
      Pages 116-130

    4. Iterative Specialisation of Horn Clauses

      • Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
      Pages 131-145

  5. ESOP Invited Talk

  6. Static Analysis

    1. Ranking Abstractions

      • Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
      Pages 148-162

    3. Upper Adjoints for Fast Inter-procedural Variable Equalities

      • Markus Müller-Olm, Helmut Seidl
      Pages 178-192

    4. Cover Algorithms and Their Combination

      • Sumit Gulwani, Madan Musuvathi
      Pages 193-207

  7. Security I

    1. Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)

      • Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 208-223

    2. Linear Declassification

      • Yûta Kaneko, Naoki Kobayashi
      Pages 224-238
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