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 × USA
Collaborated with:
R.Echahed M.Potet S.Sebbar
Talks about:
program (2) complet (2) transform (1) synthesi (1) procedur (1) subtyp (1) reason (1) depend (1) compar (1) studi (1)

Person: Paul Jacquet

DBLP DBLP: Jacquet:Paul

Contributed to:

CADE 19881988

Wrote 2 papers:

WSA-1991-EchahedJPS #case study #comparative #equation #program transformation
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation (RE, PJ, MLP, SS), pp. 53–61.
CADE-1988-Jacquet #synthesis #type system
Program Synthesis by Completion with Dependent Subtypes (PJ), pp. 550–562.

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.