1.1974年规划研讨会:法国巴黎
结构化程序
罗伯特·查农 :
关于程序结构的度量。 9-16 玛格丽特·汉密尔顿 , 赛迪安·泽尔丁 :
应用于航天飞机原型程序的高阶软件技术。 17-32 小托马斯·E·切塔姆。 , 朱迪·汤利 :
一种用于结构化编程的拟议系统。 33-40
程序正确性
B.艾米 , 法里德·瓦布德斯兰 :
S.V.P.、联合国系统在项目验证和准备过程中相互作用。 41-58 路易吉亚·艾略 , 马里奥·艾略 :
在L.C.F.中证明程序的正确性。。 59-71 彼得·亨德森 , 彼得·夸伦登 :
结构化程序的有限状态测试。 72-80
证明程序的属性
罗伯特·E·努南 , 戴尔·潘顿 :
结构化递归编程。 81-87 G.德格利·安东尼 , 皮耶朗基罗·米利奥利 , 马里奥·奥尔纳吉 :
自上而下的程序综合方法。 88-108 艾琳·格雷夫 , 理查德·沃丁格 :
一种更机械的程序验证方法。 109-119
编程语言的具体应用
吉安尼·阿古齐 , 弗朗西丝卡·塞萨里尼 , 伦佐·平扎尼 , 乔瓦尼·苏达 , 伦佐·斯普鲁诺利 :
APS处理树结构。 120-129 亚伦·菲利克斯·古尔斯基 :
走向高级作业控制语言。 130-140 乔治·G·海 :
VDL中简单在线远程处理器的形式化定义。 141-155
控制结构
威廉·弗兰塔 , 库尔特·马利 :
非常高级语言(SETL)对模拟结构和控制的适用性。 156-169 查尔斯·扎恩(Charles T.Zahn Jr.)。 :
用于自然自顶向下结构化编程的控制语句。 170-180 巴特勒·W·兰普森 , 詹姆斯·米切尔 , E.H.Satterthwhaite公司 :
关于上下文之间的控制转移。 181-203
模式学
伊雷恩·盖萨里安 :
等效dans l'algèbre ds schémas de programs。 204-220 马滕·福克加 :
递归过程的归纳断言模式。 221-233 布鲁诺·库塞尔 , 让·维莱明 :
某些修道院的综合体系具有同等性。 234-252
程序设计理论
唐纳德·阿尔顿 , 约翰·洛瑟 :
抽象设置中不存在程序优化器。 253-265 科拉多·伯姆 , Mariangiola Dezani-Ciancaglini公司 , 西蒙娜·隆奇·德尔拉·罗卡 :
定点运算符定义的信息结构列表。 266-279
系统设计
菲利普·达伦多 , 谢尔盖·吉博德·里博德 , 克劳德·奥特拉奇 :
GEMAU系统内部概念体系结构的应用。 280-297 M.奇姆诺德 , A.斯克里齐 :
联合国通信系统:logiciel ou matériel?。 298-313 A.凯兰盖文 , F.凯兰盖文 :
系统SAR结构。 314-326
并行处理
杰拉德·鲁卡罗尔 :
方案序列与方案并行的转换。 327-349 卡洛·蒙坦格罗 , 朱利亚诺·帕西尼 , 弗朗科·图里尼 :
块结构编程语言中的结构化并行处理模型。 350-361 杰克·B·丹尼斯 :
数据流过程语言的第一个版本。 362-376
形式语义学
詹姆斯·莫里斯 :
朝向更灵活的类型系统。 377-384 卡尔·休伊特 , 彼得·博勒主教 , 理查德·斯泰格 , 艾琳·格雷夫 , 布莱恩·坎特威尔·史密斯 , 托德·马特森 , 罗杰·黑尔 :
非递归控制结构的行为语义。 385-407 约翰·雷诺兹 :
走向类型结构理论。 408-423