HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Francesco Ranzato

Publications
Program Analysis is Harder than Verification: A Computability Perspective
Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato
EasyChair Preprint 365

Keyphrases

abstract interpretation, computability, program verification, Rice's theorem, static program analysis.

Copyright © 2012-2025 easychair.org. All rights reserved.