Search results

The page ""ACM Trans. Program. Lang. Syst." journal" 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.

ACM Transactions on Programming Languages and Systems (redirect from ACM Trans. Program. Lang. Syst.)
scientific journal on the topic of programming languages published by the Association for Computing Machinery. Published since 1979, the journal's scope includes...

3 KB (158 words) - 13:05, 27 April 2023
Expression problem
(November 1995). "Type Checking and Modules for Multi-Methods". ACM Trans. Program. Lang. Syst. 17 (6): 805–843. doi:10.1145/218570.218571. Clifton, Curtis;...

17 KB (1,831 words) - 01:27, 11 December 2023
Clyde Kruskal
"Efficient Synchronization on Multiprocessors with Shared Memory". ACM Trans. Program. Lang. Syst. 10 579-601 (1988) Clyde P. Kruskal, Marc Snir and Alan Weiss...

5 KB (526 words) - 03:46, 13 June 2022
Predicate transformer semantics
1990). "win and sin: Predicate Transformers for Concurrency". ACM Trans. Program. Lang. Syst. 12 (3): 396–428. CiteSeerX 10.1.1.33.90. doi:10.1145/78969...

27 KB (3,377 words) - 06:55, 9 July 2024
Brooks–Iyengar algorithm
Pease, Marshall (1982-07-01). "The Byzantine Generals Problem". ACM Trans. Program. Lang. Syst. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312. doi:10.1145/357172...

15 KB (1,905 words) - 20:30, 12 March 2024
Quantum programming
Mingsheng (January 2012). "Floyd–hoare Logic for Quantum Programs". ACM Trans. Program. Lang. Syst. 33 (6): 19:1–19:49. doi:10.1145/2049706.2049708. ISSN 0164-0925...

39 KB (4,049 words) - 17:25, 22 July 2024
Garbage collection (computer science)
on-the-fly reference-counting garbage collector for java". ACM Trans. Program. Lang. Syst. 28: 31–69. CiteSeerX 10.1.1.15.9106. doi:10.1145/1111596.1111597...

39 KB (4,028 words) - 04:48, 28 June 2024
Distributed operating system
Shostak, R., and Pease, M. 1982. The Byzantine Generals Problem. ACM Trans. Program. Lang. Syst. 4, 3 (Jul. 1982), 382-401. Schlichting, R. D. and Schneider...

44 KB (5,115 words) - 05:10, 16 April 2024
Reference counting
on-the-fly reference-counting garbage collector for java". ACM Trans. Program. Lang. Syst. 28: 31–69. CiteSeerX 10.1.1.15.9106. doi:10.1145/1111596.1111597...

36 KB (4,785 words) - 06:17, 22 May 2024
Unification (computer science)
Montanari, Ugo (Apr 1982). "An Efficient Unification Algorithm". ACM Trans. Program. Lang. Syst. 4 (2): 258–282. doi:10.1145/357162.357169. S2CID 10921306....

70 KB (7,377 words) - 01:53, 4 May 2024
Symbolic artificial intelligence
(1980-01-01). "A Deductive Approach to Program Synthesis". ACM Trans. Program. Lang. Syst. 2 (1): 90–121. doi:10.1145/357084.357090. S2CID 14770735. Schank...

86 KB (10,776 words) - 09:57, 20 July 2024
University of Illinois Center for Supercomputing Research and Development
Polychronopoulos: Symbolic Analysis for Parallelizing Compilers. ACM Trans. Program. Lang. Syst. 18(4): 477-518 (1996) C. D. Polychronopoulos and D. J. Kuck...

49 KB (6,992 words) - 09:48, 31 January 2024