掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011
38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
传感器世界
兵工自动化
软件与光盘
中国自动识别技术
计算机网络世界
数码先锋
通讯和计算机
电脑技术
互联网周刊
软件学报
更多>>
相关外文期刊
Enterprise information systems
MSDN Magazine
Advanced imaging
International Journal of Hybrid Intelligent Systems
Journal of gaming & virtual worlds
Journal of Logic and Algebraic Programming
Programming and Computer Software
IEEE transactions on systems, man, and cybernetics. Part B
Expert Systems with Application
Future generation computer systems
更多>>
相关中文会议
中国计算机学会工业控制计算机年会
中国人工智能学会第十三届学术年会
中国仪器仪表学会东北过程自动化设计专业委员会第二十次年会暨2010年学术会议
第三届全球智能控制与自动化大会
第五届全国青年计算语言学研讨会(YWCL 2010)
第十一届嵌入式学术会议(ESTC2012)
2013全国高等学校计算机教育大会
中国仪器仪表学会东北过程自动化设计专业委员会第19届年会
中国中文信息学会二十周年学术会议
全国第15届计算机辅助设计与图形学学术会议
更多>>
相关外文会议
Human-computer interaction
Large scale systems: Theory and applications 1995
Advances in databases and information systems
Photon counting applications, quantum optics, and quantum information transfer and processing II
Data Engineering, 1994. Proceedings
2013 19th IEEE Workshop on Local & Metropolitan Area Networks
Wireless Communication System Symposium, 1995
International Conference on Computers Helping People with Special Needs(ICCHP 2006); 20060711-13; Linz(AT)
Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing
Algorithmic game theory
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis
机译:
用于全自动和可扩展的数组内容分析的参数分段函子
作者:
Patrick Cousot
;
Radhia Cousot
;
Francesco Logozzo
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
abstract interpretation;
array abstraction;
array con-tent analysis;
array property inference;
invariant synthesis;
static analysis;
program verification;
2.
Relaxed-Memory Concurrency and Verified Compilation
机译:
宽松内存并发和经过验证的编译
作者:
Jaroslav Sevcik
;
Viktor Vafeiadis
;
Francesco Zappa Nardelli
;
Suresh Jagannathan
;
Peter Sewell
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
relaxed memory models;
verifying compilation;
se-mantics;
3.
Mathematizing C++ Concurrency
机译:
数学化C ++并发
作者:
Mark Batty
;
Scott Owens
;
Susmit Sarkar
;
Peter Sewell
;
Tjark Weber
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
relaxed memory models;
semantics;
4.
Dynamic Inference of Static Types for Ruby
机译:
Ruby静态类型的动态推断
作者:
Jong-hoon (David) An
;
Avik Chaudhuri
;
Jeffrey S. Foster
;
Michael Hicks
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
dynamic type inference;
static types;
ruby;
dynamic languages;
5.
Complexity of Pattern-based Verification for Multithreaded Programs
机译:
基于模式的多线程程序验证的复杂性
作者:
Javier Esparza
;
Pierre Ganty
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
concurrent programming;
safety;
context-free lan-guages;
6.
Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs
机译:
用于单遍列表处理程序的算法验证的流转换器
作者:
Rajeev Alur
;
Pavol Cerny
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
transducers;
algorithmic software verification;
lists;
7.
A Technique for the Effective and Automatic Reuse of Classical Compiler Optimizations on Multithreaded Code
机译:
多线程代码上经典编译器优化的有效和自动重用技术
作者:
Pramod G. Joisha
;
Robert S. Schreiber
;
Prithviraj Banerjee
;
Hans-J. Boehm
;
Dhruva R. Chakrabarti
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
data-flow analysis;
parallel-program optimization;
8.
EigenCFA: Accelerating Flow Analysis with GPUs
机译:
EigenCFA:使用GPU加速流分析
作者:
Tarun Prabhu
;
Shreyas Ramalingam
;
Matthew Might
;
Mary Hall
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
abstract interpretation;
eigenCFA;
program analysis;
flow analysis;
lambda calculus;
GPU;
CPS;
matrix;
9.
Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Level Intermediate Code
机译:
使用与机器无关的,基于类型的低级中间代码切片,实现资源丰富,可重定目标的模块化指令选择
作者:
Norman Ramsey
;
Joao Dias
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
algorithms;
theory;
10.
On Interference Abstractions
机译:
关于干扰抽象
作者:
Nishant Sinha
;
Chao Wang
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
algorithms;
verification;
11.
Safe Nondeterminism in a Deterministic-by-Default Parallel Language
机译:
默认确定性并行语言中的安全非确定性
作者:
Robert L. Bocchino Jr.
;
Stephen Heumann
;
Nima Honarmand
;
Sarita V. Adve
;
Vikram S. Adve
;
Adam Welc
;
Tatiana Shpeisman
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
verification;
performance;
12.
Vector Addition System Reachability Problem
机译:
向量加法系统可达性问题
作者:
Jerome Leroux
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
VAS;
petri;
presburger;
reachability;
13.
Automating String Processing in Spreadsheets Using Input-Output Examples
机译:
使用输入输出示例在电子表格中自动进行字符串处理
作者:
Sumit Gulwani
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
program synthesis;
user intent;
programming by Ex-ample (PBE);
version space algebra;
spreadsheet programming;
string manipulation;
14.
Loop Transformations: Convexity, Pruning and Optimization
机译:
循环转换:凸性,修剪和优化
作者:
Louis-Noel Pouchet
;
Uday Bondhugula
;
Cedric Bastoul
;
Albeit Cohen
;
J. Ramanujam
;
P. Sadayappan
;
Nicolas Vasilache
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
compilation;
compiler optimization;
parallelism;
loop transformations;
affine scheduling;
15.
The Essence of Compiling with Traces
机译:
痕迹编译的本质
作者:
Shu-yu Guo
;
Jens Palsberg
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
just-in-time compilation;
compiler correctness;
bisim-ulation;
16.
Modular Reasoning for Deterministic Parallelism
机译:
确定性并行的模块化推理
作者:
Mike Dodds
;
Suresh Jagannathan
;
Matthew J. Parkinson
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
separation logic;
concurrent abstract predicates;
concurrency;
futures;
17.
Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
机译:
谓词抽象和提炼,以验证多线程程序
作者:
Ashutosh Gupta
;
Corneliu Popeea
;
Andrey Rybalchenko
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
multi-threaded programs;
safety;
proof rule;
modular reasoning;
environment transitions;
(transition) predicate abstrac-tion;
abstraction refinement;
horn clauses;
18.
Precise Reasoning for Programs Using Containers
机译:
使用容器的程序的精确推理
作者:
Isil Dillig
;
Thomas Dillig
;
Alex Aiken
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
verification;
experimentation;
19.
Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol
机译:
通过优先级天花板协议同步的中断驱动程序的静态分析
作者:
Martin D. Schwarz
;
Helmut Seidl
;
Peter Lammich
;
Markus Miiller-Olm
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
inter-procedural analysis;
abstract domains;
interrupt-driven concurrency;
20.
Static Analysis of Multi-Staged Programs via Unstaging Translation
机译:
通过分段翻译对多阶段程序进行静态分析
作者:
Wontae Choi
;
Baris Aktemur
;
Kwangkeun Yi
;
Makoto Tatsuta
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
theory;
21.
Expressive Modular Fine-Grained Concurrency Specification
机译:
表现式模块化细粒度并发规范
作者:
Bart Jacobs
;
Frank Piessens
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
fine-grained concurrency;
separation logic;
22.
A Kripke Logical Relation Between ML and Assembly
机译:
机器学习与装配体之间的Kripke逻辑关系
作者:
Chung-Kil Hur
;
Derek Dreyer
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
step-indexed kripke logical relations;
biorthogonal-ity;
compositional compiler correctness;
garbage collection;
self-modifying code;
23.
A Typed Store-Passing Translation for General References
机译:
通用参考的类型化商店传递翻译
作者:
Francois Pottier
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
theory;
24.
A Shape Analysis for Optimizing Parallel Graph Programs
机译:
优化并行图程序的形状分析
作者:
Dimitrios Prountzos
;
Roman Manevich
;
Keshav Pingali
;
Kathryn S. McKinley
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
abstract interpretation;
compiler optimization;
con-currency;
parallelism;
shape analysis;
static analysis;
amorphous data-parallelism;
irregular programs;
optimistic parallelization;
synchronization overheads;
cautious operators;
25.
Learning Minimal Abstractions
机译:
学习最小抽象
作者:
Percy Liang
;
Omer Tripp
;
Mayur Naik
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
heap abstractions;
static analysis;
concurrency;
machine learning;
randomization;
26.
Symmetric Lenses
机译:
对称镜片
作者:
Martin Hofmann
;
Benjamin Pierce
;
Daniel Wagner
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
lens;
view-update;
algebra;
category theory;
27.
Delay-Bounded Scheduling
机译:
时延有界调度
作者:
Michael Emmi
;
Shaz Qadeer
;
Zvonimir Rakamaric
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
concurrency;
asynchronous programs;
delay;
sequen-tialization;
28.
Correct Blame for Contracts
机译:
正确责备合同
作者:
Christos Dimoulas
;
Robert Bruce Findler
;
Cormac Flanagan
;
Matthias Felleisen
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
higher-order programming;
behavioral contracts;
blame assignment;
29.
Fresh-Register Automata
机译:
新鲜注册自动机
作者:
Nikos Tzevelekos
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
theory;
languages;
verification;
30.
Verified Squared: Does Critical Software Deserve Verified Tools?
机译:
验证平方:关键软件应提供验证工具吗?
作者:
Xavier Leroy
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
verification;
31.
Points-To Analysis with Efficient Strong Updates
机译:
具有有效强大更新的指向分析
作者:
Ondfej Lhotak
;
Kwok-Chiang Andrew Chung
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
points-to analysis;
flow sensitivity;
strong updates;
an-dersen's analysis;
LLVM;
32.
Dynamic Multirole Session Types
机译:
动态多角色会话类型
作者:
Pierre-Malo Denielou
;
Nobuko Yoshida
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
communications;
roles;
multiparty;
session types;
mo-bile processes;
dynamic protocols;
join-leave;
peer-to-peer;
auction;
33.
Robin Milner 1934-2010
机译:
罗宾·米尔纳(Robin Milner)1934-2010
作者:
Andrew D. Gordon
;
Robert Harper
;
John Harrison
;
Alan Jeffrey
;
Peter Sewell
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
34.
DSpace Overhead Bounds for Dynamic Memory Management with Partial Compaction
机译:
使用部分压缩的动态内存管理的DSpace开销边界
作者:
Anna Bendersky
;
Erez Petrank
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
runtime systems;
memory management;
storage al-location;
dynamic storage allocation;
compaction;
partial com-paction;
35.
Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
机译:
使用模式匹配代数数据类型验证高阶功能程序
作者:
C.-H. Luke Ong
;
Steven J. Ramsay
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
verification;
36.
Practical Affine Types
机译:
实际仿射类型
作者:
Jesse A. Tov
;
Riccardo Pucella
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
affine types;
linear logic;
type systems;
polymor-phism;
modules;
37.
Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated
机译:
顺序定律:无法消除并行算法中的昂贵同步
作者:
Hagit Attiya
;
Rachid Guerraoui
;
Danny Hendler
;
Petr Kuznetsov
;
Maged M. Michael
;
Martin Vechev
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
concurrency;
algorithms;
lower bounds;
memory fences;
memory barriers;
38.
Decidable Logics Combining Heap Structures and Data
机译:
结合堆结构和数据的可决定逻辑
作者:
P. Madhusudan
;
Gennaro Parlato
;
Xiaokang Qiu
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
heap analysis;
SMT solvers;
monadic second-order logic;
combining decision procedures;
automata;
decidability;
39.
Bisimulation for Quantum Processes
机译:
量子过程的双仿真
作者:
Yuan Feng
;
Runyao Duan
;
Mingsheng Ying
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
quantum communication;
quantum computing;
quan-tum process algebra;
bisimulation;
congruence;
40.
Generative Type Abstraction and Type-level Computation
机译:
生成类型抽象和类型级别计算
作者:
Stephanie Weirich
;
Dimitrios Vytiniotis
;
Steve Zdancewic
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
haskell;
newtype deriving;
type functions;
41.
Geometry of Synthesis III Resource Management Through Type Inference
机译:
通过类型推断进行综合III资源管理的几何
作者:
Dan R. Ghica
;
Alex Smith
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
automatic synthesis;
event logic;
syntactic control of interference;
game semantics;
42.
Blame for All
机译:
人人应责
作者:
Amal Ahmed
;
Robert Bruce Findler
;
Jeremy G. Siek
;
Philip Wadler
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
casts;
coercions;
blame tracking;
lambda-calculus;
43.
Step-Indexed Kripke Models over Recursive Worlds
机译:
递归世界上的逐步索引Kripke模型
作者:
Lars Birkedal
;
Bernhard Reus
;
Jan Schwinghammer
;
Kristian Støvring
;
Jacob Thamsborg
;
Hongseok Yang
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
kripke models;
ultrametric spaces;
step-indexed mod-els;
capability calculus;
frame rules;
indirection theory;
44.
Formal Verification of Object Layout for C++ Multiple Inheritance
机译:
C ++多重继承的对象布局的形式验证
作者:
Tahina Ramananandro
;
Gabriel Dos Reis
;
Xavier Leroy
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
languages;
verification;
45.
The Design of Kodu: A Tiny Visual Programming Language for Children on the Xbox 360
机译:
Kodu的设计:Xbox 360上的儿童微型可视编程语言
作者:
Matthew MacLaurin
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
games;
game programming;
3d user interface;
end-user authoring;
K12 programming;
programming early education;
kodu;
boku;
46.
The Tree Width of Auxiliary Storage
机译:
辅助存储的树宽
作者:
P. Madhusudan
;
Gennaro Parlato
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
model checking;
automata;
decision procedures;
bounded tree-width;
47.
Pick Your Contexts Well: Understanding Object-Sensitivity
机译:
很好地选择上下文:了解对象敏感度
作者:
Yannis Smaragdakis
;
Martin Bravenboer
;
Ondfej Lhotak
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
algorithms;
languages;
performance;
48.
Calling Context Abstraction with Shapes
机译:
使用形状调用上下文抽象
作者:
Xavier Rival
;
Bor-Yuh Evan Chang
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
interprocedural analysis;
context-sensitivity;
calling context;
shape analysis;
inductive definitions;
separation logic;
symbolic abstract domain;
49.
Making Prophecies with Decision Predicates
机译:
用决策谓词做预言
作者:
Byron Cook
;
Eric Koskinen
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
linear temporal logic;
formal verification;
termination;
program analysis;
model checking;
50.
Multivariate Amortized Resource Analysis
机译:
多元摊销资源分析
作者:
Jan Hoffmann
;
Klaus Aehlig
;
Martin Hofmann
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
functional programming;
static analysis;
amortized analysis;
resource consumption;
quantitative analysis;
51.
Regular Expression Containment: Coinductive Axiomatization and Computational Interpretation
机译:
正则表达式包含:归纳公理化和计算解释
作者:
Fritz Henglein
;
Lasse Nielsen
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
axiomatization;
coercion;
coinduction;
computational inter-pretation;
containment;
equivalence;
regular expression;
type;
52.
A Separation Logic for Refining Concurrent Objects
机译:
精炼并发对象的分离逻辑
作者:
Aaron Turon
;
Mitchell Wand
会议名称:
《38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011》
|
2011年
关键词:
algorithms;
verification;
意见反馈
回到顶部
回到首页