↓ 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 Systems for XML
  3. Altmetric Badge
    Chapter 2 The Essence of Dataflow Programming
  4. Altmetric Badge
    Chapter 3 Data Refinement with Low-Level Pointer Operations
  5. Altmetric Badge
    Chapter 4 A Simple Semantics for Polymorphic Recursion
  6. Altmetric Badge
    Chapter 5 Symbolic Execution with Separation Logic
  7. Altmetric Badge
    Chapter 6 An Abstract Interpretation Perspective on Linear vs. Branching Time
  8. Altmetric Badge
    Chapter 7 The Parallel Implementation of the Astrée Static Analyzer
  9. Altmetric Badge
    Chapter 8 Using Datalog with Binary Decision Diagrams for Program Analysis
  10. Altmetric Badge
    Chapter 9 Loop Invariants on Demand
  11. Altmetric Badge
    Chapter 10 Integrating Physical Systems in the Static Analysis of Embedded Control Software
  12. Altmetric Badge
    Chapter 11 Reflection Analysis for Java
  13. Altmetric Badge
    Chapter 12 Lightweight Family Polymorphism
  14. Altmetric Badge
    Chapter 13 A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
  15. Altmetric Badge
    Chapter 14 Race Conditions in Message Sequence Charts
  16. Altmetric Badge
    Chapter 15 A Next-Generation Platform for Analyzing Executables
  17. Altmetric Badge
    Chapter 16 Calculating Polynomial Runtime Properties
  18. Altmetric Badge
    Chapter 17 Resource Bound Certification for a Tail-Recursive Virtual Machine
  19. Altmetric Badge
    Chapter 18 A Path Sensitive Type System for Resource Usage Verification of C Like Languages
  20. Altmetric Badge
    Chapter 19 Termination Analysis of Higher-Order Functional Programs
  21. Altmetric Badge
    Chapter 20 Heterogeneous Fixed Points with Application to Points-To Analysis
  22. Altmetric Badge
    Chapter 21 Register Allocation Via Coloring of Chordal Graphs
  23. Altmetric Badge
    Chapter 22 Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
  24. Altmetric Badge
    Chapter 23 Abstract Dependences for Alarm Diagnosis
  25. Altmetric Badge
    Chapter 24 A Typed, Compositional Logic for a Stack-Based Abstract Machine
  26. Altmetric Badge
    Chapter 25 A New Occurrence Counting Analysis for BioAmbients
  27. Altmetric Badge
    Chapter 26 A Parametric Model for the Analysis of Mobile Ambients
  28. Altmetric Badge
    Chapter 27 On the Rôle of Abstract Non-interference in Language-Based Security
Attention for Chapter 21: Register Allocation Via Coloring of Chordal Graphs
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
38 Mendeley
citeulike
1 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
Register Allocation Via Coloring of Chordal Graphs
Chapter number 21
Book title
Programming Languages and Systems
Published by
Springer, Berlin, Heidelberg, November 2005
DOI 10.1007/11575467_21
Book ISBNs
978-3-54-029735-2, 978-3-54-032247-4
Authors

Fernando Magno Quintão Pereira, Jens Palsberg, Pereira, Fernando Magno Quintão, Palsberg, Jens

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 3 8%
Denmark 2 5%
China 2 5%
Canada 1 3%
India 1 3%
Unknown 29 76%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 26%
Student > Master 7 18%
Student > Bachelor 6 16%
Other 6 16%
Student > Doctoral Student 3 8%
Other 5 13%
Unknown 1 3%
Readers by discipline Count As %
Computer Science 29 76%
Mathematics 2 5%
Engineering 2 5%
Agricultural and Biological Sciences 1 3%
Arts and Humanities 1 3%
Other 2 5%
Unknown 1 3%