BibSonomy :: author  ::

bookmarks

publications

(81)

• A type system for safe memory management and its proof of correctness.
  Manuel Montenegro and Ricardo Peña and Clara Segura PPDP 152-162 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Parallel execution of multi-set constraint rewrite rules.
  Martin Sulzmann and Edmund S. L. Lam PPDP 20-31 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Model-driven constraint programming.
  Raphaël Chenouard and Laurent Granvilliers and Ricardo Soto PPDP 236-246 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Order-sorted dependency pairs.
  Salvador Lucas and José Meseguer PPDP 108-119 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Global difference constraint propagation for finite domain solvers.
  Thibaut Feydy and Andreas Schutt and Peter J. Stuckey PPDP 226-235 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Pattern by example: type-driven visual programming of XML queries.
  Véronique Benzaken and Giuseppe Castagna and Dario Colazzo and Cédric Miachon PPDP 131-142 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Comprehending finite maps for algorithmic debugging of higher-order functional programs.
  Olaf Chitil and Thomas Davie PPDP 205-216 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Semantically linear programming languages.
  Luca Paolini and Mauro Piccolo PPDP 97-107 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Comparing tag scheme variations using an abstract machine generator.
  José F. Morales and Manuel Carro and Manuel V. Hermenegildo PPDP 32-43 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• A rewriting framework for the composition of access control policies.
  Clara Bertolissi and Maribel Fernández PPDP 217-225 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX