3.TAPSOFT 1989年:西班牙巴塞罗那
约塞普·迪亚斯 , 费尔南多·奥雷贾斯 :
TAPSOFT’89:《软件开发理论与实践国际联合会议论文集》,1989年3月13日至17日,西班牙巴塞罗那,第2卷:创新软件开发基础高级研讨会II和编程语言当前问题座谈会(CCIPL)。 计算机科学课堂讲稿 352, 施普林格 1989 ,十亿 3-540-50940-2
特邀报告
Dines Björner餐厅 :
VDM中“M”的含义:维也纳开发方法的规范方法论方面(特邀教程)。 1-35 伯恩德·克里格·布鲁克纳 :
转换程序和元程序开发的代数规范和基础。 36-59 克里斯·维瑟斯 , 朱塞佩·斯科洛 , 马丁·范·辛德伦 , 埃德·布林克斯马 :
分布式系统设计中指定样式的使用(摘要)。 60 珍妮特·温格(Jeannette M.Wing) :
在Larch中指定Avalon对象。 61-80
通信
安德斯·邦多夫 :
术语重写系统的自适用部分求值器。 81-95 安娜丽莎·博西 , 尼科莱塔·科科 :
验证逻辑程序的正确性。 96-110 多米尼克·克莱门特 , 珍妮特·因科尔皮 :
使用Esterel指定图形对象的行为。 111-125 罗兰·迪特里希 :
基于预处理器的Prolog模块系统。 126-139 曼努埃尔·杜克·安顿 , M.Bretschneider先生 :
应用于HDLC协议规范和验证的公式、过程和Petri网。 140-154 帕斯卡·弗雷德 , 丹尼尔·勒·梅泰勒 :
将Lambda-Calculus编译成功能机器代码。 155-166 游锦福 , Prateek Mishra公司 :
多形性亚型推断:缩小理论与实践之间的差距。 167-183 亚历山德罗·贾卡隆 , Prateek Mishra公司 , 桑吉瓦·普拉萨德 :
FACILE:并行编程和函数编程的对称集成。 184-209 E.帕斯卡·格里博蒙特 :
并发程序的开发:一个例子。 210-224 迈克尔·哈纳斯 :
具有多态类型的Horn子句程序:语义和解析。 225-240 罗伯·哈波 , 罗伯特·波拉克 :
构造演算(草案)中的类型检查、宇宙多态性和典型歧义。 241-256 因弗拉迪保拉 , 马提尼 , 卡洛·蒙坦格罗 :
系统配置的类型检查实用吗? 257-271 绍克·莫 , 格特·维尔廷克(Gert J.Veltink) :
PSFd简介。 272-285 西尔维奥·罗梅罗(Silvio Romero de Lemos Meira) :
流程和功能。 286-297 托本。 莫根森 :
多态类型高阶语言的绑定时间分析。 298-312 乔治·A·帕帕佐普洛斯 :
PARLOG的精细并行实现。 313-327 里卡多·佩纳 , 路易斯·阿隆索 :
通过部分抽象数据类型对TCSP系统进行规范和验证。 328-344 弗兰克·普芬宁 , 李忠琛 :
LEAP:一种具有评价和多态性的语言。 345-359 Thomas W.代表 , 吴阳 :
程序切片和程序集成的语义。 360-374 唐纳德·桑内拉 , 安德烈·塔莱基 :
面向ML程序的正式开发:基础和方法(扩展摘要)。 375-389
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)