↓ 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 Types for Hierarchic Shapes
  3. Altmetric Badge
    Chapter 2 Linear Regions Are All You Need
  4. Altmetric Badge
    Chapter 3 Type-Based Amortised Heap-Space Analysis
  5. Altmetric Badge
    Chapter 4 Programming Languages and Systems
  6. Altmetric Badge
    Chapter 5 Coinductive Big-Step Operational Semantics
  7. Altmetric Badge
    Chapter 6 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
  8. Altmetric Badge
    Chapter 7 Approaches to Polymorphism in Classical Sequent Calculus
  9. Altmetric Badge
    Chapter 8 Pure Pattern Calculus
  10. Altmetric Badge
    Chapter 9 A Verification Methodology for Model Fields
  11. Altmetric Badge
    Chapter 10 ILC: A Foundation for Automated Reasoning About Pointer Programs
  12. Altmetric Badge
    Chapter 11 Bisimulations for Untyped Imperative Objects
  13. Altmetric Badge
    Chapter 12 A Typed Assembly Language for Confidentiality
  14. Altmetric Badge
    Chapter 13 Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
  15. Altmetric Badge
    Chapter 14 A Basic Contract Language for Web Services
  16. Altmetric Badge
    Chapter 15 Types for Dynamic Reconfiguration
  17. Altmetric Badge
    Chapter 16 Size-Change Termination Analysis in k-Bits
  18. Altmetric Badge
    Chapter 17 Path Optimization in Programs and Its Application to Debugging
  19. Altmetric Badge
    Chapter 18 Inference of User-Defined Type Qualifiers and Qualifier Rules
  20. Altmetric Badge
    Chapter 19 Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
  21. Altmetric Badge
    Chapter 20 Embedding Dynamic Dataflow in a Call-by-Value Language
  22. Altmetric Badge
    Chapter 21 Polymorphic Type Inference for the JNI
  23. Altmetric Badge
    Chapter 22 Type Safety of Generics for the .NET Common Language Runtime
  24. Altmetric Badge
    Chapter 23 The Weird World of Bi-directional Programming
Attention for Chapter 16: Size-Change Termination Analysis in k-Bits
Altmetric Badge

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
Size-Change Termination Analysis in k-Bits
Chapter number 16
Book title
Programming Languages and Systems
Published in
Lecture notes in computer science, January 2006
DOI 10.1007/11693024_16
Book ISBNs
978-3-54-033095-0, 978-3-54-033096-7
Authors

Codish, Michael, Lagoon, Vitaly, Schachte, Peter, Stuckey, Peter J., Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey

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 %
Australia 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 50%
Student > Ph. D. Student 1 50%
Readers by discipline Count As %
Computer Science 2 100%