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 × France
1 × USA
Collaborated with:
M.Naik M.Sagiv H.Yang N.Rinetzky
Talks about:
correspond (1) abstract (1) modular (1) between (1) analysi (1) lattic (1) bottom (1) studi (1) test (1) down (1)

Person: Ghila Castelnuovo

DBLP DBLP: Castelnuovo:Ghila

Contributed to:

SAS 20152015
POPL 20122012

Wrote 2 papers:

SAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
POPL-2012-NaikYCS #abstraction #testing
Abstractions from tests (MN, HY, GC, MS), pp. 373–386.

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.