受强制性开放获取政策约束的文章 - Di Wang了解详情
可在其他位置公开访问的文章：13 篇
TiML: a functional language for practical complexity analysis with invariants
P Wang, D Wang, A Chlipala
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
PMAF: an algebraic framework for static analysis of probabilistic programs
D Wang, J Hoffmann, T Reps
ACM SIGPLAN Notices 53 (4), 513-528, 2018
强制性开放获取政策： US Department of Defense
Raising expectations: automating expected cost analysis with types
D Wang, DM Kahn, J Hoffmann
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-31, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
Central moment analysis for cost accumulators in probabilistic programs
D Wang, J Hoffmann, T Reps
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
Conditional dyck-cfl reachability analysis for complete and efficient library summarization
H Tang, D Wang, Y Xiong, L Zhang, X Wang, L Zhang
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
强制性开放获取政策： 国家自然科学基金委员会
Liquid resource types
T Knoth, D Wang, A Reynolds, J Hoffmann, N Polikarpova
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
A denotational semantics for low-level probabilistic programs with nondeterminism
D Wang, J Hoffmann, T Reps
Electronic Notes in Theoretical Computer Science 347, 303-324, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Probabilistic resource-aware session types
A Das, D Wang, J Hoffmann
Proceedings of the ACM on Programming Languages 7 (POPL), 1925-1956, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Sound probabilistic inference via guide types
D Wang, J Hoffmann, T Reps
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
R Ji, Y Zhao, Y Xiong, D Wang, L Zhang, Z Hu
ACM Transactions on Programming Languages and Systems, 2024
强制性开放获取政策： 国家自然科学基金委员会
Type-guided worst-case input generation
D Wang, J Hoffmann
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types
K Sun, D Wang, S Chen, M Wang, D Hao
38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024
强制性开放获取政策： US National Science Foundation, 国家自然科学基金委员会, UK Engineering and …
出版信息和资助信息由计算机程序自动确定