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 × USA
1 × United Kingdom
Collaborated with:
Z.Su V.Le E.T.Barr
Talks about:
program (2) programm (1) abstract (1) prorogu (1) equival (1) modulo (1) compil (1) white (1) valid (1) refin (1)

Person: Mehrdad Afshari

DBLP DBLP: Afshari:Mehrdad

Contributed to:

PLDI 20142014
Onward! 20122012
Onward! 20162016

Wrote 3 papers:

PLDI-2014-LeAS #compilation #equivalence #validation
Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
Onward-2012-AfshariBS #programming
Liberating the programmer with prorogued programming (MA, ETB, ZS), pp. 11–26.
Onward-2016-AfshariS #abstraction #refinement
Building white-box abstractions by program refinement (MA, ZS), pp. 74–81.

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.