Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493391zbMATH OpenFDO

Authors Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Randomized resource-aware path-sensitive static analysis
• Types and Effects for Resource Usage Analysis
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code
• Program analysis via satisfiability modulo path programs
• Verification, Model Checking, and Abstract Interpretation

Cited in

(3)

• Randomized resource-aware path-sensitive static analysis
• Program analysis via satisfiability modulo path programs
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

Describes a project that uses

Uses Software

• ESC/Java

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493391)