Volume 10 : Number 1 : Paper 1
June 2007 Regular Issue and Special Issue of Best Papers presented at CIESC 2005, Cali, Colombia
Title:
Semantics of Termination

Authors and Affiliations:
Patricia Peratto,

Abstract:
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.


Received 11-feb-2007, Revised 30-may-2007 , Editor: Mauricio Solar
Full paper, 7 pages [ PDF, 427 Kb ]