Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: James
    Last name: Cheney
    DBLP: 96/3253
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 130  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    James Cheney, Alberto Momigliano.
    ╬▒Check: A mechanized metatheory model-checker.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney.
    Imperative Functional Programs that Explain their Work.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    On principles of Least Change and Least Surprise for bidirectional transformations.
    Journal of Object Technology 2017, Volume 16 (0) 2017
    Conference paper
    Weili Fu, Roly Perera, Paul Anderson, James Cheney.
    muPuppet: A Declarative Subset of the Puppet Configuration Language.
    31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain 2017 (0) 2017
    Conference paper
    James Cheney, Alberto Momigliano.
    ╬▒Check: A mechanized metatheory model checker.
    TPLP 2017, Volume 17 (0) 2017
    Journal article
    Wilmer Ricciotti, James Cheney.
    Strongly Normalizing Audited Computation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Sheung Chi Chan, Ashish Gehani, James Cheney, Ripduman Sohan, Hassaan Irshad.
    Expressiveness Benchmarking for System-Level Provenance.
    9th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2017, Seattle, WA, USA, June 23, 2017. 2017 (0) 2017
    Journal article
    Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney.
    Imperative functional programs that explain their work.
    PACMPL 2017, Volume 1 (0) 2017
    Conference paper
    Wilmer Ricciotti, James Cheney.
    Strongly Normalizing Audited Computation.
    26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden 2017 (0) 2017
    Conference paper
    Adriane Chapman, James Cheney, Simon Miles.
    Guest Editorial: The Provenance of Online Data.
    ACM Trans. Internet Techn. 2017, Volume 17 (0) 2017
    Show item 1 to 10 of 130  

    Your query returned 130 matches in the database.