(PDF) Type-Based Amortised Heap-Space Analysis - Lecture

Type-Based Amortised Heap-Space Analysis

Lecture Notes in Computer Science - Germany

doi 10.1007/11693024_3

Full Text

Abstract

Available in full text

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2006

Authors

Publisher

Springer Berlin Heidelberg

Related search

Detailed Heap Profiling

ACM SIGPLAN Notices

Computer Science

English

Type-Based Alias Analysis

English

A Novel Approach for Detecting Heap-Based Loop-Carried Dependences

English

On Fraenkel’s N-Heap Wythoff’s Conjectures

Annals of Combinatorics

Discrete Mathematics

English

Analysis of Open Space in Urban Area Based on Space Syntax Theory

Journal of Architecture and Planning (Transactions of AIJ)

English

Data Processing and Analysis for Space-Based Astronomy

International Astronomical Union Colloquium

English

Performance Analysis of Space-Based Radar Tracking Techniques.

English

An Unconnected Heap of Duties?

Philosophical Quarterly

English

On Volterra Composition Operators From Bergman-Type Space to Bloch-Type Space

Czechoslovak Mathematical Journal

English