BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chazarain:Jacques

Contributed to:

RTA 19951995
CADE 19941994
PLILP 19921992
WAGA 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.