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: 0002:Benno_Stein
Contributed to:
2018
2019Wrote 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.