Travelled to:
1 × United Kingdom
Collaborated with:
P.Devienne P.Lebègue P.Taillibert S.Varennes
Talks about:
program (4) prolog (4) interpret (3) abstract (2) toward (2) sourc (2) optim (2) guid (2) full (2) transform (1)
Person: Anne Parrain
DBLP: Parrain:Anne
Contributed to:
Wrote 5 papers:
- JICSLP-1998-DeviennePTV #prolog #text-to-text
- Source-to-source Prolog Program Compression (PD, AP, PT, SV), pp. 205–219.
- LOPSTR-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards
- Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation (AP, PD, PL), pp. 228–241.
- WSA-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards
- Towards Optimization of Full Prolog Programs guided by Abstract Interpretation (AP, PD, PL), pp. 295–303.
- LOPSTR-1991-ParrainDL #program transformation #prolog
- Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.
- WSA-1991-ParrainDL #french #prolog #validation
- Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs (AP, PD, PL), pp. 132–138.