Search results

The page "0897910907" 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.

Loop dependence analysis
Principles of programming languages - POPL '83. POPL '83. New York, NY, USA: ACM. pp. 177–189. doi:10.1145/567067.567085. ISBN 0897910907. S2CID 39279813....

14 KB (1,797 words) - 15:03, 8 March 2024
Typestate analysis
programming languages - POPL '83. pp. 276–284. doi:10.1145/567067.567093. ISBN 0897910907. S2CID 6630704. Strom, Robert E.; Yemini, Shaula (1986). "Typestate: A...

14 KB (1,834 words) - 23:05, 17 February 2024
CTL*
Programming Languages - POPL '83. pp. 127–140. doi:10.1145/567067.567081. ISBN 0897910907. S2CID 15728260. Baier, Christel; Katoen, Joost-Pieter (2008-01-01). Principles...

9 KB (1,570 words) - 15:14, 24 November 2023