Programming with non-determinism: a rewriting based approach = Programación con indeterminismo: un enfoque basado en reescritura

Sujets

• Lenguaje de programación

Informations

• Publié par: universidad_complutense_de_madrid
• Publié le: 01 janvier 2010
• Nombre de lectures: 29
• Langue: Español
• Poids de l'ouvrage: 4 Mo

Extrait

UNIVERSIDAD COMPLUTENSE DE MADRID

FACULTAD DE INFORMÁTICA
Departamento de Sistemas Informáticos y Computación





PROGRAMACIÓN CON INDETERMINISMO: UN
ENFOQUE BASADO EN REESCRITURA.


MEMORIA PARA OPTAR AL GRADO DE DOCTOR
PRESENTADA POR

Juan Rodríguez Hortalá


Bajo la dirección de los doctores

Francisco J. López Fraguas
Jaime Sánchez Hernández


Madrid, 2010


ISBN: 978-84-693-8793-1 © Juan Rodríguez Hortalá, 2010



Programación con indeterminismo:
un enfoque basado en reescritura
Juan Rodríguez Hortalá
Tesis doctoral
Directores: Francisco J. López Fraguas
Jaime Sánchez Hernández
Departamento de Sistemas Informáticos y Computación
Universidad Complutense de Madrid
Abril de 2010Programming with Non-Determinism:
a Rewriting Based Approach
Juan Rodríguez Hortalá
PhD Thesis
Advisors: Francisco J. López Fraguas
Jaime Sánchez Hernández
Departamento de Sistemas Informáticos y Computación
Universidad Complutense de Madrid
April 2010“¿Y la ciencia? La ciencia es, ante todo, resignación. Normalmente sólo se resaltan
sus logros, pero éstos llegan con lentitud y no igualan nunca la enormidad de sus fracasos.
La ciencia es la aceptación de la mortalidad y la arbitrariedad del individuo, que surge
del equilibrado juego de los espermatozoides en su lucha por lograr la primacía en la fe-
cundación. Es el reconocimiento del transcurrir, de la irreversibilidad, de la ausencia de
recompensa, de una justicia superior, del conocimiento absoluto, de la comprensión global;
sería incluso heroica si sus creadores no fueran tan a menudo ignorantes de lo que están
haciendo en realidad.”
Stanisław Lem — Más relatos del piloto Pirx (Opowieści o pilocie Pirxie) - 1968
“And science? Science is, above all, resignation. Usually, only its achievements are
highlighted, but these come slowly and cannot ever match the enormity of its failures.
Science is the acceptance of mortality and the arbitrariness of the individual, emerging
from the balanced game of the spermatozoids in their struggle for primacy in fertilization.
It is the recognition of the passage of time, of irreversibility, of the lack of rewards, higher
justice, absolute knowledge and global understanding ; it could even be heroic if its creators
were not so often ignorant of what they are actually doing.”
Stanisław Lem — More Tales of Pirx the Pilot (Opowieści o pilocie Pirxie) - 1968
iAgradecimientos
Esta tesis no hubiera sido posible sin la ayuda y el apoyo de muchas personas. Primero
quisiera dar las gracias a mis directores por la confianza depositada y el esfuerzo dedi-
cado en sacar adelante el trabajo que constituye esta tesis. Gracias también a Michael
Hanus y a los miembros del Institut für Informatik de la Christian-Albrechts-Universität
zu Kiel—especialmente a Sebastian Fischer, Bernd Braßel y Jan Christiansen—, por su
hospitalidad durante mi estancia en Kiel, así como por las interesantes discusiones allí
mantenidas. Asimismo, gracias a Stephan Merz y a los miembros del Loria por el amable
trato dispensado durante mi estancia en Nancy, y por ayudarme a empezar con el sistema
Isabelle.
Gracias a los revisores anónimos por ayudarnos a depurar nuestros artículos, darnos
a conocer referencias enriquecedoras, y proponernos nuevas líneas de investigación o apli-
caciones diferentes de nuestro trabajo. También debo agradecer el apoyo económico en
forma de becas, contratos, y de los proyectos de investigación en los que he participado,
recibido por parte de varias instituciones: el Ministerio de Educación y Ciencia de España,
la Consejería de Educación de la Comunidad de Madrid, y la Universidad Complutense de
Madrid.
Gracias a mis compañeros de la Complutense por los consejos y la experiencia que me
han transmitido durante estos años. Gracias a los miembros del Grupo de Programación
Declarativa y a toda la gente del 220—entre los que incluyo al Dr. Álvez—, por hacer
muchos más llevaderos los días malos en el trabajo, y ayudarme a no desfallecer. Gracias
a mi familia por haberme llevado hasta aquí. Gracias a mis amigos por hacer que tenga
vida y proyectos fuera del trabajo, especialmente a David por poder contar siempre con
él. Y finalmente gracias también a María por todas esas cosas y todas las demás.
iiiAcknowledgements
This thesis would not have been possible without the help and support of many people.
First I would like to thank my advisors for their trust and the effort put in the development
of the work that constitutes this thesis. Thanks also to Michael Hanus and the members
of the Institut für Informatik of the Christian-Albrechts-Universität zu Kiel—especially
Sebastian Fischer, Bernd Brassel and Jan Christiansen—, for their hospitality during my
stay in Kiel, and for the interesting discussions. Likewise thanks to Stephan Merz and the
members of Loria for the kind treatment during my stay in Nancy, and for helping me to
start with the Isabelle system.
Thanks to the anonymous referees for helping us to refine our papers, for giving us
to know a lot of enriching references, and for proposing new research lines or different
applications of our work. Also I acknowledge the financial support in the form of grants,
contracts, and research projects I have participated, received from various institutions:
the Ministry of Education and Science of Spain / Ministerio de Educación y Ciencia de
España, the Ministry of Education of the Regional of Madrid / Consejería de Educación
de la Comunidad de Madrid and the Complutense University of Madrid / Universidad
Complutense de Madrid.
Thanks to my colleagues at the Complutense for the advice and experience passed on
me during these years. Thanks to the members of the Declarative Programming Group
and all the people from office 220—among which I include the Dr. Álvez—, for making
the bad days at work much easier to bear, and for helping me not to faint. Thanks to my
family for bringing me here. Thanks to my friends for giving me a life outside the office,
specially to David because I can always count on him. And finally thanks to María for all
those things and all the others.
v