Galactogogue
发表于 2025-4-1 05:21:07
http://reply.papertrans.cn/11/1010/100915/100915_61.png
DAFT
发表于 2025-4-1 06:13:39
Rico Defila,Antonietta Di Giuliolop a modest predicate transformer based framework to relate them. At first we consider partial correctness only, and discuss Reynolds’ method and a partial correctness version of VDM. Later we also consider total correctness in order to cover (part of) Back’s refinement calculus and the full notion
外观
发表于 2025-4-1 12:23:27
http://reply.papertrans.cn/11/1010/100915/100915_63.png
现晕光
发表于 2025-4-1 17:43:12
http://reply.papertrans.cn/11/1010/100915/100915_64.png
LUDE
发表于 2025-4-1 20:05:18
Wolfgang Gessner,Ruth Kaufmann-Hayozhaviour; the environment determines a framework for behaviour. An object’s behaviour must fall within the framework set by the environment but subject to the possibilities determined by its class. Intuitively, class refinement will lead to some kind of behavioural compatibility; hence a theory of cl
Noisome
发表于 2025-4-2 00:28:26
Wolfgang Gessner,Ruth Kaufmann-Hayoztervention. It is split into three stages, not all of which need always be carried out. The three stages entail interpreting equalities as behavioural equivalences, converting functions into procedures, and replacing axioms by programs. The stages can be performed as automatic transformations which
减弱不好
发表于 2025-4-2 02:48:39
https://doi.org/10.1007/978-3-0348-5059-9tatement and the refinement calculus. The problems chosen to illustrate these techniques are taken from graph theory. The choice was motivated by a desire to expand the set of example refinements and to show how algorithms in this area may be formally derived from their specifications. The ultimate