停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1984年数据类型语义：法国索菲亚·安蒂波利斯

>主页 >会议和研讨会 >数据类型的语义

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/1984年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/1984
吉尔斯·卡恩,大卫·B·麦昆,戈登·普洛金:
数据类型的语义，国际研讨会，Sophia-Antipolis，法国，1984年6月27日至29日，会议记录。计算机科学课堂讲稿173,施普林格 1984，国际标准图书编号3-540-13346-1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/BurstallL84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/BurstallL84
罗德·M·伯斯托尔,巴特勒·W·兰普森:
抽象数据类型和模块的内核语言。 1-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Cardelli公司84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Cardelli网址84
鲁卡·凯德利:
多重继承的语义学。 51-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/挂钩84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Hook84
詹姆斯·胡克:
理解罗素-第一次尝试。 69-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Mosses84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Mosses84
彼得·莫斯:
基本抽象语义代数。 87-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/WinskelL84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/WinskelL84
格林·温斯克,金·古德斯特兰·拉森:
使用信息系统有效地求解递归域方程。 109-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/布鲁斯M84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/BruceM84
金·布鲁斯,阿尔伯特·梅耶:
二阶多形Lambda演算的语义。 131-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Reynolds84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Reynolds84
约翰·雷诺兹:
多态性不是Set-Theoretic。 145-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/海恩斯84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Haynes84
克里斯托弗·海恩斯:
数据类型表示独立性理论。 157-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/BertoniMMO84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/BertoniMMO84
阿尔贝托·贝托尼,吉安卡洛·毛里,皮耶朗基罗·米利奥利,马里奥·奥尔纳吉:
构造逻辑中的抽象数据类型及其扩展。 177-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Paulson84文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Paulson84
劳伦斯·保尔森:
推导LCF中的结构归纳法。 197-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Despeyroux84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Despeyroux84网址
蒂埃里·德斯佩罗:
静态语义的可执行规范。 215-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/LongoM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/LongoM84
朱塞佩·隆戈,尤金尼奥·莫吉:
有效类型结构的笛卡尔闭枚举分类（第一部分和第二部分）。 235-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Mitchell公司84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Mitchell84
约翰·米切尔:
类型推断和类型包含。 257-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Dezani-CiancagliniM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Dezani-CiancagliniM84
Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚:
交叉类型规程的F语义。 279-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Mcracken公司84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/MCracken84
南希·麦克拉肯:
具有隐式类型结构的程序的类型检查。 301-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Kamin公司A84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/KaminA84
塞缪尔·卡明,米拉·阿切尔:
抽象数据类型的部分实现：对错误的不同看法。 317-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/SannellaT84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/SannellaT84
唐纳德·桑内拉,安德烈·塔莱基:
任意机构的建筑规范。 337-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Orejas84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Orejas84
费尔南多·奥雷贾斯:
验证抽象实现可组合性的证明系统。 357-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/Padawitz84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/Padawitz84
彼得·帕达维茨:
走向参数化规范的证明理论。 375-391

服务

管理网站设置

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