Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899006zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(16)

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

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)