Daniel Paul Friedman (nacido en 1944) es profesor de Ciencias de la Computación en la Universidad de Indiana en Bloomington, Indiana . Su investigación se centra en los lenguajes de programación y es un autor destacado en el campo.
Dr. Daniel Paul Friedman. | |
---|---|
Nació | 1944 (76 a 77 años de edad) |
alma mater | Universidad de Houston [1] |
Conocido por | Lenguajes de programación |
Carrera científica | |
Campos | Ciencias de la Computación |
Con David Wise, Friedman escribió un artículo muy influyente sobre programación perezosa , específicamente sobre flujos perezosos ( ICALP 1976). El artículo, titulado "Los contras no deben evaluar sus argumentos", [2] es una de las primeras publicaciones que impulsa la exploración de un estilo de programación con estructuras de datos potencialmente infinitas y una forma de programación que no emplea efectos computacionales (aunque los programas pueden divergir ). Durante la década de 1970, Friedman y Wise exploraron el tema en profundidad y también consideraron extensiones al mundo de la computación paralela.
En la década de 1980, Friedman se dedicó al estudio del lenguaje de programación Scheme . Exploró el uso de macros para definir lenguajes de programación; Junto con Eugene Kohlbecker, Matthias Felleisen y Bruce Duba, co-introdujo la noción de macros higiénicas en un artículo LFP de 1986 que todavía se cita ampliamente en la actualidad. [3] Con Christopher T. Haynes y Mitchell Wand, estudió simultáneamente la naturaleza de los objetos de continuación , sus usos y las posibilidades de restringirlos. [4] Después de eso, Friedman y Felleisen introdujeron un cálculo lambda con continuaciones y operadores de control . [5] Su trabajo ha generado trabajos sobre semántica, conexiones entre lógica clásica y computación, y extensiones prácticas de continuaciones. [ cita requerida ]
Friedman también es un prolífico autor de libros de texto. Su primer libro de texto, The Little LISPer , se remonta a 1974 y todavía está impreso en su cuarta edición, ahora llamada The Little Schemer (con Felleisen). Friedman y Felleisen escribieron tres libros más "pequeños" en la década de 1990: The Little MLer , The Seasoned Schemer y A Little Java , A Few Patterns .
Friedman también es el autor principal de Essentials of Programming Languages , un libro de texto sobre lenguajes de programación. Como tal, cambió el panorama de los libros de texto de idiomas en la década de 1980, cambiando el enfoque de las encuestas de idiomas al estudio de los principios a través de una serie de intérpretes. Los libros de texto actuales sobre este tema tienden a seguir esta organización, empleando semántica operativa y teoría de tipos en lugar de intérpretes. Al igual que The Little LISPer , Essentials of Programming Languages es un libro de larga duración y ahora está en su tercera edición.
Más recientemente, Friedman reanudó el trabajo en su serie "Little" con The Reasoned Schemer (con William E. Byrd y Oleg Kiselyov), explicando la programación lógica a través de una extensión de Scheme, y con The Little Prover (con Carl Eastlund), presentando pruebas inductivas como una forma de determinar hechos sobre programas de computadora.
Referencias
- ^ "Una velada con Dan Friedman" . 6 de abril de 2016. Archivado desde el original el 11 de marzo de 2018 . Consultado el 11 de septiembre de 2017 , a través de Vimeo.
- ^ Friedman, Daniel P. (1976). "Los contras no deben evaluar sus argumentos". ICALP. Cite journal requiere
|journal=
( ayuda ) - ^ Friedman, Daniel P. (1986). "Macros higiénicas". ACM Lisp y programación funcional. Cite journal requiere
|journal=
( ayuda ) - ^ Friedman, Daniel P. (1984). "Control de restricción". Principios ACM de lenguajes de programación. Cite journal requiere
|journal=
( ayuda ) - ^ Friedman, Daniel P. (1986). "Razonamiento con Continuaciones l". Lógica IEEE en Ciencias de la Computación. Cite journal requiere
|journal=
( ayuda )
Libros
Daniel P. Friedman es autor o coautor de los siguientes libros:
- El pequeño LisperISBN 0-262-56038-0
- El pequeño intriganteISBN 0-262-56099-2
- El pequeño MLerISBN 0-262-56114-X
- Un poco de Java, algunos patronesISBN 0-262-56115-8
- El conspirador experimentadoISBN 0-262-56100-X
- El intrigante razonadoISBN 0-262-56214-6
- El pequeño probadorISBN 0-262-52795-2
- Conceptos básicos de los lenguajes de programaciónISBN 0-262-06217-8
- Esquema y el arte de programarISBN 0-262-19288-8
- Computación coordinada: herramientas y técnicas para software distribuidoISBN 0-07-022439-0
- El pequeño mecanografiadoISBN 9780262536431
enlaces externos
- Página de Daniel P. Friedman
- Página de inicio de The Little Schemer
- Los contras no deben evaluar sus argumentos, la versión del informe técnico
- Página web de DanFest, la celebración académica del 60 aniversario de Friedman en 2004
- "Dan Friedman — Cool Ideas" , discurso de apertura de Guy Steele en DanFest en el que se revisa el trabajo de Friedman.