PAT

最新推荐文章于 2024-11-14 01:29:27 发布

转载最新推荐文章于 2024-11-14 01:29:27 发布 · 50 阅读

·

0

·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/LoganChen/p/8573684.html

本文探讨了PAT语言中trace特性的使用方法，并通过具体示例展示了如何应用此特性进行过程描述。此外，还介绍了两个过程P()和Q()，并通过断言判断它们之间的细化关系。

PAT里面有一个trace的隐藏功能。如下面的例子：

P()=a->b->c->P()[]a->b->P()\{b};
Q()=a->Q();

两个判断

#assert P() refines Q();
#assert Q() refines P();

判断结果：

转载于:https://www.cnblogs.com/LoganChen/p/8573684.html

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。