Tesis doctoral de Oliver Villarroya Francisco Javier
El -calculo es una teoria sin tipos que interpreta las funciones como reglas, es decir, un proceso codificado por una definicion. La idea de utilizar el -calculo como un marco matematico para la descripcion y el razonamiento acerca de los sistemas computacionales es antigua pues eslo suficientemente potente para describir todas las funciones computables mecanicamente. Pero, como mostro g. berry, la computacion que captura es esencialmente secuencial. El objetivo fundamental que guia el trabajo es la formalizacion deun calculo que extiende el calculo para modelizar la concurrencia y la comunicacion entre procesos. El lenguaje desarrollado se denomina -calculo etiquetado paralelo (lcep). Su origen esta en una propuesta inicial de h. Ait-kaci (el -calculo etiquetado) que describe un lenguaje, extension del -calculo, en el que los argumentos de las funciones se seleccionan mediante etiquetas, incluyendo tanto posiciones numericas como simbolicas. Para describir el nuevo calculo usamos unasemantica operacional dada por un sistema de transicion, a partir de la cual proponemos diferentes relaciones de equiValencia para modelar losdistintos aspectos relacionados con el comportamiento operacional de los procesos. por ultimo, ya que la escritura directa de programas en lcep resulta demasiado compleja en la mayoria de los casos como para pensar en el como recurso expresivo adecuado para la programacion, de finimos un lenguaje de mas alto nivel, aleph, que posee los recursos expresivos deseables en programacion y permite aprovechar la potencia computacional del sistema. Mostramos como aleph se traduce a lcep como codigo maquina y es a traves de este como se realizan las ejecuciones de los programas.
Datos académicos de la tesis doctoral «Una extension del lamda-calculo para la modelizacion de procesos concurrentes.«
- Título de la tesis: Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
- Autor: Oliver Villarroya Francisco Javier
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Isidro Ramos Salavert
- Tribunal
- Presidente del tribunal: José María Troya Linero
- Moreno Falaschi (vocal)
- María Alpuente Frasnedo (vocal)
- Ernesto Pimentel Sanchel (vocal)