Bracha, Gilad
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită pe 5 noiembrie 2021; verificările necesită
3 modificări .
Gilad Bracha este programator și om de știință . _ Cunoscut ca creatorul limbajului de programare Newsspeak . A fost distins cu Premiul Dahl-Nyugor .
Biografie
A primit o diplomă de licență în matematică și informatică de la Universitate. Ben-Gurion și un doctorat de la Universitatea din Utah [2] [3] .
El este unul dintre dezvoltatorii limbajului de programare Strongtalk . În 1994-1997 a lucrat la Sisteme animorfice [4] . În 1997, Sun Microsystems a achiziționat Animorphic Systems, iar Gilad Bracha și-a continuat activitatea la companie. Împreună cu alți cercetători, a dezvoltat specificația pentru limbajul Java și mașina virtuală Java [5] . Poziția oficială la acea vreme - teolog computațional și inginer principal [3]
2006-2009 Inginer principal la Cadence Design Systems . În acest timp a dezvoltat limbajul de programare Newsspeak .
Apoi VP al SAP Labs din Palo Alto . Din 2011-2017, a lucrat la Google , unde a condus echipa care a dezvoltat specificația pentru limbajul de programare Dart [6] .
Din 2017, un dezvoltator de software la Tensyr. Din 2019 Inginer principal la Shape Security [2] .
Contribuție
În lucrarea sa din 1998, el a propus introducerea genericelor [7] . Acestea permit ca tipurile să fie parametri atunci când se definesc clase, tipuri și metode, permițând identificarea erorilor în timpul compilării. Sunt „ zahăr sintactic ” - după compilare, orice informație despre generice este ștearsă. Au fost adăugate în JSE 5.0 [8] .
Bracha a sugerat să facă alegerea sistemului de tip independent de alegerea limbii - sistemul de tip ar trebui să fie un modul care poate fi „conectat” în limbaj după cum este necesar. El crede că sistemul de tip obligatoriu face limbajele mai puțin expresive și codul mai fragil. Cerința ca tipurile să nu afecteze semantica limbajului este dificil de îndeplinit, de exemplu sunt interzise constructe precum supraîncărcarea bazată pe tipuri. [9]
Așa cum a fost conceput de Brach , Newspeak trebuia să aibă patru caracteristici: modularitate , securitate , reflectare , compatibilitate [10] .
Proceedings
Potrivit bazei de date Scopus , el are 19 lucrări. Indicele Hirsch este 13 [11] .
Cărți
- Bracha G. Limbajul de programare Dart. - Addison-Wesley, 2015. - 224 p. — ISBN 978-0321927705 .
Articole
- Bracha G., Cook W. Mixin-based heritance // ACM Sigplan Notices. - 1990. - Vol. 25 , nr. 10 .
- Bracha G., Lindstrom G. Modularity Meets Inheritance // IEEE International Conference on Computer Languages. - 1992. - Aprilie.
- Bracha G., Odersky M., Stoutamire D., Wadler P. Making the future safe for the past: adding genericity to the Java programming language // OOPSLA '98. — 1998.
- M. Torgersen, C.P. Hansen, E. Ernst, Peter von der Ahé, G. Bracha, N. Gafter. Adăugarea de wildcards la limbajul de programare Java // Journal of Object Technology. - 2004. - Vol. 3 , nr. 11 .
- Bracha G., Ungar D. Mirrors: Principii de proiectare pentru facilitățile meta-nivel ale limbajelor de programare orientate pe obiecte (engleză) // A 19-a Conferință anuală ACM privind programarea orientată pe obiecte, sisteme, limbaje și aplicații, OOPSLA'04. — 2004.
- Bracha G. Pluggable Type Systems // OOPSLA04 Workshop on Revival of Dynamic Languages. — 2004.
- Bracha G. Executable Grammars in Newsspeak // Note electronice de informatică teoretică. - 2007. - Nr. 10 . - P. 3-18 .
- Bracha G., Peter von der Ah´, Bykov V., Kashai Y., Maddox W., Miranda E. Modules as objects in newspeak // Note de curs în informatică (inclusiv subseria Note de curs în inteligența artificială și Note de curs în bioinformatică ). — 2010.
Note
- ↑ Câștigători ai Premiului Dahl-Nyugora pentru 2017 . Preluat la 7 august 2020. Arhivat din original la 5 martie 2020. (nedefinit)
- ↑ 1 2 Formă Securitate. Pionierul limbajului de programare Gilad Bracha se alătură Shape Security . www.prnewswire.com . Preluat la 22 august 2020. Arhivat din original la 11 august 2020.
- ↑ 1 2 Biografie Blurb . bracha.org . Preluat la 22 august 2020. Arhivat din original la 31 octombrie 2020. (nedefinit)
- ↑ Istoria proiectului Strongtalk . Smalltalk în rusă . Data accesului: 22 august 2020. (Rusă)
- ↑ Specificații Java SE . docs.oracle.com . Preluat la 22 august 2020. Arhivat din original la 13 ianuarie 2012.
- ↑ Google I/O 101: Întrebări și răspunsuri despre Introducere în Dart cu Gilad Bracha
- ↑ GJ: Documentație . pagini de start.inf.ed.ac.uk . Preluat la 22 august 2020. Arhivat din original la 26 februarie 2021. (nedefinit)
- ↑ Generice Java în teorie sau cum să puneți paranteze în practică . JavaRush . Preluat la 22 august 2020. Arhivat din original la 15 mai 2021. (nedefinit)
- ↑ Bracha G. Pluggable Type Systems . researchgate.net . Conferință: OOPSLA'04 Workshop on Revival of Dynamic Languages (ianuarie 2004).
- ↑ Laurence Tratt, Adam Welc. Un interviu cu Gilad Bracha // IEEE Software. — 2014-09. - T. 31 , nr. 5 . — p. 76–79 . — ISSN 1937-4194 . - doi : 10.1109/MS.2014.109 .
- ↑ Previzualizare Scopus - Scopus - informații despre autor (Bracha, Gilad) . www.scopus.com . Data accesului: 22 august 2020. (nedefinit)
Link -uri