A Binding Scope Analysis for Generic Programs on Arrays

DOI10.1007/11964681_13MaRDI QIDQ3623958zbMATHOpenAlexFDO

Authors Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko

Publication date 28 April 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2086494
• scientific article; zbMATH DE number 1070361
• scientific article; zbMATH DE number 2080281
• Towards dynamic shaping
• Shape Analysis in the Absence of Pointers and Structure

Cited in

(2)

• Program extraction for mutable arrays
• Dependently typed array programs don't go wrong

Describes a project that uses

Uses Software

• Blitz++ library

This page was built for publication: A Binding Scope Analysis for Generic Programs on Arrays

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