Search results
The page '"ACM Transactions on Programming Languages and Systems"' does not exist; did you mean "ACM Transactions on Programming Languages and Systems"? If not, 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.
- The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming...3 KB (158 words) - 13:05, 27 April 2023
The Temporal Logic of Actions (Technical report) (ACM Transactions on Programming Languages and Systems 16 ed.). Microsoft. 79. Lamport, Leslie (1994)....12 KB (1,066 words) - 15:54, 6 January 2024- "Constant Propagation with Conditional Branches." ACM Transactions on Programming Languages and Systems, 13(2), April 1991, pages 181-210. Click, Clifford...2 KB (295 words) - 22:39, 6 May 2024
- "Code Selection Through Object Code Optimization". ACM Transactions on Programming Languages and Systems. 6 (4): 505–526. CiteSeerX 10.1.1.76.3796. doi:10...7 KB (852 words) - 20:14, 3 December 2023
- Herlihy, Maurice (1991). "Wait-free synchronization". ACM Transactions on Programming Languages and Systems. 13: 124–149. doi:10.1145/114005.102808. S2CID 2181446...6 KB (361 words) - 21:35, 20 March 2024
- of context-sensitive data-dependence analysis". ACM Transactions on Programming Languages and Systems. 22 (1): 162–186. doi:10.1145/345099.345137. ISSN 0164-0925...13 KB (1,473 words) - 23:23, 3 June 2024
- "Improvements to graph coloring register allocation". ACM Transactions on Programming Languages and Systems. 16 (3): 428–455. CiteSeerX 10.1.1.23.253. doi:10...41 KB (5,066 words) - 07:38, 22 July 2024
- generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems, 11(4):491-516, October 1989. Robert Giegerich and...1 KB (144 words) - 00:41, 2 May 2024
- Long (1994). "Model checking and abstraction". ACM Transactions on Programming Languages and Systems. 16 (5): 1512–1542. CiteSeerX 10.1.1.79.3022. doi:10...2 KB (221 words) - 06:36, 31 May 2024
- (1993). "Type inference with polymorphic recursion". ACM Transactions on Programming Languages and Systems. 15 (2): 253–289. CiteSeerX 10.1.1.42.3091. doi:10...8 KB (737 words) - 01:13, 16 May 2024
- Lamb, "IDL: sharing intermediate representations", ACM Transactions on Programming Languages and Systems 9:3:297-318 (July 1987) John Nestor, Joseph M. Newcomer...3 KB (262 words) - 09:28, 4 January 2024
- Overlays, and Semantics for Mobile Computation". ACM Transactions on Programming Languages and Systems. 32 (4). Benjamin C. Pierce and David N. Turner...2 KB (110 words) - 21:20, 18 January 2022
- "Constant Propagation with Conditional Branches", ACM Transactions on Programming Languages and Systems, 13 (2): 181–210, CiteSeerX 10.1.1.130.3532, doi:10...7 KB (781 words) - 03:09, 24 July 2024
- (1982). "The Byzantine Generals Problem" (PDF). ACM Transactions on Programming Languages and Systems. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312. doi:10...33 KB (3,754 words) - 18:08, 1 March 2024
- 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
(1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems. 10 (3): 470. doi:10.1145/44501.45065. S2CID 1222153...11 KB (789 words) - 19:10, 23 July 2024- approach to undo operations in programming languages". ACM Transactions on Programming Languages and Systems. 8 (1): 50–87. doi:10.1145/5001.5005. Biswas, Bitan;...17 KB (1,801 words) - 05:30, 22 June 2024
- "Efficient and precise array access analysis". ACM Transactions on Programming Languages and Systems. 24 (1): 65–109. doi:10.1145/509705.509708. v t...2 KB (211 words) - 00:55, 15 April 2024
- "Expressive and modular predicate dispatch for Java". ACM Transactions on Programming Languages and Systems. 31 (2): 1. CiteSeerX 10.1.1.212.4268. doi:10.1145/1462166...2 KB (202 words) - 01:48, 18 October 2023
- dialect of LISP with reduction semantics". ACM Transactions on Programming Languages and Systems. 14 (4): 589–616. CiteSeerX 10.1.1.40.4948. doi:10...4 KB (395 words) - 21:35, 25 December 2021
- (1994-11-01)"A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems 16 (6): 1811–1841. ISSN 0164-0925. DOI:10.1145/197320
- computations, by David Monniaux, also printed in ACM Transactions on programming languages and systems (TOPLAS), May 2008: a compendium of non-intuitive