Cited By
View all- Paiva JLeal JFigueira Á(2024)Comparing semantic graph representations of source code: The case of automatic feedback on programming assignmentsComputer Science and Information Systems10.2298/CSIS230615004P21:1(117-142)Online publication date: 2024
- Sistla MChaudhuri SReps T(2024)Weighted Context-Free-Language Ordered Binary Decision DiagramsProceedings of the ACM on Programming Languages10.1145/36897608:OOPSLA2(1390-1419)Online publication date: 8-Oct-2024
- Wang DReps T(2024)Newtonian Program Analysis of Probabilistic ProgramsProceedings of the ACM on Programming Languages10.1145/36498228:OOPSLA1(305-333)Online publication date: 29-Apr-2024
- Show More Cited By