Search dblp for Publications

• > Home > Search

@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}
}