理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- Louis Armstrong
- Louis-Bernard Guyton de Morveau
- Louis Blériot
- Louis Braille
- Louis-Charles Breguet
- Louis-Claude Daquin
- Louis Couperin
- Louis de Funes
- Louis de la Vallee-Poussin
- Louis Delluc
- Louis Dembitz Brandeis
- Louis Dudek
- Louis Dumont
- Louis Durey
- Louise Bourgeois
- Louise Comfort
- Louise Erdrich
- Louise Glück
- Louise Homer
- Louise Michel
- Louis Favoreu
- Louis Hartz
- Louisiana Museum of Modern Art
- Louisiana Purchase
- Louisiana State