软件及其工程

跳到主要内容

高级搜索
浏览
关于
- 登录
- 注册

高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人
更多

搜索ACM数字图书馆

软件及其工程结果

搜索

高级搜索

应用的筛选器

软件及其工程
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录拆下过滤器

人

姓名

尼尔·D·琼斯(2)
托马斯代表(2)
埃里克·古堡(1)
阿兰·德意志(1)
克里斯托弗·保罗·科尔比(1)
丹尼尔·勒·梅泰勒(1)
丹尼·德·施雷耶(1)
大卫·桑兹(1)
埃迪·贝弗斯(1)
卡雷尔·德·弗拉明克(1)
卡罗琳·马尔姆基(1)
曼纽尔·维克托·赫尔梅内吉尔多(1)
曼努维·达斯(1)
毛里齐奥·加布里埃利(1)
迈克尔·勒谢尔(1)
迈克尔·斯珀伯(1)
彼得·罗布克(1)
皮埃尔·朱弗洛特(1)
索米娅·坎蒂·德布雷(1)
蒂姆·泰特鲍姆(1)

机构

哥本哈根大学(4)
理工学院计算机科学实验室(2)
KU鲁汶(2)
威斯康星大学麦迪逊分校(2)
奥胡斯大学(1)
布朗大学(1)
卡内基梅隆大学(1)
康奈尔大学(1)
高级师范学校-PSL(1)
INRIA Rocquencourt公司(1)
计算机科学和随机系统研究所(1)
巴黎矿业公司-PSL(1)
石溪大学(1)
马德里理工大学(1)
Telcordia Technologies，Inc.公司。(1)
爱津大学(1)
亚利桑那大学(1)
热那亚大学(1)
比萨大学(1)
杜宾根大学(1)

作者

托马斯代表(2)
埃里克·古堡(1)
阿兰·德意志(1)
克里斯托弗·保罗·科尔比(1)
丹尼尔·勒·梅泰勒(1)
丹尼·德·施雷耶(1)
大卫·桑兹(1)
埃迪·贝弗斯(1)
卡雷尔·德·弗拉米克(1)
卡罗琳·马尔姆基(1)
曼纽尔·维克托·赫尔梅内吉尔多(1)
曼努维·达斯(1)
毛里齐奥·加布里埃利(1)
迈克尔·勒谢尔(1)
迈克尔·斯珀伯(1)
彼得·罗布克(1)
皮埃尔·朱弗洛特(1)
Regis Cridlig公司(1)
Saumya Kanti Debray女士(1)
蒂姆·泰特鲍姆(1)

出版物

会议记录/书名

PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录(23)

所有出版物

诉讼(23)

媒体格式

PDF格式(22)
图像(1)

出版商

计算机协会(23)

会议

赞助商

信号平面图(23)

会议活动

政治公众人物M95(23)

诉讼系列

PEPM：部分评估和程序操作(23)

出版日期

更改此筛选器后，页面将自动刷新

引文输出

挑选出来的
所有结果

选择引文格式

在开始新的批量导出之前，请先下载或关闭以前的搜索结果导出。
预览不可用。
单击下载，状态对话框将打开以启动导出过程。该过程可能需要几分钟后但一旦完成，一个文件将可以从您的浏览器下载。您可以在导出过程中继续浏览DL。
下载
- 下载引文
- 复制引文

23结果用于：书籍/发行：PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录编辑搜索保存搜索保存搜索失败，请稍后重试搜索已保存（我保存的搜索）RSS（RSS）

保存此搜索

求你了登录以保存搜索并接收与搜索条件匹配的新内容的通知。

搜索ACM全文集（742075条记录）|将搜索范围扩大到ACM计算机文献指南（3700061条记录）

结果

正在显示1 - 20属于23结果

全选

引文输出保存到活页夹

保存到活页夹

创建新活页夹

姓名

每页：

10
20
50

排序依据：关联

最早的
最新
已下载
引用

