↓ 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 Practics [i.e. Practice] of Software, ETAPS 2007…

Overview of attention for book
Cover of 'Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Programming Languages and Systems
  3. Altmetric Badge
    Chapter 2 Structured Communication-Centred Programming for Web Services
  4. Altmetric Badge
    Chapter 3 CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
  5. Altmetric Badge
    Chapter 4 A Calculus for Orchestration of Web Services
  6. Altmetric Badge
    Chapter 5 A Concurrent Calculus with Atomic Transactions
  7. Altmetric Badge
    Chapter 6 Modal I/O Automata for Interface and Product Line Theories
  8. Altmetric Badge
    Chapter 7 Using History Invariants to Verify Observers
  9. Altmetric Badge
    Chapter 8 On the Implementation of Construction Functions for Non-free Concrete Data Types
  10. Altmetric Badge
    Chapter 9 Anti-pattern Matching
  11. Altmetric Badge
    Chapter 10 A Certified Lightweight Non-interference Java Bytecode Verifier
  12. Altmetric Badge
    Chapter 11 Controlling the What and Where of Declassification in Language-Based Security
  13. Altmetric Badge
    Chapter 12 Cost Analysis of Java Bytecode
  14. Altmetric Badge
    Chapter 13 On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
  15. Altmetric Badge
    Chapter 14 Abstract Predicates and Mutable ADTs in Hoare Type Theory
  16. Altmetric Badge
    Chapter 15 Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic
  17. Altmetric Badge
    Chapter 16 Modular Shape Analysis for Dynamically Encapsulated Programs
  18. Altmetric Badge
    Chapter 17 Static Analysis by Policy Iteration on Relational Domains
  19. Altmetric Badge
    Chapter 18 Computing Procedure Summaries for Interprocedural Analysis
  20. Altmetric Badge
    Chapter 19 Small Witnesses for Abstract Interpretation-Based Proofs
  21. Altmetric Badge
    Chapter 20 Interprocedurally Analysing Linear Inequality Relations
  22. Altmetric Badge
    Chapter 21 Precise Fixpoint Computation Through Strategy Iteration
  23. Altmetric Badge
    Chapter 22 A Complete Guide to the Future
  24. Altmetric Badge
    Chapter 23 The Java Memory Model: Operationally, Denotationally, Axiomatically
  25. Altmetric Badge
    Chapter 24 Immutable Objects for a Java-Like Language
  26. Altmetric Badge
    Chapter 25 Scalar Outcomes Suffice for Finitary Probabilistic Testing
  27. Altmetric Badge
    Chapter 26 Probabilistic Anonymity Via Coalgebraic Simulations
  28. Altmetric Badge
    Chapter 27 A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
  29. Altmetric Badge
    Chapter 28 A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
  30. Altmetric Badge
    Chapter 29 A Rewriting Semantics for Type Inference
  31. Altmetric Badge
    Chapter 30 Principal Type Schemes for Modular Programs
  32. Altmetric Badge
    Chapter 31 A Consistent Semantics of Self-adjusting Computation
  33. Altmetric Badge
    Chapter 32 Multi-language Synchronization
  34. Altmetric Badge
    Chapter 33 Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
  35. Altmetric Badge
    Chapter 34 Type Reconstruction for General Refinement Types
  36. Altmetric Badge
    Chapter 35 Dependent Types for Low-Level Programming
Attention for Chapter 20: Interprocedurally Analysing Linear Inequality Relations
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Interprocedurally Analysing Linear Inequality Relations
Chapter number 20
Book title
Programming Languages and Systems
Published by
Springer, Berlin, Heidelberg, March 2007
DOI 10.1007/978-3-540-71316-6_20
Book ISBNs
978-3-54-071314-2, 978-3-54-071316-6
Authors

Helmut Seidl, Andrea Flexeder, Michael Petter

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 50%
Student > Ph. D. Student 1 50%
Professor > Associate Professor 1 50%
Readers by discipline Count As %
Computer Science 3 150%