HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Roberto Giacobazzi

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

Keyphrases

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

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