第条
免费
1995年6月
通过对元解释的部分评估创建专业的完整性检查
- 迈克尔·勒谢尔,
- 丹尼·德·施雷耶
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第253-263页https://doi.org/10.1145/215465.215598
7
225
韵律学
引文总数7
下载总量225
过去12个月16
过去6周1
使用eReader联机查看
PDF格式
第条
免费
1995年6月
通过部分评估进行动作转换
- 京古道
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第230–240页https://doi.org/10.1145/15465215595
2
173
韵律学
引文总数2
下载总量173
过去12个月18
过去6周三
使用eReader联机查看
PDF格式
第条
免费
1995年6月
归纳数据结构和指针的语义模型和抽象解释技术
- 阿兰·德意志
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第226-229页https://doi.org/10.1145/215465.215594
21
621
韵律学
引文总数21
下载总量621
过去12个月38
过去6周7
使用eReader联机查看
PDF格式
第条
免费
1995年6月
基于抽象模型检查的共享内存并发语言语义分析
- 雷吉斯·克里利格
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第214-225页https://doi.org/10.1145/215465.215593
14
284
韵律学
引文总数14
下载总量284
过去12个月36
过去6周4
使用eReader联机查看
PDF格式
第条
免费
1995年6月
并发程序的通信拓扑分析
- 克里斯托弗·科尔比
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第202-213页https://doi.org/10.1145/215465.215592
25
307
韵律学
引文总数25
下载总量307
过去12个月43
过去6周三
使用eReader联机查看
PDF格式
第条
免费
1995年6月
缓存中间结果以改进程序
- 杨红A.刘,
- 蒂姆·泰特鲍姆
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第190-201页https://doi.org/10.1145/215465.215590
31
487
韵律学
引文总数31
下载总量487
过去12个月22
过去6周13
使用eReader联机查看
PDF格式
第条
免费
1995年6月
高阶表达式过程
- 大卫·桑德斯
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第178-189页https://doi.org/10.1145/215465.215587
5
151
韵律学
引文总数5
下载总量151
过去12个月5
过去6周1
使用eReader联机查看
PDF格式
第条
免费
1995年6月
CLP模块的更换操作
- Sandro Etalle公司,
- 毛里齐奥·加布里埃利
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第168-177页https://doi.org/10.1145/215465.215583
三
111
韵律学
引文总数三
下载总量111
过去12个月5
过去6周0
使用eReader联机查看
PDF格式
第条
免费
1995年6月
同步数据流程序的时钟分析
- 托马斯·詹森
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第156-167页https://doi.org/10.1145/215465.215582
4
248
韵律学
引文总数4
下载总量248
过去12个月11
过去6周三
使用eReader联机查看
PDF格式
第条
免费
1995年6月
LR解析的本质
- 迈克尔·斯珀伯,
- 彼得·蒂曼
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第146–155页https://doi.org/10.1145/215465.215579
12
646
韵律学
引文总数12
下载总量646
过去12个月152
过去6周13
使用eReader联机查看
PDF格式
第条
免费
1995年6月
调度器作为高维自动机的抽象解释
- 埃里克·古堡
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第134-145页https://doi.org/10.1145/215465.215577
12
242
韵律学
引文总数12
下载总量242
过去12个月12
过去6周1
使用eReader联机查看
PDF格式
第条
免费
1995年6月
抽象解释和低级代码优化
- Saumya Debray女士
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第111–121页https://doi.org/10.1145/215465.215571
三
394
韵律学
引文总数三
下载总量394
过去12个月22
过去6周三
使用eReader联机查看
PDF格式
第条
免费
1995年6月
命令式程序绑定时分析的语义基础
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第100–110页https://doi.org/10.1145/215465.215569
28
179
韵律学
引文总数28
下载总量179
过去12个月20
过去6周1
使用eReader联机查看
PDF格式
第条
免费
1995年6月
证明在递归数据结构上定义的程序的属性
- 丹尼尔·勒·梅泰勒
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第88–99页https://doi.org/10.1145/215465.215567
6
227
韵律学
引文总数6
下载总量227
过去12个月40
过去6周6
使用eReader联机查看
PDF格式
第条
免费
1995年6月
逻辑程序中多重专业化的实现
- 杰曼·普埃布拉,
- 曼努埃尔·赫尔梅内吉尔多
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第77–87页https://doi.org/10.1145/15465215561
17
158
韵律学
引文总数17
下载总量158
过去12个月19
过去6周4
使用eReader联机查看
PDF格式
第条
免费
1995年6月
高阶块结构语言的多变量专门化
- 卡罗琳·马尔姆基,
- 彼得·罗布克
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第66–76页https://doi.org/10.1145/215465.215558
7
172
韵律学
引文总数7
下载总量172
过去12个月19
过去6周6
使用eReader联机查看
PDF格式
第条
免费
1995年6月
多元建造师专业化
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第54–65页https://doi.org/10.1145/215465.215554
16
177
韵律学
引文总数16
下载总量177
过去12个月12
过去6周0
使用eReader联机查看
PDF格式
第条
免费
1995年6月
使用子类型影响系统
- 颜美堂,
- 皮埃尔·朱弗洛特
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第45-53页https://doi.org/10.1145/215465.215552
20
312
韵律学
引文总数20
下载总量312
过去12个月60
过去6周三
使用eReader联机查看
PDF格式
第条
免费
1995年6月
纯lambda演算的在线部分自适性求值
- 托本。莫根森
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第39–44页https://doi.org/10.1145/215465.215469
21
293
韵律学
引文总数21
下载总量293
过去12个月35
过去6周8
使用eReader联机查看
PDF格式
第条
免费
1995年6月
十年后混合
- 尼尔·D·琼斯
PEPM’95：1995年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录1995年6月，第24-38页https://doi.org/10.1145/215465.215468
17
263
韵律学
引文总数17
下载总量263
过去12个月39
过去6周6
使用eReader联机查看
PDF格式

1
2

页脚

类别

期刊销售
杂志
书
诉讼
信号发生器
会议
收藏
人

关于

关于ACM数字图书馆
ACM数字图书馆委员会
订阅信息
作者指南
使用ACM数字图书馆
ACM数字图书馆内的所有馆藏
ACM计算分类系统
数字图书馆可访问性

加入

加入ACM
加入SIG
订阅出版物
机构和图书馆

连接

联系人
脸谱网
X（X）
Linkedin公司
反馈
错误报告

ACM数字图书馆由计算机协会出版。版权所有©2024 ACM，Inc。

使用条款
隐私政策
道德规范

您的搜索结果下载请求

我们正在准备下载您的搜索结果。。。

文件准备好后，我们会在这里通知您。

立即下载！

您的搜索结果下载请求

您的搜索结果引用文件现已准备就绪。

立即下载！

您的搜索结果下载请求

您的搜索导出查询已过期。请重试。