Bas Basten - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged termination

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

Faster ambiguity detection by grammar filteringBas Basten, Jurgen J. Vinju. LDTA 2010: 5 [doi]

Ranking functions for size-change terminationChin Soon Lee. TOPLAS, 31(3), 2009. [doi]

Alternative Methods in Proving Loop TerminationTennyson X. Chen, Martin D. Meyer. sede 2008: 194-197

Arctic Termination ...Below ZeroAdam Koprowski, Johannes Waldmann. RTA 2008: 202-216 [doi]

Induction for positive almost sure terminationIsabelle Gnaedig. ppdp 2007: 167-178 [doi]

Predicting Loop Termination to Boost Speculative Thread-Level Parallelism in Embedded ApplicationsMd. Mafijul Islam. sbac-pad 2007: 54-61 [doi]

Semi-continuous Sized Types and TerminationAndreas Abel. csl 2006: 72-88 [doi]

TPA: Termination Proved AutomaticallyAdam Koprowski. RTA 2006: 257-266 [doi]

Proving termination using dependent types: the case of XOR-termsJean-François Monin, Judicaël Courant. sfp 2007: 1-18

Optimal threshold policies in a two-class preemptive priority queue with admission and termination controlGido A. J. F. Brouns, Jan van der Wal. questa, 54(1):21-33, 2006. [doi]

Termination of Polynomial ProgramsAaron R. Bradley, Zohar Manna, Henny B. Sipma. vmcai 2005: 113-129 [doi]

A Proof of Weak Termination Providing the Right Way to TerminateOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner. ictac 2005: 356-371 [doi]

Early termination over small fieldsWayne Eberly. issac 2003: 80-87 [doi]

Approximations for Strategies and TerminationENTCS, 70(6):1-20, 2002. [doi]

Outermost ground terminationOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner. ENTCS, 71:188-207, 2002. [doi]

Simulation of Conflict in an Agent World: Access to Resources and Possibility of Termination of the PopulationJaak Tepandi. informaticaLT, 13(4):501-512, 2002. [doi]

Practical Methods for Proving Program TerminationMichael Colón, Henny Sipma. cav 2002: 442-454 [doi]

Ensuring Termination in ESFPAlastair Telford, David Turner. jucs, 6(4):474-488, 2000. [doi]

Termination and normalisation under strategy Proofs in ELANHélène Kirchner, Isabelle Gnaedig. ENTCS, 36:93-120, 2000. [doi]

A Termination Detection Algorithm: Specification and VerificationRobert Eschbach. FM 1999: 1720-1737 [doi]

Computation calculus = sequential calculus + discreteness and terminationBurghard von Karger. RelMiCS 1998: 122-126

A Path Removing Technique for Detecting Trigger TerminationSin Yeung Lee, Tok Wang Ling. edbt 1998: 341-355 [doi]

Task Dependence and Termination in AdaLaura K. Dillon. TOSEM, 6(1):80-110, 1997. [doi]

Refined Termination Decision in Active DatabasesSin Yeung Lee, Tok Wang Ling. DEXA 1997: 182-191

Strong Termination for the Epsilong Substitution MethodGrigori Mints. JSYML, 61(4):1193-1205, 1996.

Termination by Absence of Infinite Chains of Dependency PairsThomas Arts. caap 1996: 196-210

Replacement Can Preserve TerminationAnnalisa Bossi, Nicoletta Cocco. LOPSTR 1997: 104-129

Termination Criteria for Linear ProblemsSpassimir H. Paskov. jc, 11(1):105-137, 1995. [doi]

Towards a Domain Theory for Termination ProofsStefan Kahrs. RTA 1995: 241-255

A New Characterisation of AC-Termination and ApplicationJean-Michel Gélis. ctrs 1995: 124-143

Left Termination Turned into TerminationKees Doets. TCS, 124(1):180-187, 1994.

Preserving Universal Termination through Unfold/FoldAnnalisa Bossi, Nicoletta Cocco. icalp 1994: 269-286

The Derivation of Distributed Termination Detection Algorithms from Garbage Collection SchemesGerard Tel, Friedemann Mattern. TOPLAS, 15(1):1-35, 1993. [doi]

Laws of Parallel Synchronised TerminationDavid Sands. imperial 1993: 276-288

Distributed Termination EnforcementMartin Rudalics. parle 1992: 363-378

Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation LengthsDieter Hofbauer. TCS, 105(1):129-140, 1992.

The Derivation of Distributed Termination Detection Algorithms from Garbage Collection SchemesGerard Tel, Friedemann Mattern. parle 1991: 137-149

Asynchronous Distributed Termination-Parallel and Symmetric Solutions with Echo AlgorithmsFriedemann Mattern. algorithmica, 5(3):325-340, 1990.

Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation LengthsDieter Hofbauer. icalp 1990: 347-358

Termination Proofs and the Length of Derivations (Preliminary Version)Dieter Hofbauer, Clemens Lautemann. RTA 1989: 167-177

Temporal Predicat Transformers and Fair TerminationJoseph M. Morris. ACTA, 27(4):287-313, 1989.

A better way to combine efficient string length encoding and zero-terminationCoenraad Bron, Edsger W. Dijkstra. SIGPLAN, 24(6):11-19, 1989. [doi]

Algorithms for Distributed Termination DetectionFriedemann Mattern. dc, 2(3):161-175, 1987.

The SV40 termination region exhibits an altered helical DNA conformationL. G. Poljak, J. D. Gralla. nar, 15(13):5433-5442, 1987.

Experience with a New Distributed Termination Detection AlgorithmFriedemann Mattern. wdag 1988: 127-143

Termination Detection for Distributed ComputationsRodney W. Topor. ipl, 18(1):33-36, 1984.

Detecting Termination of Distributed Computations Using MarkersJayadev Misra. podc 1983: 290-294

A Formalism for Reasoning about Fair TerminationWillem P. de Roever. lop 1982: 113-121

A Closer Look at TerminationShmuel Katz, Zohar Manna. ACTA, 5:333-352, 1975.

runs on WebDSL