Джим Хорнинг

От / / Оставьте комментарий

Оглавление1 Джим Хорнинг1.1 Биография Джеймса Хорнинга1.2 Смерть и вклад в науку1.3 Избранные публикации1.4 Ссылки1.5 Полный текст статьи:2 Джим Хорнинг — […]

1942 births, 1942 года рождения, 1998 Fellows of the Association for Computing Machinery, 1998 г. Члены Ассоциации вычислительной техники., 2013 deaths, Academic staff of the University of Toronto, American computer scientists, Digital Equipment Corporation people, Formal methods people, Stanford University alumni, Xerox people, Академический состав Университета Торонто, Американские ученые-компьютерщики, Выпускники Стэнфордского университета, Ксероксы, смертей в 2013 г., Сотрудники корпорации цифрового оборудования, Формальные методы люди

Джим Хорнинг

  • Биография Джеймса Хорнинга

    • Американский ученый-компьютерщик, работал в ACM. 
    • Получил докторскую степень в Стэнфорде в 1969 году. 
    • Основал и возглавлял исследовательские группы в Торонто и Пало-Альто. 
    • Участвовал в разработке языка программирования Euclid и формальной спецификации Larch. 

  • Смерть и вклад в науку

    • Скончался 18 января 2013 года в Пало-Альто. 
    • Внес значительный вклад в языки программирования, методологию, спецификации и управление цифровыми правами. 

  • Избранные публикации

    • Опубликовал книгу “Генератор компиляторов” в 1970 году. 

  • Ссылки

    • Упоминаются внешние ссылки на домашнюю страницу и биографические данные. 

Полный текст статьи:

Джим Хорнинг — Википедия

Похожие статьи:

  1. Объединенный школьный округ Пало-Альто Оглавление1 Объединенный школьный округ Пало-Альто1.1 История и развитие школ в Пало-Альто1.2 Текущее состояние и планы1.3 Школьные...
  2. Эль Пало Альто Оглавление1 Эль-Пало-Альто1.1 История и значение Эль-Пало-Альто1.2 Уход и сохранение1.3 Наследие и символика1.4 Статус и признание1.5 Рекомендации...
  3. Природный заповедник Пало-Альто-Бейлендс Оглавление1 Природный заповедник Пало-Альто-Бэйлендс1.1 География и история1.2 История и экология1.3 Отдых и рекомендации2 Природный заповедник Пало-Альто-Бейлендс...
  4. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  5. Объединенный школьный округ Пало-Альто Оглавление1 Объединенный школьный округ Пало-Альто1.1 История и развитие1.2 Пандемия COVID-191.3 Групповое самоубийство1.4 Средние школы1.5 Начальные школы1.6...
  6. Гимел Оглавление1 Гимель1.1 Происхождение и значение буквы “джим”1.2 Произношение и написание1.3 Историческое произношение и гематрия1.4 Использование в...
  7. Эль-Альто Оглавление1 Эль-Альто1.1 История и развитие1.2 География и климат1.3 Демография и инфраструктура1.4 Достопримечательности и архитектура1.5 Правительство и...
  8. Станция Пало-Альто Оглавление1 Вокзал Пало-Альто1.1 История и архитектура вокзала Пало-Альто1.2 Изменения в обслуживании и модернизация1.3 Планы на будущее1.4...
  9. Список языков программирования по типам Оглавление1 Список языков программирования по типам1.1 Классификация языков программирования1.2 Процедурные языки1.3 Функциональные языки1.4 Объектно-ориентированные языки1.5 Императивные...
  10. Аэропорт Пало-Альто Оглавление1 Аэропорт Пало-Альто1.1 Общая информация1.2 Технические характеристики1.3 Безопасность и окружающая среда1.4 Инструментальные подходы1.5 История1.6 Рекомендации и...
  11. Пало-Альто, Калифорния Оглавление1 Пало-Альто, Калифорния1.1 География и климат1.2 История и развитие1.3 Экономика и инфраструктура1.4 Политика и управление1.5 Демография2...
  12. Университет Пало-Альто Оглавление1 Университет Пало-Альто1.1 История и развитие Университета Пало-Альто1.2 Модель обучения и связи с другими учреждениями1.3 Программы...
  13. Восточный Пало-Альто, Калифорния Оглавление1 Восточный Пало-Альто, Калифорния1.1 География и демография1.2 История и культура1.3 Экономика и занятость1.4 Образование и школы1.5...
  14. Язык визуального программирования Оглавление1 Язык визуального программирования1.1 Обзор визуальных языков программирования1.2 Примеры визуальных языков1.3 Языки для обучения и разработки1.4...
  15. Капитализм – Arc.Ask3.Ru Оглавление1 Капитализм1.1 Основные понятия и концепции1.2 Определение капитализма1.3 Формы капитализма1.4 История капитализма1.5 Этимология термина1.6 Определение и...
  16. Ассоциация вычислительной техники Ассоциация производителей вычислительной техники ACM – крупнейшее в мире научное и образовательное компьютерное сообщество, основано в...
  17. История языков программирования Оглавление1 История языков программирования1.1 Обзор истории языков программирования1.2 Ранние языки программирования1.3 Развитие языков программирования1.4 Современные тенденции...
  18. Тимоти Хопкинс Оглавление1 Тимоти Хопкинс1.1 Биография Тимоти Хопкинса1.2 Карьера и вклад в развитие Пало-Альто1.3 Наследие и смерть2 Тимоти...
  19. Язык спецификации Оглавление1 Язык спецификации1.1 Определение языка спецификаций1.2 Обзор подходов к спецификации1.3 Примеры языков спецификаций1.4 Процесс уточнения спецификаций1.5...
  20. Пало-Альто Дейли Пост Оглавление1 Ежедневная почта Пало-Альто1.1 История и основание1.2 Первоначальные трудности1.3 Развитие и изменения1.4 Рекомендации и внешние ссылки1.5...
  21. Город с правами повета – Википедия Оглавление1 Город с правами самоуправления1.1 Определение городов с правами повята в Польше1.2 Терминология и статус1.3 Список...
  22. Средняя школа Пало-Альто Оглавление1 Средняя школа Пало-Альто1.1 История и достижения1.2 Известные выпускники1.3 Образовательная программа и внеклассные мероприятия1.4 Руководство и...

Оставьте комментарий

Прокрутить вверх