John Barnes (informatician)
Salt la navigare Salt la căutare
John Gilbert Presslie Barnes (...) este informatician britanic .
Biografie
Barnes a studiat matematica la Universitatea din Cambridge , ulterior trecând să lucreze la Imperial Chemical Industries . A fost coleg la Wolfson College din Oxford la sfârșitul anilor 1970 și începutul anilor 1980 .
Barnes a dezvoltat și implementat limbajul de programare RTL / 2 și ulterior a lucrat la limbajul Ada . El este principalul creator și autor al mecanismului Ada Rendezvous și a publicat numeroase cărți și articole despre limbaj. [1]
Barnes a primit un doctorat onorific la Universitatea din New York în 2006.
Publicații
- JGP Barnes, RTL / 2: Design and Philosophy , Londra, Heydon, octombrie 1976, ISBN 978-0-85501-224-3 .
- John Barnes, Ben Brosgol, Ada 95 Justificare: Limba, bibliotecile standard , Berlin; New York, Springer , ianuarie 1995, ISBN 3-540-63143-7 .
- John Barnes, Programare în Ada 95 , 2, Addison-Wesley, 10 iunie 1998, ISBN 0-201-34293-6 .
- John Barnes, High Integrity Ada: The SPARK Approach , Addison-Wesley, 15 iunie 1997, ISBN 0-201-17517-7 .
- John Barnes, High Integrity Software: The SPARK Approach to Safety and Security , Addison-Wesley, 25 aprilie 2003, ISBN 0-321-13616-0 .
- John Barnes, Programare în Ada 2005 , Addison Wesley, 30 iunie 2006, ISBN 0-321-34078-7 .
- John Barnes, Programare în Ada 2012 , Cambridge University Press, 2014, ISBN 978-1-107-42481-4 .
