Collaborated with:
R.Echahed P.Jacquet M.Potet
Talks about:
transform (1) procedur (1) program (1) complet (1) reason (1) compar (1) studi (1) equat (1)
Person: Sadik Sebbar
DBLP: Sebbar:Sadik
Contributed to:
Wrote 1 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.