زبان‌های برنامه‌نویسی و اصول اطمینان‌پذیری