Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011
    DBLP: db/conf/ppdp/ppdp2011.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 18  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Nicolas Guenot.
    Nested proof search as reduction in the Lambda-calculus.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet.
    Typing control operators in the CPS hierarchy.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Tony Bourdier, Horatiu Cirstea.
    Symbolic analysis of network security policies using rewrite systems.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Georg Sauthoff, Stefan Janssen, Robert Giegerich.
    Bellman's GAP: a declarative language for dynamic programming.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Bernardo Toninho, Luís Caires, Frank Pfenning.
    Dependent session types via intuitionistic linear type theory.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Felix Schernhammer, José Meseguer.
    Incremental checking of well-founded recursive specifications modulo axioms.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov.
    Maintaining distributed logic programs incrementally.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar.
    Nitpicking c++ concurrency.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Jan Christiansen, Daniel Seidel.
    Minimally strict polymorphic functions.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Vitaly Lagoon.
    The challenges of constraint-based test generation.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Show item 1 to 10 of 18  

    Your query returned 18 matches in the database.