Magic-sets for localised analysis of Java bytecode
From MaRDI portal
Publication:656846
DOI10.1007/s10990-010-9063-7zbMath1244.68052OpenAlexW2060204386MaRDI QIDQ656846
Publication date: 13 January 2012
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://hal.univ-reunion.fr/hal-01186160/file/Magic_sets_for_localised_analysis_of_java_bytecode.pdf
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Convergence: integrating termination and abort-freedom ⋮ Magic-sets for localised analysis of Java bytecode ⋮ Certified abstract cost analysis
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Magic-sets for localised analysis of Java bytecode
- Constructive versions of Tarski's fixed point theorems
- Scheme: A interpreter for extended lambda calculus
- Bottom-up abstract interpretation of logic programs
- Class invariants as abstract interpretation of trace semantics
- Two classes of Boolean functions for dependency analysis
- Information flow for Algol-like languages
- A lattice-theoretical fixpoint theorem and its applications
- On the power of magic
- Graph-Based Algorithms for Boolean Function Manipulation
- Abstract interpretation and application to logic programs
- Representing Control: a Study of the CPS Transformation
- Efficient goal directed bottom-up evaluation of logic programs
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Magic-sets for localised analysis of Java bytecode
