Loading...
机构名称:
¥ 1.0

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

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

2025年第1次通话的研究主题列表PDF文件第1页

2025年第1次通话的研究主题列表PDF文件第2页

2025年第1次通话的研究主题列表PDF文件第3页

2025年第1次通话的研究主题列表PDF文件第4页

2025年第1次通话的研究主题列表PDF文件第5页