legislate
发表于 2025-3-28 17:26:13
A Design-Based Model of Reversible Computation,l link between reversibility and the minimum power requirements of a computation, and we review Zuliani’s work on Reversible Probabilistic Guarded Command Language. We propose an alternative formalisation of reversible computing which accommodates backtracking. To obtain a basic backtracking languag
赤字
发表于 2025-3-28 21:04:46
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract),ables. We give this language an operational semantics, with states and transitions represented symbolically. The semantics is described in Z, allowing us to execute the semantics using an animator, and to start work on a mechanical proof of correctness using the deep embedding in ProofPowerZ of the
FECK
发表于 2025-3-29 01:00:00
http://reply.papertrans.cn/95/9421/942058/942058_43.png
Tonometry
发表于 2025-3-29 04:02:10
A Relational Investigation of UTP Designs and Prescriptions,paradigms based on the idea of .: Hoare and He’s . and Dunne’s .. We present the technical analysis in a proof-theoretic relational framework based on two-predicate schema specifications. This enables us to demonstrate the relationships among (what . seem to be) different models of refinement associ
LINE
发表于 2025-3-29 08:08:22
http://reply.papertrans.cn/95/9421/942058/942058_45.png
inventory
发表于 2025-3-29 12:18:28
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe,) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings..A refinement
formula
发表于 2025-3-29 16:09:14
http://reply.papertrans.cn/95/9421/942058/942058_47.png
Narcissist
发表于 2025-3-29 19:46:43
Unifying Probability,ois connection with the more traditional probabilistic model are provided. Reversibility in the probabilistic guarded-command language is discussed. Finally the formalism is applied to unify quantum computation and cryptography within the probabilistic method.
载货清单
发表于 2025-3-30 02:56:48
Pointers and Records in the Unifying Theories of Programming,nters is based on Paige’s entity groups, which give an abstract view of storage as equivalence classes of variables that share the same memory location. We first define our theory as a restriction of the general theory of relations, and, as a consequence, it does not distinguish between terminating
贿赂
发表于 2025-3-30 04:34:52
http://reply.papertrans.cn/95/9421/942058/942058_50.png