|
Premio Turing 2008 para la doctora Barbara H. Liskov del MIT |
|
martes, 10 de marzo de 2009 |
Acabo de ver la nota de prensa publicada por la ACM  con fecha del 10 de Marzo de 2009, en la que comentan que la asociación otorga el Premio Turing de 2008 a la doctora Bárbara H. Liskov por "Sus contribuciones a los fundamentos prácticos y teóricos de los lenguajes de programación y del diseño de sistemas, especialmente en lo relacionado con la abstracción de datos, la tolerancia a fallos y la computación distribuida".
La verdad es que al leer el nombre en la nota de prensa me resultaba conocido pero no lograba recordar por qué.
Entre los méritos de Liskov se cuenta:
- haber desarrollado allá por 1974 el primer lenguaje de programación con soporte para Tipos Abstractos de Datos, llamado CLU , con baja o ninguna implantación comercial práctica, pero del cual tomaron idea otros lenguajes;
- también otro lenguaje de programación llamado Argus en los años 80, que permitía que el paradigma de programación orientada a objetos se ejecutase sobre sistemas distribuidos.
- liderar un equipo de investigación en el MIT centrado en la computación distribuida y en la tolerancia a fallos bizantinos (un tipo de fallos traicionero que pueden ocurrir durante la ejecución de algoritmos en sistemas distribuidos).
Sin embargo... a mí no me resultaba conocido por ninguna de esas tres cosas, sino por "El principio de sustitución de Liskov ", un enunciado referido a la definición de subtipos (o subclases, o clases derivadas, etc...) que había escuchado en multitud de ocasiones y que por lo visto Bárbara Liskov y Jeanette Wing (de la Universidad Carnegie Mellon) citan en un documento escrito conjuntamente y titulado "Behavioral Subtyping Using Invariants and Constraints ", y que básicamente viene a decir que:
Si Φ(x) es una propiedad demostrable de un objeto x de la clase T, entonces Φ(y) es verdadera para un objeto y de la clase S, siendo S una subclase de T. Es decir, si S es una subclase de T, entonces un objeto x∈T puede ser sustituido por otro objeto y∈S en un programa sin que se alteren las propiedades de ese programa. Si no es así, entonces S no es una subclase de T.
¡Qué cosas! En fin... enhorabuena a la flamante ganadora.
Para saber más:
-Una mini bio de Liskov en la wikipedia .
-La página de Liskov en el MIT
-La nota de prensa de ACM en la que se anuncia la concesión del premio Turing.
|
NO-ticias 
