程序不动点理论

fixpoint theory of program

пословный:

程序	不动点理论
chéngxù 1) порядок, последовательность, процедура; процесс 2) программа; [правительственный] курс 3) комп. программа	_fixpoint theory