Thumbnail
Access Restriction
Open

Author Logozzo, Francesco ♦ Fähndrich, Manuel
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Source Code ♦ Generic Static Analyzer ♦ Program Source ♦ Many Simplification ♦ Combination Thereof ♦ Similar Analyzer ♦ Bytecode-level Analysis ♦ Paper Study ♦ Precise Transfer Function ♦ Name Resolution ♦ Abstract Interpretation ♦ Code Verification ♦ Precision Loss ♦ Relative Completeness ♦ Precise Abstract Domain ♦ Bytecode Analyzer ♦ Source Syntax ♦ Static Analysis
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2008-01-01
Publisher Institution Proceedings of CC ’08, LNCS