Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-319-17822-6_1

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer International Publishing

Related search

Program Transformation for Development, Verification, and Synthesis of Programs

Intelligenza Artificiale
Artificial Intelligence
2011English

A Program Transformation for Backwards Analysis of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Program Correctness by Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automatic Numeric Abstractions for Heap-Manipulating Programs

2010English

Proving Theorems by Program Transformation

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

Software - Practice and Experience
Software
2019English

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Toolbox for Analyzing Programs

International Journal on Artificial Intelligence Tools
Artificial Intelligence
1995English

Computing Stable Models by Program Transformation

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy