HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Sabel

Publications
Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language
David Sabel and Manfred Schmidt-Schauss
EasyChair Preprint 8385
Automating the Diagram Method to Prove Correctness of Program Transformations
David Sabel
EasyChair Preprint 415

Keyphrases

contextual equivalence, correctness, deduction, lambda calculus, observational equivalence, probabilistic programming, program equivalence, program transformation, semantics2, verification.

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