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

Foundational and Practical Aspects of Resource Analysis

Overview of attention for book
Cover of 'Foundational and Practical Aspects of Resource Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 May-Happen-in-Parallel Analysis with Condition Synchronization
  3. Altmetric Badge
    Chapter 2 Using Dependent Types to Define Energy Augmented Semantics of Programs
  4. Altmetric Badge
    Chapter 3 Call-by-Value, Elementary Time and Intersection Types
  5. Altmetric Badge
    Chapter 4 Probabilistic Resource Analysis by Program Transformation
  6. Altmetric Badge
    Chapter 5 Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
  7. Altmetric Badge
    Chapter 6 Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores
Attention for Chapter 3: Call-by-Value, Elementary Time and Intersection Types
Altmetric Badge
Summary
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
Call-by-Value, Elementary Time and Intersection Types
Chapter number 3
Book title
Foundational and Practical Aspects of Resource Analysis
Published by
Springer, Cham, April 2015
DOI 10.1007/978-3-319-46559-3_3
Book ISBNs
978-3-31-946558-6, 978-3-31-946559-3
Authors

Erika De Benedetti, Simona Ronchi Della Rocca

View on publisher site

This page is provided by Altmetric.