well-formed program 中文意思是什麼
well-formed program
解釋
構造良好的程序-
A conforming implementation executing a well - formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input
當一個符合標準的實現執行一個完備的程序時，其產生的可觀察行為應該與該實現的抽象機器對應實例依據同一程序和同一輸出產生的可能執行序列之一相同。 -
A conforming implementation may have extensions ( including additional library functions ), provided they do not alter the behavior of any well - formed program
符合標準的實現可以帶有擴展（包括附加的庫功能） ，只要這些擴展不會改變任何完備程序的行為。
分享友人