The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (pepm)
2007 (conf/pepm/2007)

  1. Anders Møller, Michael I. Schwartzbach
    XML graphs in program analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:1-10 [Conf]
  2. Alcino Cunha, Joost Visser
    Transformation of structure-shy programs: applied to XPath queries and strategic functions. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:11-20 [Conf]
  3. Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    Bidirectional interpretation of XQuery. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:21-30 [Conf]
  4. Ralf Lämmel
    Style normalization for canonical X-to-O mappings. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:31-40 [Conf]
  5. Jacques Carette, Michael Kucera
    Partial evaluation of Maple. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:41-50 [Conf]
  6. Germán Vidal
    Quasi-terminating logic programs for ensuring the termination of partial evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:51-60 [Conf]
  7. G. W. Hamilton
    Distillation: extracting the essence of programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:61-70 [Conf]
  8. Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi
    Lowering: a static optimization technique for transparent functional reactivity. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:71-80 [Conf]
  9. Tom Rothamel, Yanhong A. Liu
    Efficient implementation of tuple pattern based retrieval. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:81-90 [Conf]
  10. Oege de Moor, Elnar Hajiyev, Mathieu Verbaere
    Object-oriented queries over software systems: (abstract of invited talk). [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:91- [Conf]
  11. Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien
    Behavioral similarity matching using concrete source code templates in logic queries. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:92-101 [Conf]
  12. João Paulo Fernandes, João Saraiva
    Tools and libraries to model and manipulate circular programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:102-111 [Conf]
  13. Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha
    Concoqtion: indexed types now! [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:112-121 [Conf]
  14. Stephan Ellner, Walid Taha
    The semantics of graphical languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:122-133 [Conf]
  15. Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
    Tasks: language support for event-driven programming. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:134-143 [Conf]
  16. Tetsuo Yokoyama, Robert Glück
    A reversible programming language and its invertible self-interpreter. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:144-153 [Conf]
  17. Ping Zhu, Siau-Cheng Khoo
    Towards constructing reusable specialization components. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:154-163 [Conf]
  18. Claudio Ochoa, Germán Puebla
    Poly-controlled partial evaluation in practice. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:164-173 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002