Results 11 to 20 of about 1,328,554 (243)
Proving termination using abstract interpretation [PDF]
, 2010 PhDOne way to develop more robust software is to use formal program verification. Formal program verification requires the construction of a formal mathematical proof of the programs correctness. In the past ten years or so there has been much progress
Chawdhary, Aziem A.
core +4 more sources
Logical Methods in Computer Science, 2021 The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corresponding terms) equipped with a 'star' as control symbol, signifying a ...
Jörg Endrullis +2 more
doaj +1 more source
The Termination of an Employment Contract Initiated by the Employer’s Will
Teisė, 2021 This article systematically analyses new Labour code rules (regulation from July 2017) and the judicial practice of Lithuania relating to the termination of an employment contract initiated by the employer by employer’s will (Labour Code of the Republic ...
Tomas Bagdanskis
doaj +1 more source
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories [PDF]
Logical Methods in Computer Science, 2010 We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand ...
Luis Barguno +3 more
doaj +1 more source
CLEI Electronic Journal, 2007 This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation,composition, if, skip and while and rules for termination of function calls.
Patricia Peratto
doaj +1 more source
Dynamic Dependency Pairs for Algebraic Functional Systems [PDF]
Logical Methods in Computer Science, 2012 We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered.
Cynthia Kop, Femke van Raamsdonk
doaj +1 more source
Mobile call termination in the UK [PDF]
, 2007 We discuss policy towards mobile call termination, illustrated by the 2002 Competition Commission enquiry into the UK mobile market. We present a model of the mobile market which includes both fixed-to-mobile and mobile-to-mobile call termination.
Wright, J. +5 more
core +1 more source
Local Termination: theory and practice [PDF]
Logical Methods in Computer Science, 2010 The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years.
Joerg Endrullis +2 more
doaj +1 more source
Women’s experiences of coping with pregnancy\ud termination for fetal abnormality [PDF]
, 2013 Pregnancy termination for fetal abnormality (TFA) can have significant psychological consequences. Most research focus on measuring the psychological outcome of TFA,\ud and little is known about the coping strategies involved.
Lafarge, Caroline +2 more
core +1 more source
FSE2022benchmarks/termination: FSE2022benchmark-termination
, 2022 Benchmarks and result-files for paper "Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects" (FSE ...
FSE2022benchmarks
core +1 more source