BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × USA
Collaborated with:
M.C.Rinard A.Salcianu D.Marinov S.Khurshid L.Zhang A.Aiken I.Dillig T.Dillig B.Hackett P.Hawkins
Talks about:
overview (1) project (1) program (1) formula (1) classif (1) boolean (1) analysi (1) system (1) saturn (1) orient (1)

Person: Suhabe Bugrara

DBLP DBLP: Bugrara:Suhabe

Contributed to:

PASTE 20072007
SAT 20052005
FSE 20042004

Wrote 3 papers:

PASTE-2007-AikenBDDHH #overview
An overview of the saturn project (AA, SB, ID, TD, BH, PH), pp. 43–48.
SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation
Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
FSE-2004-RinardSB #analysis #aspect-oriented #classification #source code
A classification system and analysis for aspect-oriented programs (MCR, AS, SB), pp. 147–158.

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.