В основе лежит Google Web Toolkit. GWT компилирует Java код в простой JavaScript(ActionScript3). Вопрос можно задать инженерам Google, занимающимся gwt.
В андроид идет чистый байт код или все работает в javascript песочнице? Было бы очень интересно узнать подробности сборки и компиляции под различные платформы и какая на выходе получится производительность.
Андроид бэкэнд можно сравнить с AndEngine(или другим фреймворком для Android написанном на java). Сборка идет как Java приложение для робота с помощью android sdk. Сборка HTML5 осуществляется за счет GWT(теперь позволяет создавать HTML5 веб приложения). Flash тоже gwt ;) Actionscript 3 основан также на ECMAScript, как и Javascript. Google инженеры специально точили только HTML5 бэкэнд и сделали отличную оптимизацию, обфускацию и сборку в один файл js скриптов.
Делаем HTML5/Flash игры на Java