Программистское: Representing ANSI-C Type System on the JVM А вот John Gough смог странслировать большое подмножество ANSI C в JVM. Исключение составляют некоторые передачи локалов по ссылке, одновременное использование нескольких альтернатив в юнионах и производные от более чем одного указателя значения. Причем передачу локалов по ссылке, я думаю, побороть можно.
В качестве компилятора использовался LCC. Интерфейс кодогенератора слишком низкоуровневый, типы в деревяхах уже потеряны. John Gough не стал хачить фронтенд, а прикрутил к деревяхам восстановление типов имени Ады83, которое в данном случае удалось сделать двухпроходным (протащить всевозможные варианты типизации листьев снизу вверх, в процессе отсеивая неподходящие, на вершине должен оказаться единственный вариант, потом при проходе сверху вниз окончательно приписать типы узелкам).
В публичном доступе статьи не обнаружено. А остальные его публикации
тут.