Program extraction for mutable arrays
From MaRDI portal
Publication:1648867
Recommendations
- Analyzing Array Manipulating Programs by Program Transformation
- Program Extraction in Constructive Analysis
- Program extraction from nested definitions
- Algorithmic analysis of array-accessing programs
- Algorithmic Analysis of Array-Accessing Programs
- A Binding Scope Analysis for Generic Programs on Arrays
- Extracting non-deterministic concurrent programs
- Program extraction from large proof developments
- Program extraction in exact real arithmetic
Cited In (4)
Uses Software
This page was built for publication: Program extraction for mutable arrays
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1648867)