Braja, Gilad
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la
versión revisada el 5 de noviembre de 2021; las comprobaciones requieren
3 ediciones .
Gilad Bracha es programador y científico . _ _ Conocido como el creador del lenguaje de programación Newspeak . Fue galardonado con el Premio Dahl-Nyugor .
Biografía
Recibió una licenciatura en matemáticas e informática de la Universidad. Ben-Gurion y un doctorado de la Universidad de Utah [2] [3] .
Es uno de los desarrolladores del lenguaje de programación Strongtalk . En 1994-1997 trabajó en Animmorphic Systems [4] . En 1997, Sun Microsystems adquirió Animmorphic Systems y Gilad Bracha continuó su trabajo en la empresa. Junto con otros investigadores, desarrolló la especificación para el lenguaje Java y la máquina virtual Java [ 5 ] . Cargo oficial en ese momento: teólogo computacional e ingeniero principal [3]
2006-2009 Ingeniero líder en Cadence Design Systems . Durante este tiempo desarrolló el lenguaje de programación Newspeak .
Luego VP de SAP Labs en Palo Alto . De 2011 a 2017, trabajó en Google , donde lideró el equipo que desarrolló la especificación para el lenguaje de programación Dart [6] .
Desde 2017, desarrollador de software en Tensyr. Desde 2019 Ingeniero líder en Shape Security [2] .
Contribución
En su trabajo de 1998, propuso introducir los genéricos [7] . Permiten que los tipos sean parámetros al definir clases, tipos y métodos, lo que permite detectar errores en el momento de la compilación. Son " azúcar sintáctico ": después de la compilación, se borra cualquier información sobre los genéricos. Se agregaron en JSE 5.0 [8] .
Bracha sugirió que la elección del sistema tipográfico fuera independiente de la elección del idioma: el sistema tipográfico debe ser un módulo que pueda "conectarse" al idioma según sea necesario. Él cree que el sistema de tipo obligatorio hace que los lenguajes sean menos expresivos y el código más frágil. El requisito de que los tipos no afecten la semántica del lenguaje es difícil de cumplir; por ejemplo, están prohibidas construcciones como la sobrecarga basada en tipos. [9]
Tal como lo concibió Brach , se suponía que la neolengua tenía cuatro características: modularidad , seguridad , reflexión y compatibilidad [10] .
Actas
Según la base de datos Scopus , tiene 19 artículos. El índice de Hirsch es 13 [11] .
Libros
- Bracha G. El lenguaje de programación de dardos. - Addison-Wesley, 2015. - 224 p. — ISBN 978-0321927705 .
Artículos
- Bracha G., Cook W. Herencia basada en Mixin // ACM Sigplan Notices. - 1990. - vol. 25 , núm. 10 _
- Bracha G., Lindstrom G. La modularidad se encuentra con la herencia // Conferencia internacional IEEE sobre lenguajes informáticos. - 1992. - Abril.
- Bracha G., Odersky M., Stoutamire D., Wadler P. Hacer que el futuro sea seguro para el pasado: agregar genericidad al lenguaje de programación Java // OOPSLA '98. — 1998.
- M. Torgersen, CP Hansen, E. Ernst, Peter von der Ahé, G. Bracha, N. Gafter. Adición de comodines al lenguaje de programación Java // Journal of Object Technology. - 2004. - vol. 3 , núm. 11 _
- Bracha G., Ungar D. Mirrors: Principios de diseño para instalaciones de metanivel de lenguajes de programación orientados a objetos (inglés) // 19.ª Conferencia anual de ACM sobre programación, sistemas, lenguajes y aplicaciones orientados a objetos, OOPSLA'04. — 2004.
- Bracha G. Sistemas de tipos conectables // OOPSLA04 Taller sobre el renacimiento de lenguajes dinámicos. — 2004.
- Bracha G. Gramáticas ejecutables en neolengua // Notas electrónicas sobre informática teórica. - 2007. - No. 10 _ - Pág. 3-18 .
- Bracha G., Peter von der Ah´, Bykov V., Kashai Y., Maddox W., Miranda E. Los módulos como objetos en la neolengua // Apuntes de clase sobre informática (incluidas las subseries Apuntes de clase sobre inteligencia artificial y Apuntes de clase sobre bioinformática ). — 2010.
Notas
- ↑ Ganadores del Premio Dahl-Nyugora de 2017 . Consultado el 7 de agosto de 2020. Archivado desde el original el 5 de marzo de 2020. (indefinido)
- ↑ 1 2 Forma de seguridad. El pionero del lenguaje de programación Gilad Bracha se une a Shape Security . www.prnewswire.com . Consultado el 22 de agosto de 2020. Archivado desde el original el 11 de agosto de 2020.
- ↑ 1 2 Bio Blurb . bracha.org . Consultado el 22 de agosto de 2020. Archivado desde el original el 31 de octubre de 2020. (indefinido)
- ↑ Historia del proyecto Strongtalk . Smalltalk en ruso . Fecha de acceso: 22 de agosto de 2020. (Ruso)
- ↑ Especificaciones de Java SE . docs.oracle.com . Consultado el 22 de agosto de 2020. Archivado desde el original el 13 de enero de 2012.
- ↑ Google I/O 101: Preguntas y respuestas sobre Introducción a Dart con Gilad Bracha
- ↑ GJ: Documentación . homepages.inf.ed.ac.uk . Consultado el 22 de agosto de 2020. Archivado desde el original el 26 de febrero de 2021. (indefinido)
- ↑ Los genéricos de Java en teoría o cómo poner corchetes en la práctica . JavaRush . Consultado el 22 de agosto de 2020. Archivado desde el original el 15 de mayo de 2021. (indefinido)
- ↑ Bracha G. Sistemas de tipo enchufable . researchgate.net . Conferencia: OOPSLA'04 Workshop on Revival of Dynamic Languages (Enero 2004).
- ↑ Laurence Tratt, Adam Welc. Una entrevista con Gilad Bracha // Software IEEE. — 2014-09. - T. 31 , n. 5 . — págs. 76–79 . — ISSN 1937-4194 . -doi : 10.1109/ MS.2014.109 .
- ↑ Scopus preview - Scopus - información sobre el autor (Bracha, Gilad) . www.scopus.com . Fecha de acceso: 22 de agosto de 2020. (indefinido)
Enlaces