Extended ML

Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable SML program with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification.

单词	Extended ML
释义	Extended ML 英语百科 Extended ML Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable SML program with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification.
随便看	be a good judge of be a good laugh be a good listener be a good soul Be a good sport be a good thing be a great be a great boon for be a great distance away be a great enjoyment to be a great help be a great help to be a great hit be a great one for be a great one for sth be agreeable to be agreeable with be agreeably disappointed be agreeably surprised be agreed be agreed that be aground beags Beah be a handful