Skip to content
cs-conference-ranking.org

Pierre Deransart

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

2

Active years

1983–2004

Best venue rank

B

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2004ICLPMain Results of the OADymPPaC Project.Pierre Deransart
2003ICLPA Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.Ludovic Langevine, Mireille Ducass, Pierre Deransart
2001FLOPSWell-Typed Logic Programs Are not Wrong.Pierre Deransart, Jan-Georg Smaus
1996ICLPA Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract).Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, Jos de Siqueira
1994ICLPTowards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.Pascal Chambre, Pierre Deransart
1994ICLPA Proof Manager for Verification of Logic Programs.Sophie Renault, Pierre Deransart
1994ICLPDesign of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments.Sophie Renault, Pierre Deransart
1992ICLPProof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.Grard Ferrand, Pierre Deransart
1991ICLPSoftware Development and Logic Programming.Yves Deville, Leon Sterling, Pierre Deransart
1983ICLPAn Operational Algebraic Semantics of Prolog Programs.Pierre Deransart