default search action

combined dblp search
author search
venue search
publication search

ask others

15th WLPE 2005: Sitges (Barcelona), Spain

> Home > Conferences and Workshops > WLPE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ arxiv.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/2005
Alexander Serebrenik, Susana Muñoz-Hernández:
Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005. 2005

Verification

- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/DenmatGD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/DenmatGD05
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. 1-13
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/HeavenR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/HeavenR05
William Heaven, Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis. 14-30

Analysis

- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/NavasBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/NavasBH05
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique. 31-45
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/PayetM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/PayetM05
Étienne Payet, Frédéric Mesnard:
An Improved Non-Termination Criterion for Binary Constraint Logic Programs. 46-60
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/PueblaHA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/PueblaHA05
Germán Puebla, Manuel V. Hermenegildo, Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs. 61-76

Miscellaneous

- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/Munoz-HernandezV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/Munoz-HernandezV05
Susana Muñoz-Hernández, Claudio Vaucheret:
Extending Prolog with Incomplete Fuzzy Information. 77-93
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - conf/lpe/LangevineD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/LangevineD05
Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. 94-110

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.