Search results
Appearance
The page ""ACM Transactions on Programming Languages and Systems" magazine" does not exist. You can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
- component-based real-time software technology". ACM Transactions on Programming Languages and Systems. 20 (2): 276. CiteSeerX 10.1.1.33.3400. doi:10.1145/276393...17 KB (1,806 words) - 04:12, 1 December 2023
- Floating-Point Exceptions in Numeric Programs" (PDF). ACM Transactions on Programming Languages and Systems. 18 (2): 139–174. doi:10.1145/227699.227701. S2CID 9820157...33 KB (3,222 words) - 11:21, 23 January 2024
- Ierusalimschy (2009). "Revisiting Coroutines". ACM Transactions on Programming Languages and Systems. 31 (2): 1–31. CiteSeerX 10.1.1.58.4017. doi:10...46 KB (4,993 words) - 22:22, 26 June 2024
- (1994-11-01). "A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems. 16 (6): 1811–1841. doi:10.1145/197320.197383. ISSN 0164-0925...21 KB (1,782 words) - 10:08, 10 May 2024
- Pease (1982). "The Byzantine Generals Problem". ACM Transactions on Programming Languages and Systems. 4 (1): 382–401. CiteSeerX 10.1.1.64.2312. doi:10...16 KB (1,858 words) - 11:32, 22 June 2024
- New Approach to Structured Programming" (PDF). ACM Transactions on Programming Languages and Systems. 2 (1). ACM: 1–17. doi:10.1145/357084.357085. ISSN 0164-0925...55 KB (5,129 words) - 02:16, 24 July 2024
- (TOMM) IEEE/ACM Transactions on Networking (TON) ACM Transactions on Programming Languages and Systems (TOPLAS) Games: Research and Practice Although Communications...42 KB (4,055 words) - 19:36, 13 July 2024
- language for analyzing transactional data streams". ACM Transactions on Programming Languages and Systems. 26 (2): 301–338. doi:10.1145/973097.973100. ISSN 0164-0925...28 KB (3,324 words) - 21:03, 17 January 2024
- pitfalls of verifying floating-point computations". ACM Transactions on Programming Languages and Systems. 30 (3): 1–41. arXiv:cs/0701192. doi:10.1145/1353445...62 KB (7,506 words) - 21:31, 13 July 2024