Ranjit Jhala
Ranjit Jhala
5 ספרים במאגר
ספרים
Compiler ConstructionRanjit Jhala
Compiler Construction
Ranjit Jhala · 2013
Programming Languages and SystemsRanjit Jhala
Programming Languages and Systems
Ranjit Jhala · 2012
Verification, Model Checking, and Abstract InterpretationRanjit Jhala
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala · 2011
Refinement TypesRanjit Jhala
Refinement Types
Ranjit Jhala · 2021
Proceedings of the 5th ACM Workshop on Programming Languages Meets Program VerificationRanjit Jhala
Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification
Ranjit Jhala · 2011