↓ 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 29: A Rewriting Semantics for Type Inference
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
19 Mendeley
citeulike
2 CiteULike
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
A Rewriting Semantics for Type Inference
Chapter number 29
Book title
Programming Languages and Systems
Published by
Springer, Berlin, Heidelberg, March 2007
DOI 10.1007/978-3-540-71316-6_29
Book ISBNs
978-3-54-071314-2, 978-3-54-071316-6
Authors

George Kuan, David MacQueen, Robert Bruce Findler, Kuan, George, MacQueen, David, Findler, Robert Bruce

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 4 21%
United Kingdom 1 5%
Unknown 14 74%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 26%
Student > Bachelor 2 11%
Other 2 11%
Student > Master 2 11%
Researcher 2 11%
Other 3 16%
Unknown 3 16%
Readers by discipline Count As %
Computer Science 14 74%
Business, Management and Accounting 1 5%
Mathematics 1 5%
Unknown 3 16%