Towards dynamic shaping

MaRDI QIDQ2729986zbMATH OpenFDO

Authors Gabriele Keller, Barry Jay

Publication date 4 October 2001

zbMATH Keywords

shape theory

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Shapeliness analysis of functional programs with algebraic data types
• scientific article; zbMATH DE number 1940294
• Shape Analysis in the Absence of Pointers and Structure
• Shape Analysis for Composite Data Structures
• A Shape Analysis for Non-linear Data Structures

Cited in

(9)

• Costing parallel programs as a function of shapes
• Programming in FISh
• A semantics for shape
• Data linkage dynamics with shedding
• A Binding Scope Analysis for Generic Programs on Arrays
• Shape analysis with reference set relations
• scientific article; zbMATH DE number 1330446 (Why is no real title available?)
• scientific article; zbMATH DE number 1940294 (Why is no real title available?)
• A shape analysis for optimizing parallel graph programs

This page was built for publication: Towards dynamic shaping

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