局部和全局程序流的不动点演算
摘要
工具书类
建议
局部和全局程序流的不动点演算 2006年POPL会议记录 我们定义了一个新的不动点模态逻辑, 可视下推微积分 (VP-μ),作为模态微积分的扩展。 此逻辑的模型是结构化程序的执行树,其中过程调用和返回是可见的。 这个新的。。。
评论
信息和贡献者
问询处
发布于
发起人
出版商
出版历史
检查更新
作者标记
限定符
第条
会议
接受率
即将召开的会议
赞助商: -
信号平面图
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
其他指标
引文
引用人
湖滨R 穆勒-奥尔姆 欧姆雷姆C 古斯菲尔德J (2024) 动态线程创建递归程序的导航逻辑 验证、模型检查和抽象解释 10.1007/978-3-031-50521-8_3 (48-70) 在线发布日期:2024年1月15日 博泽利L 蒙塔纳利A 佩隆A (2023) 可视下推系统的区间时序逻辑 ACM计算逻辑事务 10.1145/3583756 24 :3 (1-32) 在线发布日期:2023年4月17日 阮H 图利T (2018) 下推系统调用和返回的分支时间逻辑 集成形式化方法 10.1007/978-3-319-98938-9_19 (326-345) 在线发布日期:2018年8月9日 Beyene T公司 乔杜里S 波皮亚C Rybalchenko A公司 (2015) 用于合成程序合成的递归博弈 第七届国际验证软件会议的修订论文集:理论、工具和实验-第9593卷 10.1007/978-3-319-29613-5_2 (19-39) 在线发布日期:2015年7月18日 德国D Milo T公司 (2012) 业务流程的结构/时间查询语言 计算机与系统科学杂志 2016年10月10日/j.jcss.2011.09.004 78 :2 (583-609) 在线发布日期:2012年3月1日 阿鲁尔R 乔杜里S Madhusudan P公司 (2011) 使用嵌套树语言进行软件模型检查 程序设计语言与系统学报 10.1145/2039346.2039347 33 :5 (1-45) 在线发布日期:2011年11月23日 厨师B 波多尔斯基A Rybalchenko A公司 (2009) 终止总结 系统设计中的形式化方法 2007年10月10日/10703-009-0087-8 35 :3 (369-387) 在线发布日期:2009年12月1日 阿卢尔R (2008) 模型检查 25年的模型检查 10.1007/978-3-540-69850-0_6 (89-106) 在线发布日期:2008年1月1日 竞技场M 巴赛洛普 利布金L (2007) 嵌套词的常规语言 第34届自动机、语言和程序设计国际会议论文集 10.5555/2394539.2394642 (888-900) 在线发布日期:2007年7月9日 博泽利L (2007) 可视下推语言的交替自动机和时间不动点演算 第18届并行理论国际会议记录 10.5555/2392200.2392234 (476-491) 在线发布日期:2007年9月3日 显示更多引用者