Travelled to:
1 × France
1 × Israel
Collaborated with:
R.Ginosar
Talks about:
fcp (2) methodolog (1) machin (1) extend (1) carmel (1) applic (1) unifi (1) spawn (1) risc (1)
Person: Arie Harsat
DBLP: Harsat:Arie
Contributed to:
Wrote 2 papers:
- ICLP-1991-HarsatG #named
- CARMEL-4: The Unify-Spawn Machine for FCP (AH, RG), pp. 840–854.
- CLP-1990-HarsatG90
- An Extended RISC Methodology and its Application to FCP (AH, RG), pp. 67–82.