researchr - search publication termination

researchr

You are not signed in
Sign in
Sign up

2286 publication results matching 'termination'

TerminationNachum Dershowitz. RTA 1985: 180-224
Supercompiler HOSC 1.1: proof of termination
… The paper contributes the proof of termination of an experimental supercompiler HOSC dealing with higher-order functions. …
Ilya Klyuchnikov. Preprint 21, 2010.
Left Termination Turned into TerminationKees Doets. TCS, 124(1):180-187, 1994.
On Proving Termination by Innermost TerminationBernhard Gramlich. RTA 1996: 93-107
Reducing AC-Termination to TerminationMaria C. F. Ferreira, Delia Kesner, Laurence Puel. mfcs 1998: 239-247 [doi]
Distributed TerminationNissim Francez. TOPLAS, 2(1):42-55, 1980. [doi]
The Termination CompetitionClaude Marché, Hans Zantema. RTA 2007: 303-313 [doi]
Automatic TerminationJohannes Waldmann. RTA 2009: 1-16 [doi]
Criteria for TerminationChristoph Walther. BIRTHDAY 2000: 361-386
Termination by CompletionFrançoise Bellegarde, Pierre Lescanne. aaecc, 1:79-96, 1990.
Termination of processesDavide Sangiorgi. mscs, 16(1):1-39, 2006. [doi]
Uncurrying for TerminationNao Hirokawa, Aart Middeldorp, Harald Zankl. lpar 2008: 667-681 [doi]
Hierachical TerminationNachum Dershowitz. ctrs 1995: 89-105
Topics in TerminationNachum Dershowitz, Charles Hoot. RTA 1993: 198-212
Examples of TerminationNachum Dershowitz. ac 1995: 16-26
Natural TerminationNachum Dershowitz, Charles Hoot. TCS, 142(2):179-207, 1995. [doi]
Deadlines are terminationIan J. Hayes, Mark Utting. procomet 1998: 186-204
Maximal TerminationCarsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl. RTA 2008: 110-125 [doi]
Alternation for TerminationWilliam R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani. SAS 2010: 304-319 [doi]
Probabilistic Termination Versus Fair TerminationMichael L. Tiomkin. TCS, 66(3):333-340, 1989.

Sign in or sign up to see more results.

runs on WebDSL