停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

1.1974年编程研讨会：法国巴黎

>主页 >会议和研讨会 >规划专题讨论会

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/proprogramm/1974年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/1974
伯纳德·J·罗宾内:
1974年4月9日至11日，法国巴黎，规划专题讨论会。计算机科学课堂讲稿19,施普林格 1974，国际标准图书编号3-540-06859-7

结构化程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Chanon74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Chanon74
罗伯特·查农:
关于程序结构的度量。 9-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/HamiltonZ74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/HamiltonZ74
玛格丽特·汉密尔顿,赛迪安·泽尔丁:
应用于航天飞机原型程序的高阶软件技术。 17-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/CheathamT74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/CheathamT74
小托马斯·E·契坦。,朱迪·汤利:
一种用于结构化编程的拟议系统。 33-40

程序正确性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/AmyO74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/AmyO74
B.艾米,法里德·瓦布德斯兰:
S.V.P.、联合国系统在项目验证和准备过程中相互作用。 41-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/AielloA74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/AielloA74
路易吉亚·艾略,马里奥·艾略:
在L.C.F.中证明程序的正确性。。 59-71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/HendersonQ74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/HendersonQ74
彼得·亨德森,彼得·夸伦登:
结构化程序的有限状态测试。 72-80

证明程序的属性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/NoonanP74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/NoonanP74
罗伯特·E·努南,戴尔·J·潘顿:
结构化递归编程。 81-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/AntoniMO74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/AntoniMO74
G.德格利·安东尼,皮耶朗基罗·米利奥利,马里奥·奥尔纳吉:
自上而下的程序综合方法。 88-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/GreefW74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/GreifW74
艾琳·格雷夫,理查德·沃丁格:
一种更机械的程序验证方法。 109-119

编程语言的具体应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/AguzziCPSS74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/AguzziCPSS74
吉安尼·阿古齐,弗朗西丝卡·塞萨里尼,伦佐·平扎尼,乔瓦尼·苏达,伦佐·斯普鲁格诺利:
APS处理树结构。 120-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Gurski74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Gurski74网址
亚伦·菲利克斯·古尔斯基:
走向高级作业控制语言。 130-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Hay74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Hay74
乔治·G·海:
VDL中简单在线远程处理器的形式化定义。 141-155

控制结构

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/FrantaM74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/FrantaM74
威廉·弗兰塔,库尔特·马利:
非常高级语言（SETL）对模拟结构和控制的适用性。 156-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Zahn74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Zahn74
查尔斯·扎恩（Charles T.Zahn Jr.）。:
用于自然自顶向下结构化编程的控制语句。 170-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/LampsonMS74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/LampsonMS74
巴特勒·W·兰普森,詹姆斯·米切尔,E.H.Satterthwhaite公司:
关于上下文之间的控制转移。 181-203

模式学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Guessarian公司74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Guessarian网站74
伊雷恩·盖萨里安:
等效dans l'algèbre ds schémas de programs。 204-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Fokkinga74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Fokkinga74
马滕·福克加:
递归过程的归纳断言模式。 221-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/CourcelleV74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/CourcelleV74
布鲁诺·库塞尔,让·维莱明:
某些修道院的综合体系具有同等性。 234-252

程序设计理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/AltonL74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/AltonL74
唐纳德·阿尔顿,约翰·洛瑟:
抽象设置中不存在程序优化器。 253-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/BohmDR74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/BohmDR74
科拉多·伯姆,Mariangiola Dezani-Ciancaglini公司,西蒙娜·隆奇·德尔拉·罗卡:
定点运算符定义的信息结构列表。 266-279

系统设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/DarondeauGO74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/DarondeauGO74
菲利普·达伦多,谢尔盖·吉博德·里博德,克劳德·奥特拉奇:
GEMAU系统内部概念体系结构的应用。 280-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/ChimnaudS74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/ChimnaudS74
M.奇姆诺德,A.斯克里齐:
联合国通信系统：logiciel ou matériel？。 298-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/KeranguevenK74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/KeranguevenK74
A.凯兰盖文,F.凯兰盖文:
系统SAR结构。 314-326

并行处理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Roucairol74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Roucairol74
杰拉德·鲁卡罗尔:
方案序列与方案并行的转换。 327-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/MontangeroPT74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/MontangeroPT74
卡洛·蒙坦格罗,朱利亚诺·帕西尼,弗朗科·图里尼:
块结构程序设计语言中的一种结构化并行处理模型。 350-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/proprogramm/Dennis74文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Dennis74
杰克·B·丹尼斯:
数据流过程语言的第一个版本。 362-376

形式语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Morris74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Morris74网址
詹姆斯·莫里斯:
朝向更灵活的类型系统。 377-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/HewittBSGSMH74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/HewittBSGSMH74
卡尔·休伊特,彼得·博勒主教,理查德·斯泰格,艾琳·格雷夫,布莱恩·坎特威尔·史密斯,托德·马特森,罗杰·黑尔:
非递归控制结构的行为语义。 385-407
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/Reynolds74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/Reynolds74
约翰·雷诺兹:
走向类型结构理论。 408-423

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。