Travelled to:1 × Belgium
1 × France
Collaborated with:E.G.Omodeo J.T.Schwartz E.Pontelli G.Gupta F.Pulvirenti
Talks about:parallel (2) procedur (1) fragment (1) program (1) automat (1) theori (1) prolog (1) depend (1) compil (1) decis (1)
Person: Alfredo Ferro
DBLP: Ferro:Alfredo
Contributed to:
1997
1980Wrote 2 papers:
- ICLP-1997-PontelliGPF #automation #parallel #prolog #source code
- Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism (EP, GG, FP, AF), pp. 108–122.
- CADE-1980-FerroOS #set
- Decision Procedures for Some Fragments of Set Theory (AF, EGO, JTS), pp. 88–96.