Search dblp for Publications

export results for "toc:db/conf/pepm/pepm2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pepm/AlbertBGHPR11,
  author    = {Elvira Albert and
               Richard Bubel and
               Samir Genaim and
               Reiner H{\"{a}}hnle and
               Germ{\'{a}}n Puebla and
               Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
  title     = {Verified resource guarantees using {COSTA} and KeY},
  booktitle = {{PEPM}},
  pages     = {73--76},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/BauerEFP11,
  author    = {Tim Bauer and
               Martin Erwig and
               Alan Fern and
               Jervis Pinto},
  title     = {Adaptation-based programming in java},
  booktitle = {{PEPM}},
  pages     = {81--90},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/BolzCFLPR11,
  author    = {Carl Friedrich Bolz and
               Antonio Cuni and
               Maciej Fijalkowski and
               Michael Leuschel and
               Samuele Pedroni and
               Armin Rigo},
  title     = {Allocation removal by partial evaluation in a tracing {JIT}},
  booktitle = {{PEPM}},
  pages     = {43--52},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/Caballero11,
  author    = {Rafael Caballero},
  title     = {A program transformation for returning states in functional-logic
               programs},
  booktitle = {{PEPM}},
  pages     = {111--120},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/CaretteES11,
  author    = {Jacques Carette and
               Mustafa Elsheikh and
               W. Spencer Smith},
  title     = {A generative geometric kernel},
  booktitle = {{PEPM}},
  pages     = {53--62},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/Chitil11,
  author    = {Olaf Chitil},
  title     = {A semantics for lazy assertions},
  booktitle = {{PEPM}},
  pages     = {141--150},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/Consel11,
  author    = {Charles Consel},
  title     = {DiaSuite: a paradigm-oriented software development approach},
  booktitle = {{PEPM}},
  pages     = {77--78},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/DanvyJZ11,
  author    = {Olivier Danvy and
               Jacob Johannsen and
               Ian Zerny},
  title     = {A walk in the semantic park},
  booktitle = {{PEPM}},
  pages     = {1--12},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/FernandesSSV11,
  author    = {Jo{\~{a}}o Paulo Fernandes and
               Jo{\~{a}}o Saraiva and
               Daniel Seidel and
               Janis Voigtl{\"{a}}nder},
  title     = {Strictification of circular programs},
  booktitle = {{PEPM}},
  pages     = {131--140},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/IkedaN11,
  author    = {Yuta Ikeda and
               Susumu Nishimura},
  title     = {Calculating tree navigation with symmetric relational zipper},
  booktitle = {{PEPM}},
  pages     = {101--110},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/JonssonN11,
  author    = {Peter A. Jonsson and
               Johan Nordlander},
  title     = {Taming code explosion in supercompilation},
  booktitle = {{PEPM}},
  pages     = {33--42},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/Martin-Martin11,
  author    = {Enrique Martin{-}Martin},
  title     = {Type classes in functional logic programming},
  booktitle = {{PEPM}},
  pages     = {121--130},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/Mogensen11,
  author    = {Torben {\AE}. Mogensen},
  title     = {Partial evaluation of the reversible language janus},
  booktitle = {{PEPM}},
  pages     = {23--32},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/PachecoC11,
  author    = {Hugo Pacheco and
               Alcino Cunha},
  title     = {Calculating with lenses: optimising bidirectional transformations},
  booktitle = {{PEPM}},
  pages     = {91--100},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/PlasmeijerAKLNG11,
  author    = {Rinus Plasmeijer and
               Peter Achten and
               Pieter W. M. Koopman and
               Bas Lijnse and
               Thomas van Noort and
               John H. G. van Groningen},
  title     = {iTasks for a change: type-safe run-time change in dynamically evolving
               workflows},
  booktitle = {{PEPM}},
  pages     = {151--160},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/Rinard11,
  author    = {Martin C. Rinard},
  title     = {Probabilistic accuracy bounds for perforated programs: a new foundation
               for program analysis and transformation},
  booktitle = {{PEPM}},
  pages     = {79--80},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/VardoulakisS11,
  author    = {Dimitrios Vardoulakis and
               Olin Shivers},
  title     = {Ordering multiple continuations on the stack},
  booktitle = {{PEPM}},
  pages     = {13--22},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/pepm/WangG11,
  author    = {Yan Wang and
               Ver{\'{o}}nica Gaspes},
  title     = {An embedded language for programming protocol stacks in embedded systems},
  booktitle = {{PEPM}},
  pages     = {63--72},
  publisher = {{ACM}},
  year      = {2011}
}
@proceedings{DBLP:conf/pepm/2011,
  editor    = {Siau{-}Cheng Khoo and
               Jeremy G. Siek},
  title     = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
               2011},
  publisher = {{ACM}},
  year      = {2011}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics