程序设计中的形式化方法及其应用1993年:俄罗斯新西伯利亚
Dines Björner餐厅 , 曼弗雷德·布罗伊 , 伊戈尔·波托辛 :
《程序设计的形式方法及其应用》,国际会议,Akademgorodok,俄罗斯新西伯利亚,1993年6月28日-7月2日,会议记录。 计算机科学课堂讲稿 735, 施普林格 1993 ,国际标准图书编号 3-540-57316-X型
形式语义方法
尤里·列奥尼多维奇·埃尔肖夫 :
领域和邻近理论(特邀论文)。 1-7 吉姆·格兰迪 :
预测性编程——一项调查。 8-25 吉姆·格兰迪 :
用于优化的三值逻辑。 26-42 大卫·桑德斯 :
语法程序组合形式的合成语义。 43-56
代数规格说明方法
语义程序分析和抽象解释
帕特里克·库索特 , 拉迪亚·库索特 :
基于Galois连接的严格性分析抽象解释(特邀论文)。 98-127 弗朗索瓦·布隆克 :
具有加宽的高效混沌迭代策略。 128-141 弗朗索瓦·马斯杜普 :
区间同余的语义分析。 142-155 布鲁诺·蒙苏兹 :
Call-by-Name语义的多态类型。 156-169 Lunjin路 , 彼得·格林菲尔德 :
基于抽象解释的逻辑程序测试。 170-180 维克托·萨贝尔菲尔德 :
应用语言AL程序的一些语义特性分析。 181-189
平行语义
菲利普·乔兰德 :
过程代数中作为统一的通信:操作语义(特邀论文)。 190-216 彼得·佩珀 , 尤尔根·埃克斯纳 , 马里奥·苏霍尔特 :
大规模并行程序的功能开发(特邀论文)。 217-238 伊琳娜B.维氏夕卡岩 :
观察事件结构的一些特性。 239-250
程序逻辑
米哈伊尔·泰兹林 , D.阿尔汉格尔斯基 :
其他线性逻辑(特邀论文)。 251-255 周朝晨 :
持续时间计算:概述(特邀论文)。 256-266 让·保罗·巴洪 , 科琳·塞维雷斯 , 克里斯特尔·塞金 :
在并行环境中指定和设计对象的独特形式主义。 267-280 阿曼多·马丁·海伯勒 , 加布里埃尔·鲍姆 , 冈瑟·施密特 :
关于包含量词的一阶非构造规范的关系递归表达式的光滑计算。 281-298 Regimantas Pliuskevicius公司 :
饱和代替了小范围线性时序逻辑的归纳。 299-311
软件规范和验证
弗里德里克·尼克尔 , 马丁·威辛 :
需求工程的正式方法(邀请论文)。 312-334 杰拉尔德·甘诺 , 贝蒂·H·C·程 :
使用形式化方法进行逆向工程的两阶段方法。 335-348 弗拉基米尔莱温 :
优化编译的代数可证明规范。 349-362 哈南·卢特菲亚 , 布鲁斯·麦克米林 , 阿兰·苏 :
使用变更对分布式数据调度器进行错误检测的形式化推导。 363-376 瓦莱里·A·内波米纳希 , 尼古拉·席洛夫 :
REAL92:实时并发系统和属性的组合规范语言。 377-393
转型开发和程序综合
伯恩哈德·莫勒 :
图的代数计算和排序算法(邀请论文)。 394-413 安纳托利·彼得罗维奇·贝尔蒂乌科夫(Anatoly Petrovich Beltiukov) :
递归程序的自动综合。 414-422 埃尔克·博伊滕 :
ISBES中的解析。 423-433