eucalyptus
发表于 2025-3-25 04:18:42
http://reply.papertrans.cn/31/3006/300511/300511_21.png
越自我
发表于 2025-3-25 09:58:17
http://reply.papertrans.cn/31/3006/300511/300511_22.png
AMBI
发表于 2025-3-25 14:07:50
specification of a tool for viewing program text,s for selecting parts of documents as well as operations for manipulating documents have been defined. The model supports flexible and powerful retrieval capabilities from documents and it allows different views of the same documents. As an example we shall specify a tool for accessing information from Pascal programs.
orient
发表于 2025-3-25 19:33:16
https://doi.org/10.1007/978-981-99-6434-5proof of the code generation; in particular the method used for directly proving equivalence between an operational and a denotational semantics and the modification of Reynolds‘ idea of a relational functor.
锯齿状
发表于 2025-3-25 23:20:22
T. Kuhlmann,R. Lamping,C. Massown current use. They are proved to be individually sufficient for the correctness of refinement and together necessary for it. The proof methods can be employed to derive the weakest specification of an implementation from its abstract specification.
Fulminate
发表于 2025-3-26 01:40:07
http://reply.papertrans.cn/31/3006/300511/300511_26.png
Vsd168
发表于 2025-3-26 07:23:43
Adalbert Maercker,Manfred Theis ., is shown to be sound for proving entailment. A kind of completeness result can also be shown, if specifications are assumed to satisfy certain well-formedness conditions. The role played by entailment in proofs of correctness is illustrated by the problem of proving that the concatenation of two FIFO buffers implements a FIFO buffer.
needle
发表于 2025-3-26 09:57:25
Lifetime analysis for procedure parameters,ure of the program. It is introduced for a simple functional language and then extended to cover further commom language properties. Furthermore it is shown that the method can nicely be combined with context dependent improvements of the compilation of calling sequences, e.g. for tail recursive calls.
地壳
发表于 2025-3-26 14:59:10
http://reply.papertrans.cn/31/3006/300511/300511_29.png
foliage
发表于 2025-3-26 19:14:00
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine,