MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yves Bertot" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

33 documents found, showing 1 through 10. Next 10 →

ATOM

The CtCoq System: Design and Architecture
by Yves Bertot, Yves Bertot — 1998 — Formal Aspects of Computing
… AUTOMATIQUE The CtCoq System: Design and Architecture Yves Bertot N 3540 Octobre 1998 Unit de recherche…
Cited by 5 (1 self) – Add To MetaCart

Filters on coinductive streams, an application to eratosthenes’ sieve
by Yves Bertot — 2005 — Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005
…Filters on CoInductive streams an application to Eratosthenes’ sieve Yves Bertot October 27, 2004…
Cited by 10 (3 self) – Add To MetaCart

Coinduction in Coq
by Yves Bertot — 2005 — Lecture Notes of TYPES Summer School 2005, Sweden, Volume II
…CoInduction in Coq Yves Bertot June 30, 2005 When providing a collection of constructors to define…
Cited by 2 (0 self) – Add To MetaCart

A Coq formalization of a Type Checker for Object Initialization in the Java Virtual Machine
by Yves Bertot, Yves Bertot — 2000
… for Object Initialization in the Java Virtual Machine Yves Bertot Th#me 2 G#nie logiciel et calcul…
Cited by 8 (1 self) – Add To MetaCart

A Certified Compiler for an Imperative Language
by Yves Bertot, Yves Bertot — 1998
… AUTOMATIQUE A certified compiler for an imperative language Yves Bertot N 3488 Septembre 1998 Unit de…
Cited by 7 (1 self) – Add To MetaCart

Occurrences in Debugger Specifications
by Yves Bertot — 1991 — In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation
…Occurrences in Debugger Specifications Yves Bertot INRIA Sophia-Antipolis 2004, Route des Lucioles…
Cited by 10 (1 self) – Add To MetaCart

Fix-point Equations for Well-Founded Recursion in Type Theory
by Antonia Balaa, Yves Bertot — 2000 — Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science
…Fix-point Equations for Well-Founded Recursion in Type Theory Antonia Balaa and Yves Bertot INRIA…
Cited by 12 (3 self) – Add To MetaCart

Reasoning with Executable Specifications
by Yves Bertot, Ranan Fraer — 1995 — In TAPSOFT '95
… AUTOMATIQUE Reasoning with Executable Specifications Yves Bertot, Ranan Fraer N 2780 Janvier 1996 PROGRAMME…
Cited by 2 (0 self) – Add To MetaCart

The CtCoq experience
by Janet Bertot, Yves Bertot — 1996 — University of York
…The CtCoq experience Janet Bertot and Yves Bertot INRIA, 2004 Route des Lucioles, 06902 Sophia…
Cited by 3 (0 self) – Add To MetaCart

CtCoq: a system presentation
by Janet Bertot, Yves Bertot — 1996 — In Automated Deduction (CADE-13
…CtCoq: a system presentation Janet Bertot and Yves Bertot INRIA Sophia-Antipolis B.P. 93, F-06902…
Cited by 11 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB