Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68382MaRDI QIDQ5493397FDOQ5493397

Authors: Xavier Rival 

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (3)

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

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)