↓ Skip to main content
What is this page? Embed badge

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 On a Method of Global Optimization
  3. Altmetric Badge
    Chapter 2 Observing Asymmetry and Mismatch
  4. Altmetric Badge
    Chapter 3 Expressive Synchronization Types for Inheritance in the Join Calculus
  5. Altmetric Badge
    Chapter 4 Term Graph Rewriting for the π -Calculus
  6. Altmetric Badge
    Chapter 5 Useless-Code Elimination and Program Slicing for the Pi-Calculus
  7. Altmetric Badge
    Chapter 6 Constraint Functional Logic Programming for Origami Construction.
  8. Altmetric Badge
    Chapter 7 A Typeful and Tagless Representation for XML Documents
  9. Altmetric Badge
    Chapter 8 Dataflow Pointcut in Aspect-Oriented Programming
  10. Altmetric Badge
    Chapter 9 Affine-Based Size-Change Termination
  11. Altmetric Badge
    Chapter 10 Using Locality of Flow in Dataflow Analyses
  12. Altmetric Badge
    Chapter 11 A Differential Fixpoint Evaluation Framework for Non-distributive Systems
  13. Altmetric Badge
    Chapter 12 Model Checking: From Hardware to Software
  14. Altmetric Badge
    Chapter 13 Executing Verified Compiler Specification
  15. Altmetric Badge
    Chapter 14 Controlling and Optimizing the Usage of One Resource
  16. Altmetric Badge
    Chapter 15 Resource Usage Verification
  17. Altmetric Badge
    Chapter 16 Automatic Construction of Hoare Proofs from Abstract Interpretation Results
  18. Altmetric Badge
    Chapter 17 A Program Inverter for a Functional Language with Equality and Constructors
  19. Altmetric Badge
    Chapter 18 Rebuilding a Tree from Its Traversals:
  20. Altmetric Badge
    Chapter 19 Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
  21. Altmetric Badge
    Chapter 20 Continuation Semantics for Parallel Haskell Dialects
  22. Altmetric Badge
    Chapter 21 Translating a Continuous-Time Temporal Logic into Timed Automata
  23. Altmetric Badge
    Chapter 22 The Semantic Layers of Timber
  24. Altmetric Badge
    Chapter 23 Scrap Your Boilerplate
  25. Altmetric Badge
    Chapter 24 Correctness of a Higher-Order Removal Transformation through a Relational Reasoning
  26. Altmetric Badge
    Chapter 25 Extensional Polymorphism by Flow Graph Dispatching
  27. Altmetric Badge
    Chapter 26 Register Allocation Based on a Reference Flow Analysis
  28. Altmetric Badge
    Chapter 27 Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations
Overall attention for this book and its chapters
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
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.
Title
Programming Languages and Systems
Published by
Springer Berlin Heidelberg, November 2003
DOI 10.1007/b94290
ISBNs
978-3-54-020536-4, 978-3-54-040018-9
Editors

Ohori, Atsushi

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 8 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 25%
Professor > Associate Professor 1 13%
Unknown 5 63%
Readers by discipline Count As %
Computer Science 3 38%
Unknown 5 63%

This page is provided by Altmetric.