Control dependence for extended finite state machines

Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and extends another. We illustrate that by using this new definition our slices respect Weiser slicing’s termination behaviour. We prove results that clarify the relationships between our definition and older ones, following this up with examples to motivate the need for these differences

Parametric and Termination-Sensitive Control Dependence

A parametric approach to control dependence is presented, where the parameter is any prefix-invariant property on paths in the control-flow graph. Existing control dependencies, both direct and indirect, can be obtained as instances of the parametric framework for particular properties on paths. A novel control dependence relation, called termination-sensitive control dependence, is obtained also as an instance of the parametric framework. This control dependence is sensitive to the termination information of loops, which can be given as annotations on loops. If all loops are annotated as terminating then it becomes the classic control dependence, while if all loops are annotated as non-terminating then it becomes the weak control dependence; since in practice some loops are terminating and others are not, termination-sensitive control dependence is expected to improve the precision of analysis tools using it. The unifying formal framework for direct and indirect control dependencies suggests also, in a natural way, a unifying terminology for the various notions of control dependency, which is also proposed in this paper. Finally, a worst-case O(n^2) algorithm to compute the indirect termination-sensitive control dependence for languages like Java and C# is given, avoiding the O(n^3) complexity of the trivial algorithm calculating the transitive closure of the direct dependence

Complicaciones de la implantación de catéteres de Tenckhoff por cirugía abierta versus cirugía minimamente invasiva.

Introducción: La diálisis peritoneal es la modalidad de terapia de remplazo renal más usada debido a su fácil manejo, además de ser el método más económico. El primer paso para que la diálisis peritoneal tenga un alto nivel de éxito es la realización de una técnica quirúrgica eficaz para la inserción del catéter de Tenckhoff. Material y métodos: Estudio prospectivo aleatorizado sobre las complicaciones de la implantación de catéteres de Tenckhoff, por cirugía abierta vs cirugía mínimamente invasiva en 30 pacientes del sexo femenino, operadas en el departamento de Cirugía Pediátrica del Hospital Roosevelt entre julio del año 2018 a junio del 2019. El objetivo fue analizar las complicaciones de la implantación de catéter Tenckhoff para el inicio de diálisis peritoneal. Resultados y discusión: Se determinó un OODS RATIO de 0.2857 y un VALOR P de 0.1743 para la asociación entre las técnicas quirúrgicas para la colocación de un catéter de Tenckhoff y las complicaciones del catéter. Conclusión: Se determinó que las pacientes intervenidas por cirugía mínimamente invasiva, son más propensas a que presenten más complicaciones en comparación con las pacientes que son intervenidas por cirugía abierta, pero estadísticamente no hay valor significativo para recomendar una técnica quirúrgica para la colocación de un catéter de diálisis. Por lo tanto, la técnica quirúrgica a utilizar para tener un acceso peritoneal en pacientes pediátricos del sexo femenino con enfermedad renal crónica que inician con diálisis peritoneal, queda a criterio del cirujano y de los recursos hospitalarios disponibles