Jump to content

Search results

  • 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
  • Thumbnail for Barbara Liskov
    (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
  • Thumbnail for Robert Shostak
    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
  • Thumbnail for Margaret Hamilton (software engineer)
    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
  • Thumbnail for Hancock (programming language)
    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