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

Collaborated with:
B.E.Chang L.Clapp M.Sridharan B.B.Nielsen A.Møller
Talks about:
refin (2) program (1) analysi (1) stream (1) static (1) driven (1) demand (1) valu (1) type (1) safe (1)

Person: Benno Stein 0002

DBLP DBLP: 0002:Benno_Stein

Contributed to:

ASE 20182018
OOPSLA 20192019

Wrote 2 papers:

ASE-2018-SteinCSC #programming #refinement
Safe stream-based programming with refinement types (BS0, LC, MS, BYEC), pp. 565–576.
OOPSLA-2019-SteinNCM #refinement #static analysis
Static analysis with demand-driven value refinement (BS0, BBN, BYEC, AM), p. 29.

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.