Теорія мов програмування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 33:
=== 1980-ті ===
* У 1981, Гордон Плоткін опублікував свій документ на структурованій операційній семантиці.
* У 1988 році Жиль Кан опублікував свою статтю про нормальну семантику.
* Команда вчених [[PARC|Xerox PARC]] під керівництвом Алана Кея розробили Smalltalk, об'єктно-орієнтована мову,яка широко відома своїм інноваційним розробницьким середовищем .
* Там з'явилися обробки обчислень: обрахунок взаємодіючих систем Робіна Мілнера,модель комунікативних послідовних процесів Тоні Хоара,а також аналогічні моделі паралелізму(наприклад,модель Actor Карла Хьюітта.
| |||