Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493397zbMATH OpenFDO

Authors Xavier Rival

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

• Static Analysis
• Sound non-statistical clustering of static analysis alarms
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Programming Languages and Systems
• Programming Languages and Systems

Cited in

(3)

• Sound non-statistical clustering of static analysis alarms
• Static Analysis
• Abstract semantic dependency

Describes a project that uses

Uses Software

• Consit
• TVLA
• CSSV
• ASTREE

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 Q5493397)