The SCEAS System
Navigation Menu

Conferences in DBLP

Principles and Practice of Declarative Programming (PPDP) (ppdp)
2002 (conf/ppdp/2002)

  1. Neil D. Jones, Arne J. Glenstrup
    Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:1- [Conf]
  2. Karol Ostrovsky, K. V. S. Prasad, Walid Taha
    Towards a primitive higher order calculus of broadcasting systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:2-13 [Conf]
  3. Alexander V. Shafarenko
    Coercion as homomorphism: type inference in a system with subtyping and overloading. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:14-25 [Conf]
  4. Marcelo P. Fiore
    Semantic analysis of normalisation by evaluation for typed lambda calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:26-37 [Conf]
  5. Marco Bozzano, Giorgio Delzanno
    Automated protocol verification in linear logic. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:38-49 [Conf]
  6. Bernhard Gramlich, Salvador Lucas
    Modular termination of context-sensitive rewriting. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:50-61 [Conf]
  7. Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
    System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:62-73 [Conf]
  8. Catuscia Palamidessi
    Mobile calculi for distributed programming. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:74-75 [Conf]
  9. Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen
    Secure calling contexts for stack inspection. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:76-87 [Conf]
  10. Tom Schrijvers, Bart Demoen
    Combining an improvement to PARMA trailing with trailing analysis. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:88-98 [Conf]
  11. Vitaly Lagoon, Peter J. Stuckey
    Precise pair-sharing analysis of logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:99-108 [Conf]
  12. David Overton, Zoltan Somogyi, Peter J. Stuckey
    Constraint-based mode analysis of mercury. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:109-120 [Conf]
  13. Zoltan Somogyi, Peter J. Stuckey
    Using the heap to eliminate stack accesses. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:121-132 [Conf]
  14. Stephen Drape, Oege de Moor, Ganesh Sittampalam
    Transforming the .NET intermediate language using path logic programming. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:133-144 [Conf]
  15. Jérémie Blanc, Rachid Echahed
    A generic operator over discrete time intervals. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:145-155 [Conf]
  16. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    On the expressive power of temporal concurrent constraint programming languages. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:156-167 [Conf]
  17. Izzet Pembeci, Henrik Nilsson, Gregory D. Hager
    Functional reactive robotics: an exercise in principled integration of domain-specific languages. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:168-179 [Conf]
  18. Janos Sztipanovits, Gabor Karsai
    Generative programming for embedded systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:180-180 [Conf]
  19. Gang Chen
    Full integration of subtyping and if-expression. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:181-188 [Conf]
  20. Davide Ancona, Giovanni Lagorio, Elena Zucca
    True separate compilation of Java classes. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:189-200 [Conf]
  21. Tomoyuki Higuchi, Atsushi Ohori
    Java bytecode as a typed term calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:201-211 [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