BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fabris:Massimo

Contributed to:

ICLP 19941994
ICLP 19931993
ILPS 19931993
ESOP 19921992
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.