Travelled to:1 × Canada
1 × France
1 × Hungary
1 × Italy
Collaborated with:A.Bossi N.Cocco M.C.Meo M.Bugliesi S.Decorte D.D.Schreye
Talks about:automat (2) termin (2) semant (2) norm (2) construct (1) properti (1) fixpoint (1) program (1) exploit (1) analysi (1)
Person: Massimo Fabris
DBLP: Fabris:Massimo
Contributed to:
199419931993
1992
1991Wrote 5 papers:
- ICLP-1994-BossiFM #bottom-up #semantics
- A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
- ICLP-1993-BossiBF #fixpoint #prolog #semantics
- A New Fixpoint Semantics for Prolog (AB, MB, MF), pp. 374–389.
- ILPS-1993-DecorteSF #analysis #automation #termination
- Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis (SD, DDS, MF), pp. 420–436.
- ESOP-1992-BossiCF
- Typed Norms (AB, NC, MF), pp. 73–92.
- CCPSD-1991-BossiCF #logic programming #proving #source code #termination
- Proving Termination of Logic Programs by Exploiting Term Properties (AB, NC, MF), pp. 153–180.