Cited By
View all- Černý PClarke EHenzinger TRadhakrishna ARyzhyk LSamanta RTarrach T(2017)From non-preemptive to preemptive scheduling using synchronization synthesisFormal Methods in System Design10.1007/s10703-016-0256-550:2-3(97-139)Online publication date: 1-Jun-2017
- Long YLiu YRajan H(2016)First-class effect reflection for effect-guided programmingACM SIGPLAN Notices10.1145/3022671.298403751:10(820-837)Online publication date: 19-Oct-2016
- Long YLiu YRajan HVisser ESmaragdakis Y(2016)First-class effect reflection for effect-guided programmingProceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2983990.2984037(820-837)Online publication date: 19-Oct-2016
- Show More Cited By