Search results
Appearance
The pages "ACM Transactions on Programming Languages" and '"ACM Transactions on Programming Languages"' do 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.
- 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
- Kenneth. "Constant Propagation with Conditional Branches." ACM Transactions on Programming Languages and Systems, 13(2), April 1991, pages 181-210. Click,...2 KB (295 words) - 22:39, 6 May 2024
- 1994). 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
- (1984). "Code Selection Through Object Code Optimization". ACM Transactions on Programming Languages and Systems. 6 (4): 505–526. CiteSeerX 10.1.1.76.3796...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
- "Undecidability of context-sensitive data-dependence analysis". ACM Transactions on Programming Languages and Systems. 22 (1): 162–186. doi:10.1145/345099.345137...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...41 KB (5,066 words) - 07:38, 22 July 2024
- Pease, M. (1982). "The Byzantine Generals Problem" (PDF). ACM Transactions on Programming Languages and Systems. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312...33 KB (3,754 words) - 18:08, 1 March 2024
- (1993). "Type inference with polymorphic recursion". ACM Transactions on Programming Languages and Systems. 15 (2): 253–289. CiteSeerX 10.1.1.42.3091...8 KB (737 words) - 01:13, 16 May 2024
- techniques to component-based real-time software technology". ACM Transactions on Programming Languages and Systems. 20 (2): 276. CiteSeerX 10.1.1.33.3400. doi:10...17 KB (1,806 words) - 04:12, 1 December 2023
- 1991), "Constant Propagation with Conditional Branches", ACM Transactions on Programming Languages and Systems, 13 (2): 181–210, CiteSeerX 10.1.1.130.3532...7 KB (781 words) - 03:09, 24 July 2024
- generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems, 11(4):491-516, October 1989. Robert Giegerich...1 KB (144 words) - 00:41, 2 May 2024
- David E. Long (1994). "Model checking and abstraction". ACM Transactions on Programming Languages and Systems. 16 (5): 1512–1542. CiteSeerX 10.1.1.79.3022...2 KB (221 words) - 06:36, 31 May 2024
- Alex Lamb, "IDL: sharing intermediate representations", ACM Transactions on Programming Languages and Systems 9:3:297-318 (July 1987) John Nestor, Joseph...3 KB (262 words) - 09:28, 4 January 2024
- Infrastructure 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
- G. D. (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
- 2002). "Efficient and precise array access analysis". ACM Transactions on Programming Languages and Systems. 24 (1): 65–109. doi:10.1145/509705.509708...2 KB (211 words) - 00:55, 15 April 2024
- representation-independent dialect of LISP with reduction semantics". ACM Transactions on Programming Languages and Systems. 14 (4): 589–616. CiteSeerX 10.1.1.40.4948...4 KB (395 words) - 21:35, 25 December 2021
- Pease (July 1982). "The Byzantine Generals Problem". ACM Transactions on Programming Languages and Systems. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312...17 KB (1,534 words) - 05:14, 19 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...17 KB (1,801 words) - 05:30, 22 June 2024
- 138877. (1994-11-01)"A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems 16 (6): 1811–1841. ISSN 0164-0925. DOI:10
- floating-point computations, by David Monniaux, also printed in ACM Transactions on programming languages and systems (TOPLAS), May 2008: a compendium of non-intuitive