Cited By
View all- Hallahan WXue ABland MJhala RPiskac RMcKinley KFisher K(2019)Lazy counterfactual symbolic executionProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314618(411-424)Online publication date: 8-Jun-2019
- Hanus MSabel DThiemann P(2018)Verifying Fail-Free Declarative ProgramsProceedings of the 20th International Symposium on Principles and Practice of Declarative Programming10.1145/3236950.3236957(1-13)Online publication date: 3-Sep-2018
- Karachalias GSchrijvers TVytiniotis DJones S(2015)GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and lazinessACM SIGPLAN Notices10.1145/2858949.278474850:9(424-436)Online publication date: 29-Aug-2015
- Show More Cited By