Skip to main content

Programming Languages and Systems

16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

  • Conference proceedings
  • © 2007

Access provided by Autonomous University of Puebla

Overview

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

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

Included in the following conference series:

Conference proceedings info: ESOP 2007.

Buy print copy

Softcover Book USD 109.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

Keywords

Table of contents (35 papers)

  1. Models and Languages for Web Services

  2. Verification

  3. Term Rewriting

  4. Language Based Security

  5. Logics and Correctness Proofs

  6. Static Analysis and Abstract Interpretation I

Other volumes

  1. Programming Languages and Systems

Bibliographic Information

Publish with us