Magic-sets for localised analysis of Java bytecode
DOI10.1007/S10990-010-9063-7zbMATH Open1244.68052OpenAlexW2060204386MaRDI QIDQ656846FDOQ656846
Authors: Fausto Spoto, Étienne Payet 
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
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cites Work
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Graph-Based Algorithms for Boolean Function Manipulation
- Constructive versions of Tarski's fixed point theorems
- A lattice-theoretical fixpoint theorem and its applications
- Abstract interpretation and application to logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Two classes of Boolean functions for dependency analysis
- On the power of magic
- Title not available (Why is that?)
- Static Analysis
- Title not available (Why is that?)
- Scheme: A interpreter for extended lambda calculus
- Bottom-up abstract interpretation of logic programs
- Class invariants as abstract interpretation of trace semantics
- Information flow for Algol-like languages
- Representing Control: a Study of the CPS Transformation
- Efficient goal directed bottom-up evaluation of logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Magic-sets for localised analysis of Java bytecode
Cited In (9)
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Definite expression aliasing analysis for Java bytecode
- Precise Set Sharing Analysis for Java-Style Programs
- Convergence: integrating termination and abort-freedom
- Certified abstract cost analysis
- Magic-sets for localised analysis of Java bytecode
- From object fields to local variables: a practical approach to field-sensitive analysis
- Sawja: static analysis workshop for Java
Uses Software
This page was built for publication: Magic-sets for localised analysis of Java bytecode
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q656846)
