для этого, кстати, в джаве есть понятие TCK -- Technology Compatibility Kit расшифровывается вроде. Состоит из набора тестов, что реализация соответствует спецификации.
Ещё добавлю. Даже пресловутый Си не может некоторые вещи, которые умеет процессор. Например, си не ловит целочисленное переполнение, а ада - ловит, если ей сказано ловить.