с вопросом по составу базисных операторов.

с просьбой хотя бы кратко рассказать о методах доказательства правильности программ, а также пояснить причину своего негативного отношения к языку PL/I.