Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68143OpenAlexW2491912653MaRDI QIDQ5899006FDOQ5899006

Authors: Martin Hofmann, Steffen Jost 

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11693024

Recommendations

• Automatic type inference for amortised heap-space analysis
• Efficient Type-Checking for Amortised Heap-Space Analysis
• Type-based amortized resource analysis with integers and arrays
• Type-based amortized resource analysis with integers and arrays
• Type-based analysis of logarithmic amortised complexity
• Amortised resource analysis and typed polynomial interpretations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (16)

• Title not available (Why is that?)
• On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy
• Verifying pointer and string analyses with region type systems
• Two decades of automatic amortized resource analysis
• A type system for counting instances of software components
• A type-based complexity analysis of object oriented programs
• Type-based cost analysis for lazy functional languages
• Automatic type inference for amortised heap-space analysis
• Title not available (Why is that?)
• Amortised resource analysis for object-oriented programs
• Static Analysis
• A Type System for Usage of Software Components
• Enforcing Programming Guidelines with Region Types and Effects
• Efficient Type-Checking for Amortised Heap-Space Analysis
• Exception handling for copyless messaging
• Amortised Memory Analysis Using the Depth of Data Structures

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899006)