Learn More
Formalizing appropriate information policies that authorize some controlled form of information release, and providing sound analyses for these policies is a necessary step towards practical applications of language-based security. We propose a modular method to enhance non-interference type systems to support controlled forms of information release that(More)
This paper deals with the problem of protect the confidentiality of data manipulated by sequential programs. In this context, <i>secure information flow</i> refers to the guarantee that program executions are free of non authorized flows of secret information into public channels. There are two established means to enforce information flow policies: static(More)
Resumen En general, el problema de determinar si una gramática libre de contexto es ambigua no tiene solución. Sin embargo, es posible identificar clases de gramáticas para las cuales es factible afirmar que son (no)ambiguas. En este artículo identificamos tres subclases de gramáticas libres de contexto ambiguas y proveemos un algoritmo eficiente para(More)
Resumen MiniMe es una herramienta visual diseñada para ayudar a los estudiantes de cursos de construcción de compiladores a comprender tópicos relacionados con la fase de generación de código objeto, y a facilitarles su desarrollo. En un entorno gráfico e interactivo, la máquina virtual emula hardware sencillo y ejecuta programas codificados en un lenguaje(More)
1 Introducción El término slice de programa fue acuñado por Mark Weiser en su tesis doctoral [Wei79], junto con su definición y un algoritmo para calcularlo. Weiser sostiene que los programadores, mientras depuran los programas, los dividen en piezas coherentes que usualmente no son textualmente contiguas. Los slices se corresponden con esas abstracciones(More)
  • 1