Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs, 17th International Static Analysis Symposium, SAS'10, 2010. ,
DOI : 10.1007/978-3-642-15769-1_8
URL : https://hal.archives-ouvertes.fr/inria-00523298
Data dependence analysis in programs with pointers, Parallel Computing, vol.24, issue.3-4, p.505525, 1998. ,
DOI : 10.1016/S0167-8191(98)00023-4
Linear Ranking with Reachability, 17th International Conference on Computer Aided Verication (CAV), p.491504, 2005. ,
DOI : 10.1007/11513988_48
Practical methods for proving program termination, 14th International Conference on Computer Aided Verication (CAV), p.442454, 2002. ,
Proving Conditional Termination, Proceedings of the 20th international conference on Computer Aided Verication, CAV '08, p.328340, 2008. ,
DOI : 10.1007/978-3-540-70545-1_32
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, 1978. ,
DOI : 10.1145/512760.512770
Accelerated Invariant Generation for C Programs with Aspic and C2fsm, Workshop on Tools for Automatic Program AnalysiS, TAPAS'10, 2010. ,
DOI : 10.1016/j.entcs.2010.09.014
URL : https://hal.archives-ouvertes.fr/inria-00523320
Assigning meaning to programs, In Symposium on Applied Mathematics, vol.19, 1967. ,
Proving Termination of Tree Manipulating Programs, Automated Technology for Verication and Analysis, p.145161, 2007. ,
DOI : 10.1007/978-3-540-75596-8_12
URL : https://hal.archives-ouvertes.fr/hal-01418916
A Complete Method for the Synthesis of Linear Ranking Functions, Verication, Model Checking, and Abstract Interpretation (VM- CAI'03), p.239251, 2004. ,
DOI : 10.1007/978-3-540-24622-0_20
Rose: Compiler support for object-oriented frameworks, Parallel Proc. Letters, 2000. ,
A survey of program slicing techniques Inria RESEARCH CENTRE GRENOBLE ? RHÔNE-ALPES Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, Journal of Programming Languages, 1995. ,