Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)

Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This volume contains the papers presented at PPDP'02, the Fourth International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, held in Pittsburgh, PA, USA October 6-8, 2002.
Type de document :
Communication dans un congrès
Kirchner, Claude. Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00101023
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:33
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00101023, version 1

Collections

Citation

Claude Kirchner. Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Kirchner, Claude. Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA, 2002. 〈inria-00101023〉

Partager

Métriques

Consultations de la notice

44