Folgen
Benno Stein
Titel
Zitiert von
Zitiert von
Jahr
Static analysis with demand-driven value refinement
B Stein, BB Nielsen, BYE Chang, A Møller
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
242019
Demanded abstract interpretation
B Stein, BYE Chang, M Sridharan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
182021
Safe stream-based programming with refinement types
B Stein, L Clapp, M Sridharan, BYE Chang
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
102018
Demanded Abstract Interpretation
B Stein
University of Colorado at Boulder, 2022
12022
Programming Languages and Systems
S Giallorenzo, F Montesi, M Peressotti, J Haas, R Mogk, E Yanakieva, ...
ACM Transactions on 46 (1), 2024
2024
Interactive Abstract Interpretation with Demanded Summarization
B Stein, BYE Chang, M Sridharan
ACM Transactions on Programming Languages and Systems, 2024
2024
Interactive Abstract Interpretation
B Stein
2021
Goal-Directed Backwards Static Analysis for JavaScript
B Stein
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8