Pierre Deransart

Relating logic programs and attribute grammars

Pierre Deransart, Jan Małuszyński · The Journal of Logic Programming · 1985 · 106 citations

Syntax, Engineering, Automated Reasoning +8

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Francisco Bueno, Pierre Deransart, Włodzimierz Drabent et al. · 1997 · 64 citations

Applied Logic, Computational Logic, Contraint Logic Programs +10

On the role of semantic approximations in validation and diagnosis of constraint logic programs

Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations

Constraint Solving, Engineering, Constraint Satisfaction +12

Proof methods of declarative properties of definite programs

Pierre Deransart · Theoretical Computer Science · 1993 · 49 citations

Engineering, Automated Reasoning, Proof Complexity +7

Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming

Bruno Courcelle, Pierre Deransart · Information and Computation · 1988 · 27 citations

Partial Correctness, Syntax, Engineering +13