A Binding Scope Analysis for Generic Programs on Arrays

DOI10.1007/11964681_13zbMATH Open1236.68029OpenAlexW1580170210MaRDI QIDQ3623958FDOQ3623958

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (2)

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

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)