2025年第1次通话的研究主题列表___XiaoMi-AI 助力科研平台

2025年第1次通话的研究主题列表

可下载资源数量

已经购买

下载数量：1

单价	0 1.0
Coupon	100% 0%
Total	0 1.0

点击下载点击购买并下载

点击购买，资源将自动在新窗口打开.

机构名称：

2025年第1次通话的研究主题列表

¥ 1.0

热度

本主题旨在开发一种基于高级类型的方法来验证时间属性，即有关事件序列的一类属性，称为痕迹。现实世界中的程序不仅涉及纯计算，还涉及副作用，许多副作用都需要满足某些学科。例如，需要首先打开文件资源，并在关闭它们之前从中读取并写信给它们，并最终应关闭打开的文件。在此示例中，“打开”，“读”，“写”和“关闭”被视为文件上的事件，可以将要满足的文件的纪律描述为有关此类事件痕迹的时间属性。在本主题中，我们研究1）高阶程序的时间验证理论和2）实施验证者以自动化时间验证。参考-T。Sekiyama等。时间验证和答案效应修改。popl'23。-T。Sekiyama等。代数时间效应。popl'25

添加pdf代下载 VIP点击下载文件