Travelled to:1 × Belgium
1 × Germany
2 × France
Collaborated with:I.Attali S.Muller E.Kounalis S.Gilette
Talks about:specif (2) evalu (2) increment (1) synthesi (1) mechaniz (1) function (1) circular (1) program (1) formula (1) theori (1)
Person: Jacques Chazarain
DBLP: Chazarain:Jacques
Contributed to:
1995
1994
1992
1990Wrote 4 papers:
- RTA-1995-ChazarainM #automation #equation #named #recursion #source code #synthesis
- LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories (JC, SM), pp. 420–425.
- CADE-1994-ChazarainK #induction #proving
- Mechanizable Inductive Proofs for a Class of Forall Exists Formulas (JC, EK), pp. 118–132.
- PLILP-1992-AttaliCG #evaluation #incremental #semantics #specification
- Incremental Evaluation of Natural Semantics Specification (IA, JC, SG), pp. 87–99.
- WAGA-1990-AttaliC #evaluation #functional #specification
- Functional Evaluation of Strongly Non Circular Typol Specifications (IA, JC), pp. 157–176.