Pierre Deransart

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
scientific article; zbMATH DE number 2080204 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1950451 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1692902 (Why is no real title available?)	2002-01-21	Paper
scientific article; zbMATH DE number 1406252 (Why is no real title available?)	2000-02-23	Paper
scientific article; zbMATH DE number 870438 (Why is no real title available?)	1996-04-25	Paper
scientific article; zbMATH DE number 867332 (Why is no real title available?)	1996-04-17	Paper
Proof method of partial correctness and weak completeness for normal logic programs The Journal of Logic Programming	1994-11-13	Paper
Proof methods of declarative properties of definite programs Theoretical Computer Science	1994-03-20	Paper
Attribute grammars. Definitions, systems and bibliography Lecture Notes in Computer Science	1993-06-05	Paper
An operational formal definition of PROLOG: A specification method and its application New Generation Computing	1992-06-28	Paper
scientific article; zbMATH DE number 4180778 (Why is no real title available?)	1989-01-01	Paper
Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming Information and Computation	1988-01-01	Paper
scientific article; zbMATH DE number 4106296 (Why is no real title available?)	1988-01-01	Paper
Relating logic programs and attribute grammars The Journal of Logic Programming	1985-01-01	Paper
Speeding up circularity tests for attribute grammars Acta Informatica	1984-01-01	Paper
scientific article; zbMATH DE number 3735107 (Why is no real title available?)	1981-01-01	Paper
Proof by semantic attributes of a LISP compiler The Computer Journal	1979-01-01	Paper

Research outcomes over time

This page was built for person: Pierre Deransart