Program doğrulama - Diğer diller