BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
D.Ancona E.Zucca
Talks about:
coaxiom (2) behaviour (1) infinit (1) general (1) system (1) reason (1) diverg (1) comput (1) model (1) infer (1)

Person: Francesco Dagnino

DBLP DBLP: Dagnino:Francesco

Contributed to:

ESOP 20172017
OOPSLA 20172017
ECOOP 20182018

Wrote 3 papers:

ESOP-2017-AnconaDZ #axiom
Generalizing Inference Systems by Coaxioms (DA, FD, EZ), pp. 29–55.
OOPSLA-2017-AnconaDZ #axiom #reasoning
Reasoning on divergent computations with coaxioms (DA, FD, EZ), p. 26.
ECOOP-2018-AnconaDZ #behaviour #infinity #modelling
Modeling Infinite Behaviour by Corules (DA, FD, EZ), p. 31.

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.