热情赞扬
发表于 2025-3-25 04:28:54
Extended calculus of constructions as a specification language,f the second component depends on the value of the first one. This calculus has been implemented as ‘Lego’ by Pollack. The system and documentation is obtainable thus: ftp ftp.dcs.ed.ac.uk cd export/lego, after which one should read the file README..The sigma types enable one to give a compact descr
感激小女
发表于 2025-3-25 08:02:01
Pretty-printing: An exercise in functional programming,se combinators have proved sufficiently efficient and expressive for quite extensive practical use. The combinators are simple to specify and enjoy many algebraic properties. The algebra is useful for reasoning about pretty-printers that use the library, and played an important role in deriving its
maculated
发表于 2025-3-25 15:21:23
http://reply.papertrans.cn/63/6270/626967/626967_23.png
厚颜无耻
发表于 2025-3-25 17:38:48
http://reply.papertrans.cn/63/6270/626967/626967_24.png
贪婪性
发表于 2025-3-25 22:01:26
Conservative fixpoint functions on a graph,irected graph is to be computed, being defined as a least fixed point of some monotonic operator. If this operator satisfies a certain restriction with respect to its image for a differential change in its argument, it is called conservative, and an elegant general solution may be derived. It is sti
漫不经心
发表于 2025-3-26 01:36:06
An algebraic construction of predicate transformers, to the standard algebraic construction of the integers from the natural numbers. The same construction yields the category of relations from the category of total functions. This provides a mechanism through which the rich type structure of the category of total functions can be promoted to success
我的巨大
发表于 2025-3-26 05:50:40
Upwards and downwards accumulations on trees,bject with some accumulated information about the other elements. Upwards and downwards accumulations on trees are two instances of this scheme; they replace each element of a tree with some function—in fact, some homomorphism—of that element‘s descendants and of its ancestors, respectively. These t
negotiable
发表于 2025-3-26 12:25:07
Distributing a class of sequential programs,s given first. A decision is made about the distribution of the variables and the sequential solution is transformed so that guards at the outermost level can be evaluated using variables that will be allocated to one process only. Next we introduce processes and communication. The resulting distrib
吞没
发表于 2025-3-26 15:46:44
http://reply.papertrans.cn/63/6270/626967/626967_29.png
Intruder
发表于 2025-3-26 20:18:47
http://reply.papertrans.cn/63/6270/626967/626967_30.png