Travelled to:1 × Portugal
Collaborated with:C.L.d.Carvalho R.M.d.S.Julia
Talks about:program (2) logic (2) netprolog (1) virtual (1) context (1) system (1) machin (1) infer (1) type (1) java (1)
Person: Eduardo Costa Pereira
DBLP: Pereira:Eduardo_Costa
Contributed to:
1999Wrote 2 papers:
- ICEIS-1999-CarvalhoPJ #java #logic programming #prolog #virtual machine
- NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
- ICEIS-1999-CarvalhoPJ99a #logic programming #type inference
- Type Inference in Logic Programming Context (CLdC, ECP, RMdSJ), p. 764.