John Barnes (bilgisayar bilimcisi) - John Barnes (computer scientist)
John Barnes | |
|---|---|
| doğmuş |
John Gilbert Presslie Barnes
|
| Vatandaşlık | Birleşik Krallık |
| Eğitim | Cambridge Üniversitesi |
| Bilinen | Programlama dilleri: RTL/2 ALGOL Ada , Rendezvous mekanizması |
| Bilimsel kariyer | |
| Alanlar | Bilgisayar Bilimi |
| kurumlar |
Imperial Chemical Industries Wolfson Koleji, Oxford |
John Gilbert Presslie Barnes , Ada programlama dilini geliştirme ve tanıtmadaki rolüyle tanınan bir İngiliz bilgisayar bilimcisidir . Ada Rendezvous mekanizmasının ana mucidi ve kahramanıdır.
Barnes çalışılan matematik de Cambridge Üniversitesi ve daha sonra çalıştı Imperial Chemical Industries (ICI). 1970'lerin sonlarında veya 1980'lerin başında, büyük olasılıkla Profesör Tony Hoare'nin önerisiyle Oxford'daki Wolfson College'da sanayiciydi .
Ada tasarım ekibinde çalışmaya başlamadan önce, ICI'deyken , gerçek zamanlı bilgi işlem için Real-Time Language 2 ( RTL/2 ) adlı ALGOL dilinin bir lehçesini tasarladı ve uyguladı .
Barnes, 2006 yılında York Üniversitesi'nden fahri Felsefe Doktoru (Ph.D.) ile ödüllendirildi .
Yayınlar
- Barnes, JGP (Ekim 1976). RTL/ 2: Tasarım ve Felsefe . Londra: Heydon. ISBN'si 978-0855012243.
- Barnes, John; Brosgol, Ben (Ocak 1995). Ada 95 Gerekçe: Dil, Standart Kitaplıklar . Berlin; New York: Springer . ISBN'si 3-540-63143-7.
- Barnes, John (10 Haziran 1998). Ada 95'te Programlama (2. baskı). Addison-Wesley . ISBN'si 0-201-34293-6.
- Barnes, John (15 Haziran 1997). Yüksek Dürüstlük Ada: SPARK Yaklaşımı . Addison-Wesley. ISBN'si 0-201-17517-7. Arşivlenmiş orijinal 5 Nisan 2005 tarihinde . Erişim tarihi: 17 Kasım 2005 .
- Barnes, John (25 Nisan 2003). Yüksek Bütünlüklü Yazılım: Güvenlik ve Güvenlik için SPARK Yaklaşımı . Addison-Wesley. ISBN'si 0-321-13616-0.
- Barnes, John (30 Haziran 2006). Ada 2005'te Programlama . Addison Wesley. ISBN'si 0-321-34078-7.
- Barnes, John (11 Ağustos 2014). Ada 2012'de Programlama . Cambridge Üniversitesi Yayınları. ISBN'si 978-1107424814.
 |
Birleşik Krallık'taki bir bilgisayar uzmanı ile ilgili bu madde bir taslaktır . Vikipedi'yi genişleterek yardımcı olabilirsiniz . |