SPURN
发表于 2025-3-28 17:17:07
Compiling Exceptions Correctly article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its co
Bureaucracy
发表于 2025-3-28 19:40:30
Modelling Nondeterminism of this domain is that it can only be used to describe deterministic programs: those that deliver only one output for each input. More recently, the development of the relational calculus for program derivation has allowed programmers to reason about programs together with their speci.catio
sphincter
发表于 2025-3-29 02:23:19
Lazy Kleene Algebraomputation calculus, Cohen’s omega algebra and von Wright’s demonic refinement algebra. Moreover, by adding domain and codomain operators we can also incorporate modal operators. Finally, it is shown that predicate transformers form lazy Kleene algebras again, the disjunctive and conjunctive ones ev
foreign
发表于 2025-3-29 06:12:06
http://reply.papertrans.cn/63/6270/626965/626965_44.png
缝纫
发表于 2025-3-29 10:14:03
An Injective Language for Reversible Computationcomputers that use energy more effectively. A more recent motivation to understand reversible transformations also comes from the design of editors where editing actions on a view need to be reflected back to the source data. In this paper we present a point-free functional language, with a relation
脱离
发表于 2025-3-29 13:29:26
http://reply.papertrans.cn/63/6270/626965/626965_46.png
扩大
发表于 2025-3-29 18:30:24
Transposing Relations: From , Functions to Hash Tables.This paper attempts to develop a basis for .. Two instances of this construction are considered, one applicable to any relation and the other applicable to simple relations only..Our illustration of the usefulness of the generic transpose takes advantage of the . of a polymorphic function. We show
刺激
发表于 2025-3-29 20:27:19
Pointer Theory and Weakest Preconditions without Addresses and Heapion concepts. The aim of this paper is a theory that formalizes pointers in terms of concepts from high-level programming languages. We begin with a graph theory, which formalizes the implementation concepts but avoids some common distinctions. From it, we calculate the theory of trace equivalences,
羽饰
发表于 2025-3-30 00:18:26
http://reply.papertrans.cn/63/6270/626965/626965_49.png
Consensus
发表于 2025-3-30 06:59:26
Greg Nelsons an introduction to some simple related nonlinear experimental activities. Students in engineering, phys ics, chemistry, mathematics, computing science, and biology should be able to successfully use this book. In an effort to provide the reader with a cutting edge approach to one of the most dyna