Ranjit Jhala

Identifiers

Open LibraryOL7557849A

Top Subjects

Computer science (3)
Software engineering (3)
Logic design (2)
Computer software (1)
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Programming Techniques (1)

Books by Ranjit Jhala

Total count: 5

Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification

Association for Computing Machinery2011-01-01
Verification, Model Checking, and Abstract Interpretation12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer Berlin Heidelberg2011-01-01
Programming Languages and Systems10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Springer Berlin Heidelberg2012-01-01
Compiler Construction22nd International Conference, CC 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Springer Berlin / Heidelberg2013-01-01
Refinement Typesa Tutorial

Now Publishers2021-01-01