A framework for proving correctness of adjoint message-passing programs

Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme, Jean Utke

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'A framework for proving correctness of adjoint message-passing programs'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science