Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493393zbMATH OpenFDO

Authors Aditya Kanade, Uday P. Khedker, Amitabha Sanyal

Publication date 20 October 2006

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

Full work available at URL https://doi.org/10.1007/11575467

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Computer Aided Verification
• Parallel asynchronous iterations of least fixed points
• The equational logic of fixed points
• Approximate fixed points in abstract interpretation
• Points-to analysis as a system of linear equations

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