exquisite
发表于 2025-3-28 17:47:31
http://reply.papertrans.cn/16/1527/152678/152678_41.png
浸软
发表于 2025-3-28 19:21:09
Taxation: Redistribution Upwards,t we have terms . ⊑ ., where . is a parameter restriction. The effect of the parameter restrictions is formalised by the rules of the calculus. Instead of the rule . there is a rule called .. This calculus has been used to give a meaning to the parameterisation and design constructs of COLD-K.
Entirety
发表于 2025-3-29 00:54:49
https://doi.org/10.1057/9781137468765ion techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user‘s point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.
OFF
发表于 2025-3-29 03:47:01
https://doi.org/10.1007/978-3-662-67427-7 with the RAP tool are summarized. Using this example, different approaches to an implementation of this algebraic specification are compared: interpretation of the specification by RAP, automatic compilation into PASCAL code and hand-written C code.
的是兄弟
发表于 2025-3-29 09:37:10
http://reply.papertrans.cn/16/1527/152678/152678_45.png
Aboveboard
发表于 2025-3-29 15:24:22
http://reply.papertrans.cn/16/1527/152678/152678_46.png
外貌
发表于 2025-3-29 16:22:49
Rechtlicher Rahmen in Deutschland,In this paper an algebraic specification of an extended (i.e. non first normal form) relational algebra is reported. Such specification has been written in RAP and in COLD and has been executed using RAP. In order to improve efficiency specifications were translated to Prolog.
元音
发表于 2025-3-29 20:42:39
http://reply.papertrans.cn/16/1527/152678/152678_48.png
exorbitant
发表于 2025-3-30 02:36:13
http://reply.papertrans.cn/16/1527/152678/152678_49.png
荒唐
发表于 2025-3-30 04:52:49
http://reply.papertrans.cn/16/1527/152678/152678_50.png