↓ Skip to main content

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Type Checking Systems Code
  3. Altmetric Badge
    Chapter 2 Mixin Modules in a Call-by-Value Setting
  4. Altmetric Badge
    Chapter 3 Existential Types for Imperative Languages
  5. Altmetric Badge
    Chapter 4 Another Type System for In-Place Update
  6. Altmetric Badge
    Chapter 5 Soft Concurrent Constraint Programming
  7. Altmetric Badge
    Chapter 6 Programming Languages for Compressing Graphics
  8. Altmetric Badge
    Chapter 7 An Accumulative Parallel Skeleton for All
  9. Altmetric Badge
    Chapter 8 Higher-Order Intensional Type Analysis
  10. Altmetric Badge
    Chapter 9 Branching Types
  11. Altmetric Badge
    Chapter 10 Exceptions, Continuations and Macro-expressiveness
  12. Altmetric Badge
    Chapter 11 A Theory of Second-Order Trees
  13. Altmetric Badge
    Chapter 12 Tool Support for Improving Test Coverage
  14. Altmetric Badge
    Chapter 13 Data Space Oriented Tiling
  15. Altmetric Badge
    Chapter 14 Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach
  16. Altmetric Badge
    Chapter 15 Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
  17. Altmetric Badge
    Chapter 16 A Modular, Extensible Proof Method for Small-Step Flow Analyses
  18. Altmetric Badge
    Chapter 17 A Prototype Dependency Calculus
  19. Altmetric Badge
    Chapter 18 Automatic Complexity Analysis
  20. Altmetric Badge
    Chapter 19 Thread-Modular Verification for Shared-Memory Programs
  21. Altmetric Badge
    Chapter 20 Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures
  22. Altmetric Badge
    Chapter 21 Finite-Control Mobile Ambients
  23. Altmetric Badge
    Chapter 22 Dependency Analysis of Mobile Systems
Attention for Chapter 4: Another Type System for In-Place Update
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
13 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
Another Type System for In-Place Update
Chapter number 4
Book title
Programming Languages and Systems
Published by
Springer, Berlin, Heidelberg, April 2002
DOI 10.1007/3-540-45927-8_4
Book ISBNs
978-3-54-043363-7, 978-3-54-045927-9
Authors

David Aspinall, Martin Hofmann

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Taiwan 1 8%
Unknown 12 92%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 3 23%
Professor 2 15%
Student > Ph. D. Student 2 15%
Researcher 2 15%
Professor > Associate Professor 2 15%
Other 0 0%
Unknown 2 15%
Readers by discipline Count As %
Computer Science 8 62%
Business, Management and Accounting 1 8%
Psychology 1 8%
Chemistry 1 8%
Engineering 1 8%
Other 0 0%
Unknown 1 8%