Pasar al contenido principal
Inicio Departamento de Ciencias de la Computación Logo LCC
Depto. de Ciencias de la Computación
Departamento de Ciencias de la Computación
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario
Logo FCEIA Logo UNR

Menú principal

  • Inicio
  • Departamento
  • LCC
  • Materias
  • Ingresantes
  • Docentes

Formulario de búsqueda

Login Menu

  • Login

Idiomas

  • Es
  • En

Usted está aquí

Inicio » LCC » Tesinas de Grado » Tesinas
  • Materias
  • Perfil y Plan
  • Jornadas de Cs. de la Computación
  • Tesinas de Grado
    • Propuestas
    • Tesinas
  • El Proyecto PROMINF‐LCC‐FCEIA
  • Lista de correo

Confluencia en Sistemas de Reescritura Probabilista

Autor: 
Guido Martínez
Fecha Defensa: 
27/03/2017
Resumen: 

Los sistemas de reescritura abstracta son la manera estándar de dar una
semántica operacional (small-step) a un lenguaje de programación. Estudiarlos
a nivel abstracto, olvidando los detalles de un cálculo en particular, da buenos
frutos ya que muchas propiedades y teoremas son reusables entre lenguajes
distintos.
Algunos lenguajes tienen una ejecución probabilista. Para modelar esto,
existen nociones de sistemas de reescritura probabilista. Sin embargo, la defi-
nición más usual de los mismos no permite no determinismo en su reducción
y, tal vez como consecuencia, propiedades como la confluencia en este tipo de
sistemas están poco estudiadas.
Proponemos una noción de sistemas de reescritura multiprobabilista que
permite no determinismo en la reducción, mostrando cómo generalizan a otras
nociones pero permitiendo a la vez nuevos comportamientos. En particular,
permiten modelar un lenguaje probabilista sin fijar una estrategia de reduc-
ción. Damos dos ejemplos de lenguajes concretos interesantes que pueden mo-
delarse con estos sistemas.
Basándonos en trabajo previo, se define una noción de confluencia de dis-
tribuciones
. Por el lado teórico, estudiamos esta noción abstractamente junto
a sus consecuencias, simplificando los diagramas a demostrar y traspasando
teoremas clásicos de confluencia a la nueva noción, obteniendo criterios sim-
plificados para decidir si la propiedad se cumple. Además, damos evidencia de
que nuestra representación es general, y deberı́a ser ampliamente aplicable.
Por el lado concreto, brindamos dos resultados interesantes: (1) Se sim-
plifica una demostración de una confluencia similar existente en la literatura
(2) Se destilan las propiedades necesarias para tener confluencia, dando un
cálculo simple a modo de ejemplo.

Institución: 
FCEIA-UNR
Director: Alejandro Díaz-Caro
Tesina: 
Icono PDF 98.pdf

Contacto

Administración: webmasterlcc@fceia.unr.edu.ar
Preguntas: ingrlcc@fceia.unr.edu.ar

Logo FCEIA Logo UNR
  • Inicio
  • Departamento
  • LCC
    • Materias
    • Perfil y Plan
    • Jornadas de Cs. de la Computación
    • Tesinas de Grado
      • Propuestas
      • Tesinas
    • El Proyecto PROMINF‐LCC‐FCEIA
    • Lista de correo
  • Materias
  • Ingresantes
  • Docentes
Diseñado por
Sitemap