The SCEAS System
Navigation Menu

Conferences in DBLP

Workshop on Logic Programming Environments (LPE) (lpe)
2005 (conf/lpe/2005)

  1. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
    Proving or Disproving likely Invariants with Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:1-13 [Conf]
  2. William Heaven, Alessandra Russo
    Enhancing the Alloy Analyzer with Patterns of Analysis. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:14-30 [Conf]
  3. Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo
    A Study of Set-Sharing Analysis via Clique. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:31-45 [Conf]
  4. Étienne Payet, Frédéric Mesnard
    An Improved Non-Termination Criterion for Binary Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:46-60 [Conf]
  5. Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:61-76 [Conf]
  6. Susana Muñoz-Hernández, Claudio Vaucheret
    Extending Prolog with Incomplete Fuzzy Information. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:77-93 [Conf]
  7. Ludovic Langevine, Mireille Ducassé
    A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:94-110 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002