Program doğrulama - Other languages