Ten15 - Ten15

Ten15 - это абстрактная машина с алгебраической спецификацией . Он был разработан Фостером, Карри и др. в Королевском центре связи и радаров в Малверне, Вустершир , в 1980-е годы. Она возникла в результате более ранней работы над машиной Flex , которая была функциональным компьютером, реализованным с помощью микрокода . Ten15 должен был предложить промежуточный язык, общий для всех реализаций архитектуры Flex, для целей переносимости. Побочным эффектом этого подхода стало то, что преимущества этой работы стали доступны на современных процессорах, лишенных возможности микрокода.

Ten15 служил промежуточным языком для компиляторов, но с несколькими уникальными функциями, некоторым из которых еще предстоит увидеть свет в повседневных системах. Во-первых, он был строго типизирован, но при этом достаточно широк для приложений, чтобы поддерживать большинство языков - C является исключением, главным образом потому, что C сознательно обрабатывает массив, аналогичный указателю на первый элемент этого массива. В конечном итоге это привело к развитию Ten15 в TDF , который, в свою очередь, лег в основу ANDF . Во-вторых, он предлагал постоянный механизм файлового хранилища только для записи, позволяющий записывать и извлекать произвольные структуры данных без преобразования во внешнее представление.

Историческая справка

Почему «Ten15»? Ник Пилинг сообщает, что во время ранних обсуждений концепций Ten15 было решено, что это важно и должно иметь название - но что? Ян Карри взглянул на часы и сказал: «Почему бы не назвать их 10:15?»

Смотрите также

Рекомендации