HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Sabel

Publications
Automating the Diagram Method to Prove Correctness of Program Transformations
David Sabel
EasyChair Preprint no. 415

Keyphrases

contextual equivalence, correctness, deduction, observational equivalence, program transformation, semantics, verification.

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