2.TACS 1994年:日本仙台
Masami Hagiya先生 , 约翰·米切尔 :
计算机软件的理论方面,1994年4月19日至22日,日本仙台TACS’94国际会议,会议记录。 计算机科学课堂讲稿 789, 施普林格 1994 ,十亿 3-540-57887-0
受邀演讲1
萨姆森·阿布拉姆斯基 , 帕斯奎尔·马拉卡里亚 , 拉德哈·贾加迪桑 :
PCF的完整抽象。 1-15
第1部分。 兰姆达微积分与程序设计
Mariangiola Dezani-Ciancaglini公司 , 乌戈·德利古罗 , 阿道夫·皮佩诺 :
并发Lambda-calculus的完全抽象语义。 16-35 道格拉斯·J·豪 , 斯科特·斯托勒 :
结合经典集合理论和函数编程语言的一种操作方法。 36-55 马克·琼斯 :
ML类型、显式多态性和限定类型。 56-75 乔恩·里克 , 拉梅什·苏布拉曼尼亚姆 :
类型系统的扩展可以保持操作等价性。 76-95
受邀演讲2
巴黎C.Kanellakis , 迪娜·Q·戈尔丁 :
约束编程和数据库查询语言。 96-120
第2部分。 自动扣除
阿兰·惠本·霍 :
带范围构造的逻辑程序设计语言的直观解析。 121-140 伊夫·贝托特 , 吉尔斯·卡恩 , 洛朗·塞里 :
指点证明。 141-160 亨利·科弗 , 简·斯普林因特维尔德 :
米尔纳调度器的计算机检查验证。 161-178
第三部分。 函数式编程
佐藤正彦 :
一种带有封装赋值的纯函数式语言。 179-202 M.R.K.Krishna Rao先生 :
术语重写系统层次组合的简单终止。 203-223 颜美堂 , 皮埃尔·朱弗洛特 :
控制流分析的单独抽象解释。 224-243
受邀演讲3
第4部分。 对象和分配
Hideki Tsuiki先生 :
带重载和子类型的规范化微积分。 273-295 马丁·阿巴迪 , 鲁卡·凯德利 :
基本对象理论-无类型和一阶系统。 296-320 迪迪埃·雷米 :
使用ML-ART编程对象,这是对具有抽象和记录类型的ML的扩展。 321-346 陈恭 , 马丁·奥德斯基 :
带赋值的Lambda微积分的类型系统。 347-364
受邀演讲4
Akinori Yonezawa公司 :
并发面向对象计算的理论与实践。 365
第5部分。 并发I
安德烈亚·阿斯佩蒂 , 科西莫·拉伊夫 :
互动系统中的家庭关系。 366-384 乌尔苏拉·戈尔茨 , 罗伯托·戈里埃里 , 阿伦德·伦辛克 :
句法和语义动作精炼。 385-404 戴维德·桑吉奥吉 :
移动进程计算中的局部性和真一致性。 405-424
第6部分。 术语重写和过程等效
D.J.B.Bosscher博士 :
SOS公理化的术语重写特性。 425-439 万·J·福克金 :
Tyft/Tyxt格式简化为树规则。 440-453 汉斯·海特尔 :
基本并行过程的不可解释等价性。 454-464
受邀演讲5
高桥雅子 , 阿卡玛(Yohji Akama) , Sachio Hirokawa先生 :
正常证明及其语法。 465-493
第7部分。 类型理论与程序设计
弗朗科·巴巴内拉 , 斯特凡诺·贝拉迪 :
用于“经典”程序提取的对称Lambda演算。 495-515 雅各布·雷霍夫 , 莫滕·海因·瑟伦森 :
兰姆达 三角洲 -微积分。 516-542 泽娜·阿里奥拉 , 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
未定义的句法定义:关于未定义的定义。 543-554 菲利普·加德纳 :
使用类型理论发现所需的还原。 555-574
受邀演讲6
莫舍·瓦尔迪 :
自动机理论的非传统应用。 575-597
第8部分。 代数、范畴和线性逻辑
金·里特·瓦格纳 :
抽象预订单。 598-617 阿米塔沃伊斯兰 , 韦斯利·菲亚 :
关系数据库的分类模型I:纤维理性公式,模式集成。 618-641 马克斯·卡诺维奇 :
Petri网、Horn程序、线性逻辑和向量游戏。 642-666
第9部分。 子类型、交集和并集类型
Tatsurou Sekiguchi公司 , Akinori Yonezawa公司 :
子类型递归类型的完整类型推理系统。 667-686 弗莱明·M·达姆 :
具有并集类型、交集类型和递归类型的子类型。 687-706 费鲁西奥·达米亚尼 , 保拉·贾尼尼 :
基于相关性的可判定交叉口类型系统。 707-725
受邀演讲7
第10部分。 并发II
多米尼克·博利尼亚诺 , 穆拉德·德巴比 :
并发ML的语义理论。 766-785 Kohei Honda公司 , 吉田信子 :
并发合并器中的复制。 786-805 阿德里亚诺·佩隆 , 安德烈亚·马吉奥洛·谢蒂尼 :
作为中断的转换:时间状态图的新语义。 806-821 马塞洛·M·邦桑格 , Joost N.Kok公司 :
通过闭包运算符关联多功能和谓词变换器。 822-843