Cited By
View all- Woodcock J(2021)Hoare and He’s Unifying Theories of ProgrammingTheories of Programming10.1145/3477355.3477369(285-316)Online publication date: 4-Oct-2021
- Czerniejewski ABurns JGhanei FDantu KLiu YZiarek L(2021)JCopter: Reliable UAV Software Through Managed Languages2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)10.1109/IROS51168.2021.9636617(4282-4289)Online publication date: 27-Sep-2021
- Murphy JShivkumar BPritchard AIraci GKumar DKim SZiarek L(2018)A survey of real‐time capabilities in functional languages and compilersConcurrency and Computation: Practice and Experience10.1002/cpe.490231:4Online publication date: 23-Oct-2018
- Show More Cited By