Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68373MaRDI QIDQ5493391FDOQ5493391

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)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (3)

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

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)