Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jorge A. Navas

Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Related publications

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

Proving Theorems by Program Transformation

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Automatic Numeric Abstractions for Heap-Manipulating Programs

2010English

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

Software - Practice and Experience
Software
2019English

A Toolbox for Analyzing Programs

International Journal on Artificial Intelligence Tools
Artificial Intelligence
1995English

Developing Correct and Efficient Logic Programs by Transformation*

Knowledge Engineering Review
Artificial IntelligenceSoftware
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy