Enforcing termination of interprocedural analysis

DOI10.1007/978-3-662-53413-7_22MaRDI QIDQ6830215zbMATH OpenFDO

Authors Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler

Publication date 27 August 2018

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Enforcing termination of interprocedural analysis

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