Maykl Spivey - Michael Spivey

Mayk Spivey ismli boshqa odamlar uchun qarang Mayk Spivey (ajralish).

Maykl Spivey (odatda sifatida tanilgan Mayk Spivey) ingliz kompyuter olimi Oksford universiteti.

Spivey 1960 yilda tug'ilgan va o'qigan Arxiepiskop Xolgeytning grammatika maktabi yilda York, Angliya. U o'qidi matematika da Xristos kolleji, Kembrij va keyin o'z zimmasiga oldi DP yilda Kompyuter fanlari ustida Z belgisi da Volfson kolleji, Oksford va Dasturlash tadqiqot guruhi, Oksford universiteti hisoblash laboratoriyasining bir qismi.

Mayk Spivey - hisoblash bo'yicha universitet o'qituvchisi Oksford universiteti kompyuter fanlari bo'limi Misis va Anderson Yo'ldosh Kompyuter fanlari Oriel kolleji, Oksford.[1] Uning asosiy qiziqish yo'nalishlari kompilyatorlar va dasturlash tillari, ayniqsa mantiqiy dasturlash. U yozgan Oberon-2 kompilyator.[2]

Nashrlar

  • Z haqida tushuncha: spetsifikatsiya tili va uning rasmiy semantikasi, Kembrij universiteti matbuoti, Nazariy kompyuter fanida Kembrij traktlari, № 3, 2008 yil. ISBN  978-0-521-05414-0.
  • Z Notation: ma'lumotnoma, Prentice Hall Xalqaro kompyuter fanlari seriyasi, 1992 y. ISBN  0-13-978529-9.
  • Prolog orqali mantiqiy dasturlashga kirish, Prentice Hall Kompyuter fanlari xalqaro seriyasi, 1996 y. ISBN  0-13-536047-1.

Adabiyotlar

  1. ^ "Doktor Maykl Spivey, kompyuter fanlari bo'yicha o'qituvchi". Oriel kolleji, Oksford. Olingan 26 sentyabr 2011.
  2. ^ Mayk Spivey, Oksford Oberon-2 kompilyatori Arxivlandi 2007 yil 5-iyul kuni Orqaga qaytish mashinasi.

Tashqi havolalar