Links

    PPDP (ppdp)

    Publications by Topics
    [-]
    OR AND NOT 1

    algebra
    AJAX
    C++
    Datalog
    Haskell
    Java
    JavaScript
    Meta-Environment
    Pascal
    Prolog
    Stratego
    UML
    XML
    XML Schema
    abstract machine
    abstract syntax
    abstraction
    access control
    access control policies
    analysis
    case study
    compiler
    completeness
    composition
    consistency
    constraints
    context-aware
    contracts
    data-flow
    data-flow language
    data-flow programming
    database
    debugging
    denotational semantics
    design
    domain-specific language
    e-science
    exceptions
    expression problem
    extensible language
    feature-oriented programming
    functional programming
    generative programming
    generic programming
    grammar
    graph query
    graph transformation
    graph-rewriting
    higher-order transformations
    incremental
    layout
    laziness
    logic
    logic programming
    macros
    memory management
    meta programming
    meta-model
    meta-objects
    metatheory
    mobile
    model checking
    modeling
    object-oriented programming
    object-role modeling
    open-source
    operational semantics
    optimization
    parallel programming
    partial evaluation
    pattern language
    pattern matching
    persistent
    points-to analysis
    principles
    process modeling
    program analysis
    program optimization
    program transformation
    program verification
    programming
    programming languages
    programming paradigms
    proof assistant
    protocol
    query language
    refactoring
    reuse
    rewriting
    rule-based
    rules
    search
    security
    semantics
    slicing
    source-to-source
    static analysis
    subject-oriented programming
    subtyping
    systematic-approach
    tagging
    term rewriting
    termination
    testing
    transformation
    transformation language
    translation
    traversal
    type checking
    type inference
    type soundness
    type system
    type theory
    variable binding
    web service
    web services
    workflow

    Publications by Authors
    [+]
    [-]
    OR AND NOT 1

    Aad Mathijssen
    Aaron Stump
    Aaron Tomb
    Aart Middeldorp
    Abhik Roychoudhury
    Adam Bakewell
    Adam J. Chlipala
    Adriana B. Compagnoni
    Agostino Dovier
    Alain Frisch
    Alberto Momigliano
    Alberto de la Encina
    Aleksandar Nanevski
    Alessandra Di Pierro
    Alessandro Dal Palù
    Alexander V. Shafarenko
    Alvaro Ruiz-Andino
    Amy P. Felty
    Andreas Rossberg
    Andreas Schutt
    Andres Löh
    Andrew D. Gordon
    Andrew Gacek
    Andrew Kennedy
    Andrew W. Appel
    Andrzej Filinski
    Annalisa Bossi
    Antoine Reilles
    Antonella Guzzo
    Antonio J. Fernández
    Arisa Kitani
    Arne J. Glenstrup
    Asami Tanaka
    Atsushi Igarashi
    Atsushi Ohori
    Bart Demoen
    Bart Massey
    Bernard P. Serpette
    Bernard Pope
    Bernd Brassel
    Bernd Braßel
    Berndt Farwer
    Bernhard Gramlich
    Bharat Jayaraman
    Brad Lushman
    Brigitte Pientka
    Bruno Blanchet
    Byeong-Mo Chang
    C. R. Ramakrishnan
    Carl Eastlund
    Carl Friedrich Bolz
    Carlo Sartiani
    Carlos A. Romero-Díaz
    Carlos Camarão
    Carlos Olarte
    Catuscia Palamidessi
    Charles N. Fischer
    Chongbing Liu
    Christian Holzbaur
    Christian Schulte
    Christian Skalka
    Christophe Rigotti
    Christos Dimoulas
    Clara Bertolissi
    Clara Segura
    Claude Kirchner
    Claudia Faggian
    Claudio Ochoa
    Claudio V. Russo
    Claus Brabrand
    Clemente Rubio-Manzano
    Coen De Roover
    Colin Runciman
    Conal Elliott
    Corin Pitcher
    Cormac Flanagan
    Cristiano Calcagno
    Cristiano Vasconcellos
    Cristina Zoltan
    Cédric Miachon
    D. Janakiram
    Dale Miller
    Daniel J. Dougherty
    Daniel Luna
    Daniel S. Dantas
    Daniele Gorla
    Danny De Schreye
    Dante Baldan
    Dario Colazzo
    Dariusz Biernacki
    David A. Naumann
    David A. Rosenblueth
    David A. Schmidt
    David Baelde
    David Jeffery
    David Overton
    David Schneider
    David Walker
    David Wright
    Davide Ancona
    Davide Martinenghi
    Didier Parigot
    Dinghao Wu
    Diptikalyan Saha
    Dirk Beyer
    Domenico Saccà
    Dídac Busquets
    Edison Mera
    Edmund Robinson
    Edmund S. L. Lam
    Ehud Y. Shapiro
    Elena Giachino
    Elena Zucca
    Elvira Albert
    Enea Zaffanella
    Eneia Todoran
    Enrico Pontelli
    Erik Johansson
    Ester Zumpano
    Eugen Zalinescu
    Eugen-Nicolae Volanschi
    Evelina Lamma
    Ezra Cooper
    Fabien Fleutot
    Fairouz Kamareddine
    Federico Chesani
    Fergus Henderson
    Fermin Reig
    Fernando M. A. Silva
    Fernando Rubio
    Fernando Sáenz-Pérez
    Fernando Sáenz
    Fernando Sáenz-Pérez
    Ferruccio Damiani
    Florent Jacquemard
    Francesco Pulvirenti
    Francesco Quaglia
    Francesco Scarcello
    Francisco Javier López-Fraguas
    Franco Barbanera
    Frank D. Valencia
    Frank Huch
    Frank Pfenning
    Frank S. de Boer
    Frank Steiner
    Franklyn A. Turbak
    François Fages
    François Monin
    Fritz Henglein
    Frédéric Besson
    Frédéric Boussinot
    Frédéric Dabrowski
    Frédéric Mesnard
    Frédéric Prost
    Gabor Karsai
    Gabriel Aranda-López
    Ganesh Sittampalam
    Gang Chen
    Georg Gottlob
    George C. Necula
    Gerda Janssens
    Germán Puebla
    Germán Vidal
    Gianfranco Rossi
    Gianluigi Greco
    Gilberto Filé
    Gilles Dowek
    Gilles Roussel
    Giorgio Delzanno
    Giorgio Levi
    Giovanni Lagorio
    Giuseppe Castagna
    Gopal Gupta
    Gopalan Nadathur
    Gordon V. Cormack
    Gregory D. Hager
    Gregory J. Duck
    Grégoire Hamon
    Hai-Feng Guo
    Hanne Vlaeminck
    Hélène Kirchner
    I. V. Ramakrishnan
    Ian Mackie
    Isabelle Gnaedig
    J. B. Wells
    Jean-Louis Giavitto
    Jeff Polakow
    John Power
    José Meseguer
    K. Tuncay Tekle
    Konstantinos F. Sagonas
    Lennart Beringer
    Lunjin Lu
    Makoto Hamana
    Manuel Carro
    Manuel Serrano
    Manuel V. Hermenegildo
    Marc Pouzet
    Marco Bozzano
    Maria Chiara Meo
    Maria J. García de la Banda
    Mariangiola Dezani-Ciancaglini
    Maribel Fernández
    Mario Rodríguez-Artalejo
    Martin Hofmann
    Martin Sulzmann
    Matthias Felleisen
    Maurice Bruynooghe
    Maurizio Gabbrielli
    Michael Hanus
    Michael Kifer
    Michael Leuschel
    Michaël Rusinowitch
    Mikael Pettersson
    Mogens Nielsen
    Murdoch Gabbay
    Naoki Kobayashi
    Neng-Fa Zhou
    Nick Benton
    Olaf Chitil
    Olivier Danvy
    Olivier Fissore
    Patricia M. Hill
    Pedro López-García
    Peter J. Stuckey
    Rachid Echahed
    Rafael del Vado Vírseda
    Ricardo Pena
    Roberto Bagnara
    Salvador Lucas
    Sergio Antoy
    Sergio Greco
    Taisuke Sato
    Thom W. Frühwirth
    Tom Schrijvers
    Vasco Thudichum Vasconcelos
    Vladimiro Sassone
    Yanhong A. Liu
    Yoshihito Toyama
    Zoltan Somogyi
    runs on