掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages
Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages
召开年:
2013
召开地:
Rome(IT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Static and Dynamic Semantics of NoSQL Languages
机译:
NoSQL语言的静态和动态语义
作者:
Veronique Benzaken
;
Giuseppe Castagna
;
Kim Nguyen
;
Jerome Simeon
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
NoSQL;
BigData Analytics;
Jaql;
Cloud Computing;
Type Inference;
2.
Quantitative Abstraction Refinement
机译:
定量抽象细化
作者:
Pavol Cerny
;
Thomas A. Henzinger
;
Arjun Radhakrishna
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
abstraction;
refinement;
quantitative analysis;
3.
Inductive Data Flow Graphs
机译:
归纳数据流图
作者:
Azadeh Farzan
;
Zachary Kincaid
;
Andreas Podelski
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Concurrency;
Verification;
Static Analysis;
4.
Abstract Conflict Driven Learning
机译:
抽象冲突驱动学习
作者:
Vijay DSilva
;
Leopold Haller
;
Daniel Kroening
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Satisfiability;
Conflict Driven Clause Learning;
Lattices;
5.
The λ(λ)-calculus: A dual calculus for unconstrained strategies
机译:
λ(λ)-演算:无约束策略的对偶演算
作者:
Alexis Goyet
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Game semantics;
Lambda-calculus;
6.
The Geometry of Types
机译:
类型的几何
作者:
Ugo Dal Lago
;
Barbara Petit
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Functional Programming;
Higher-order Types;
Linear Logic;
Resource Consumption;
Complexity Analysis;
7.
Universal Properties of Impure Programming Languages
机译:
不纯编程语言的通用属性
作者:
Sam Staton
;
Paul Blain Levy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Multicategories;
Premonoidal categories;
Monads;
8.
The Power of Parameterization in Coinductive Proof
机译:
归纳证明中参数化的力量
作者:
Chung-Kil Hur
;
Georg Neis
;
Derek Dreyer
;
Viktor Vafeiadis
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Coinduction;
simulation;
parameterized greatest fixed point;
compositionality;
lattice theory;
interactive theorem proving;
9.
Meta-Theory a la Carte
机译:
元理论点菜
作者:
Benjamin Delaware
;
Bruno C. d. S. Oliveira
;
Tom Schrijvers
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Modular Mechanized Meta-Theory;
Extensible Church Encodings;
Coq;
10.
A Theorem Prover for Boolean BI
机译:
布尔BI的一个定理证明
作者:
Jonghyun Park
;
Jeongbong Seo
;
Sungwoo Park
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Separation logic;
Boolean BI;
Theorem prover;
Nested sequent calculus;
11.
From Principles to Programming Languages (and Back)
机译:
从原理到编程语言(及后退)
作者:
Shriram Krishnamurthi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
semantics engineering;
democracy of languages;
12.
Library Abstraction for C/C++ Concurrency
机译:
C / C ++并发的库抽象
作者:
Mark Batty
;
Mike Dodds
;
Alexey Gotsman
会议名称:
《》
|
2013年
关键词:
Verification;
Concurrency;
Modularity;
C;
C++;
13.
Fault Tolerance via Idempotence
机译:
通过幂等的容错
作者:
G. Ramalingam
;
Kapil Vaswani
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
fault tolerance;
idempotence;
workflow;
transaction;
monad;
14.
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
机译:
设计死锁:多方异步全局编程
作者:
Marco Carbone
;
Fabrizio Montesi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Concurrency;
Choreography;
Types;
Sessions;
15.
The Type Discipline of Behavioral Separation
机译:
行为分离的类型学科
作者:
Luis Caires
;
Joao C. Seco
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Behavioral Types;
Separation;
Interference;
Concurrency;
Higher Order Programming;
16.
Views: Compositional Reasoning for Concurrent Programs
机译:
视图:并行程序的组成推理
作者:
Thomas Dinsdale-Young
;
Lars Birkedal
;
Philippa Gardner
;
Matthew Parkinson
;
Hongseok Yang
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
concurrency;
axiomatic semantics;
compositional reasoning;
17.
High-Level Separation Logic for Low-Level Code
机译:
底层代码的高层分离逻辑
作者:
Jonas B. Jensen
;
Nick Benton
;
Andrew Kennedy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Separation logic;
machine code;
proof assistants;
18.
How Languages Can Save Distributed Computing
机译:
语言如何节省分布式计算
作者:
Andrew C. Myers
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
security;
information flow;
abstractions;
19.
Quantitative Relaxation of Concurrent Data Structures
机译:
并行数据结构的数量松弛
作者:
Thomas A. Henzinger
;
Christoph M. Kirsch
;
Hannes Payer
;
Ali Sezgin
;
Ana Sokolova
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
(concurrent) data structures;
relaxed semantics;
quantitative models;
costs;
20.
Plan B: A Buffered Memory Model for Java
机译:
计划B:Java的缓冲内存模型
作者:
Delphine Demange
;
Vincent Laporte
;
Lei Zhao
;
Suresh Jagannathan
;
David Pichardie
;
Jan Vitek
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Concurrency;
Java;
Memory Model;
Verified Compilation;
21.
Synthesis of Biological Models from Mutation Experiments
机译:
突变实验合成生物模型
作者:
Ali Sinan Koeksal
;
Yewen Pu
;
Saurabh Srivastava
;
Rastislav Bodik
;
Jasmin Fisher
;
Nir Piterman
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Program Synthesis;
Specification Ambiguity Analysis;
Executable Biology;
22.
Sub-Polyhedral Scheduling Using (Unit-)Two-Variable-Per-Inequality Polyhedra
机译:
使用(单元)两个不等式多面体的多面体调度
作者:
Ramakrishna Upadrasta
;
Albert Cohen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Approximation Algorithms;
Complexity Theory;
Compiler Optimizations;
Parallelism;
Loop Transformations;
Affine Scheduling;
Optimization;
Geometric Algorithms;
23.
Optimizing Data Structures in High-Level Programs: New Directions for Extensible Compilers based on Staging
机译:
在高级程序中优化数据结构:基于分段的可扩展编译器新方向
作者:
Tiark Rompf
;
Arvind K. Sujeeth
;
Nada Amin
;
Kevin J. Brown
;
Vojin Jovanovic
;
HyoukJoong Lee
;
Manohar Jonnalagedda
;
Kunle Olukotun
;
Martin Odersky
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Staging;
Code Generation;
Data Structures;
Extensible Compilers;
24.
Principled Parsing for Indentation-Sensitive Languages: Revisiting Landin's Offside Rule
机译:
缩进敏感语言的原则性解析:重新审视Landin的越位规则
作者:
Michael D. Adams
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Parsing;
Indentation;
Offside rule;
25.
The Ramifications of Sharing in Data Structures
机译:
数据结构共享的后果
作者:
Aquinas Hobor
;
Jules Villard
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Aliasing;
Heap/Shape;
Modularity;
Separation logic;
26.
Complete Instantiation-Based Interpolation
机译:
完整的基于实例的插值
作者:
Nishant Totla
;
Thomas Wies
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Craig Interpolants;
Decision Procedures;
Satisfiability Module Theories;
Program Analysis;
Data Structures;
27.
Automatic Detection of Floating-Point Exceptions
机译:
自动检测浮点异常
作者:
Earl T. Barr
;
Thanh Vo
;
Vu Le
;
Zhendong Su
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Floating-point exceptions;
symbolic execution;
28.
Subjective Auxiliary State for Coarse-Grained Concurrency
机译:
粗粒度并发的主观辅助状态
作者:
Ruy Ley-Wild
;
Aleksandar Nanevski
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
concurrency;
verification;
local reasoning;
rely-guarantee thinking;
dependent type theory;
29.
Logical Relations for Fine-Grained Concurrency
机译:
细粒度并发的逻辑关系
作者:
Aaron Turon
;
Jacob Thamsborg
;
Amal Ahmed
;
Lars Birkedal
;
Derek Dreyer
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Refinement;
fine-grained concurrency;
linearizability;
separation logic;
logical relations;
data abstraction;
local state;
30.
Linear Dependent types for Differential Privacy
机译:
线性相关类型的差异隐私
作者:
Marco Gaboardi
;
Andreas Haeberlen
;
Justin Hsu
;
Arjun Narayan
;
Benjamin C. Pierce
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
differential privacy;
type systems;
linear logic;
dependent types;
31.
Fully Abstract Compilation to JavaScript
机译:
完全抽象到JavaScript的编译
作者:
Cedric Fournet
;
Nikhil Swamy
;
Juan Chen
;
Pierre-Evariste Dagand
;
Pierre-Yves Strub
;
Benjamin Livshits
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Program equivalence;
full abstraction;
refinement types;
32.
Towards Fully Automatic Placement of Security Sanitizers and Declassifiers
机译:
迈向安全消毒器和解密器的全自动放置
作者:
Benjamin Livshits
;
Stephen Chong
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Security analysis;
vulnerability prevention;
33.
The Principles and Practice of Probabilistic Programming
机译:
概率编程原理与实践
作者:
Noah D. Goodman
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
probabilistic models;
probabilistic programs;
34.
A Model-Learner Pattern for Bayesian Reasoning
机译:
贝叶斯推理的学习模型
作者:
Andrew D. Gordon
;
Mihhail Aizatulin
;
Johannes Borgstroem
;
Guillaume Claret
;
Thore Graepel
;
Aditya V. Nori
;
Sriram K. Rajamani
;
Claudio Russo
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Bayesian reasoning;
machine learning;
model-learner pattern;
probabilistic programming;
35.
Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals
机译:
超流处理系统:连续时间信号的非标准建模
作者:
Kohei Suenaga
;
Hiroyoshi Sekine
;
Ichiro Hasuo
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
hybrid system;
stream processing;
signal processing;
type system;
nonstandard analysis;
36.
HALO: Haskell to Logic through Denotational Semantics
机译:
光晕:Haskell通过指称语义学走向逻辑
作者:
Dimitrios Vytiniotis
;
Simon Peyton Jones
;
Dan Rosen
;
Koen Claessen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
static contract checking;
first-order logic;
37.
Sigma~*: Symbolic Learning of Input-Output Specifications
机译:
Sigma〜*:输入输出规范的符号学习
作者:
Matko Botincan
;
Domagoj Babic
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Inductive learning;
Specification synthesis;
Behavioral properties;
Equivalence checking;
Stream programs;
Compiler optimization;
Parallelization;
38.
Checking NFA Equivalence with Bisimulations up to Congruence
机译:
使用双模拟检查NFA等价性直到同余
作者:
Filippo Bonchi
;
Damien Pous
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Language Equivalence;
Automata;
Bisimulation;
Coinduction;
Up-to techniques;
Congruence;
Antichains;
39.
Chairs' Welcome
机译:
主席欢迎
作者:
Roberto Giacobazzi
;
Radhia Cousot
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
40.
Engineering Mathematics: The Odd Order Theorem Proof
机译:
工程数学:奇数定理证明
作者:
Georges Gonthier
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
theorem proving;
proof engineering;
group theory;
mathematical components;
Coq;
ssreflect;
41.
Full Abstraction for Nominal Scott Domains
机译:
标称斯科特域的完整抽象
作者:
Steffen Loesch
;
Andrew M. Pitts
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Denotational Semantics;
Domain Theory;
Full Abstraction;
Nominal Sets;
Symmetry;
42.
The Sequential Semantics of Producer Effect Systems
机译:
生产者效应系统的顺序语义
作者:
Ross Tate
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Effects;
Monads;
Effectors;
Productors;
Thunks;
43.
Copatterns: Programming Infinite Structures by Observations
机译:
协同模式:通过观察编程无限结构
作者:
Andreas Abel
;
Brigitte Pientka
;
David Thibodeau
;
Anton Setzer
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Coinduction;
Functional programming;
Introduction vs. elimination;
Message passing;
Pattern matching;
44.
Cache and I/O Efficient Functional Algorithms
机译:
高速缓存和I / O高效功能算法
作者:
Guy E. Blelloch
;
Robert Harper
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
cost semantics;
I/O algorithms;
45.
On the Linear Ranking Problem for Integer Linear-Constraint Loops
机译:
关于整数线性约束环的线性排序问题
作者:
Amir M. Ben-Amram
;
Samir Genaim
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Ranking Functions;
Termination;
Linear Constraints;
46.
Advanced Automata Minimization
机译:
先进的自动机最小化
作者:
Lorenzo Clemente
;
Richard Mayr
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Buechi automata;
simulation;
minimization;
47.
Automating Relatively Complete Verification of Higher-Order Functional Programs
机译:
自动化相对完整的高阶功能程序的验证
作者:
Hiroshi Unno
;
Tachio Terauchi
;
Naoki Kobayashi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
Relative Completeness;
Higher-Order Programs;
Software Model Checking;
Type Inference;
48.
Abstraction and Invariance for Algebraically Indexed Types
机译:
代数索引类型的抽象和不变性
作者:
Robert Atkey
;
Patricia Johann
;
Andrew Kennedy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2013年
关键词:
parametricity;
units of measure;
dimensional analysis;
invariance;
computational geometry;
information flow;
metric types;
uniform continuity;
49.
Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated
机译:
顺序定律:并发算法中的昂贵同步无法消除
作者:
Hagit Attiya
;
Rachid Guerraoui
;
Danny Hendler
;
Petr Kuznetsov
;
Maged M. Michael
;
Martin Vechev
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
concurrency;
algorithms;
lower bounds. memory fences;
memory barriers;
50.
Static Analysis of Multi-Staged Programs via Unstaging Translation
机译:
通过静置翻译静态分析多阶段
作者:
Wontae Choi
;
Baris Aktemur
;
Kwangkeun Yi
;
Makoto Tatsuta
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
multi-staged languages;
static analysis;
unstagingtranslation;
semantics preservation;
abstract interpretation;
projection;
51.
On Interference Abstractions
机译:
关于干涉抽象
作者:
Nishant Sinha
;
Chao Wang
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
algorithms;
verification.;
52.
Practical Affine Types
机译:
实用仿射类型
作者:
Jesse A. Tov
;
Riccardo Pucella
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
affine types;
linear logic;
type systems;
polymorphism;
modules;
53.
Mathematizing C++ Concurrency
机译:
数学C ++并发
作者:
Mark Batty
;
Scott Owens
;
Susmit Sarkar
;
Peter Sewell
;
Tjark Weber
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
relaxed memory models;
semantics;
54.
Relaxed-Memory Concurrency and Verified Compilation
机译:
轻松记忆并发和验证编译
作者:
Jaroslav Sevcik
;
Viktor Vafeiadis
;
Francesco Zappa Nardelli
;
Suresh Jagannathan
;
Peter Sewell
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
relaxed memory models;
verifying compilation;
semantics;
55.
Vector Addition System Reachability Problem
机译:
矢量加法系统可达性问题
作者:
Jerome Leroux
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
VAS;
petri;
presburger. reachability;
56.
Automating String Processing in Spreadsheets Using Input-Output Examples
机译:
使用输入输出示例在电子表格中自动化字符串处理
作者:
Sumit Gulwani
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
program synthesis;
user intent;
programming by example (PBE);
version space algebra;
spreadsheet programming,string manipulation;
57.
EigenCFA: Accelerating Flow Analysis with GPUs
机译:
EIGENCFA:通过GPU加速流动分析
作者:
Tarun Prabhu
;
Shreyas Ramalingam
;
Matthew Might
;
Mary Hall
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
abstract interpretation;
eigenCFA;
program analysis;
flow analysis;
lambda calculus;
GPU. CPS;
matrix;
58.
Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs
机译:
流传感器,用于单遍列表处理程序的算法验证
作者:
Rajeev Alur
;
Pavol Cerny
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
transducers;
algorithmic software verification;
lists;
59.
Correct Blame for Contracts No More Scapegoating
机译:
正确责备合同没有更多的粘合剂
作者:
Christos Dimoulas
;
Robert Bruce Findler
;
Cormac Flanagan
;
Matthias Felleisen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
higher-order;
programming;
behavioral contracts;
blame assignment;
60.
Robin Milner 1934-2010
机译:
Robin Milner 1934-2010
作者:
Andrew D. Gordon
;
Robert Harper
;
John Harrison
;
Alan Jeffrey
;
Peter Sewell
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
61.
Verified Squared: Does Critical Software Deserve Verified Tools?
机译:
已验证平方:关键软件是否应该获得已验证的工具?
作者:
Xavier Leroy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
languages;
verification;
62.
Delay-Bounded Scheduling
机译:
延时界限调度
作者:
Michael Emmi
;
Shaz Qadeer
;
Zvonimir Rakamaric
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
concurrency;
asynchronous programs;
delay;
sequen-tiali/ation;
63.
Blame for All
机译:
责备所有人
作者:
Amal Ahmed
;
Robert Bruce Findler
;
Jeremy G. Siek
;
Philip Wadler
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
casts;
coercions;
blame tracking;
lambda-calculus;
64.
Multivariate Amortized Resource Analysis
机译:
多元摊销资源分析
作者:
Jan Hoffmann
;
Klaus Aehlig
;
Martin Hofmann
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
functional programming;
static analysis;
amortizedanalysis;
resource consumption;
quantitative analysis;
65.
Dynamic Inference of Static Types for Ruby
机译:
Ruby的静态类型的动态推理
作者:
Jong-hoon (David) An
;
AvikChaudhuri
;
Jeffrey S.Foster
;
Michael Hicks
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
dynamic type inference;
static types. ruby;
dynamiclanguages;
66.
Modular Reasoning for Deterministic Parallelism
机译:
确定性平行度的模块化推理
作者:
Mike Dodds
;
Suresh Jagannathan
;
Matthew J. Parkinson
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
separation logic. concurrent abstract predicates;
concurrency;
futures;
67.
Dynamic Multirole Session Types
机译:
动态MultiRole会话类型
作者:
Pierre-Malo Dentelou
;
Nobuko Yoshida
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
communications;
roles;
multiparty;
session types;
mobile processes;
dynamic protocols;
join-leave;
peer-to-peer;
auction.;
68.
Complexity of Pattern-based Verification for Multithreaded Programs
机译:
多线程程序基于模式的验证复杂性
作者:
Javier Esparza
;
Pierre Ganty
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
concurrent programming;
safely;
context-free languages.;
69.
Calling Context Abstraction with Shapes
机译:
使用形状调用上下文抽象
作者:
Xavier Rival
;
Bor-Yuh Evan Chang
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
interprocedural analysis;
context-sensitivity;
calling context;
shape analysis;
inductive definitions;
separation logic;
symbolic abstract domain;
70.
Decidable Logics Combining Heap Structures and Data
机译:
可解除逻辑组合堆结构和数据的逻辑
作者:
P. Madhusiidan
;
Gennaro Parlato
;
Xiaokang Qiu
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
heap analysis. SMT solvers;
monadic second-orderlogic;
combining decision procedures;
automata;
decidability;
71.
The Tree Width of Auxiliary Storage
机译:
辅助存储的树宽
作者:
P. Madhusudan
;
Gennaro Parlato
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
model checking;
automata;
decision procedures;
boundedtree-width;
72.
Regular Expression Containment: Coinductive Axiomatization and Computational Interpretation
机译:
正规表达遏制:配合公务化和计算解释
作者:
Fritz Henglein
;
Lasse Nielsen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
axiomatization;
coercion;
coinduction;
computational interpretation;
containment;
equivalence;
regular expression;
type;
73.
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
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
data-flow analysis;
parallel-program optimization;
74.
Fresh-Register Automata
机译:
新注册自动机
作者:
Nikos Tzevelekos
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
theory;
languages;
verification;
75.
Points-To Analysis with Efficient Strong Updates
机译:
有效的强劲更新点分析
作者:
Ondrej Lhotak
;
Kwok-Chiang Andrew Chung
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
points-to analysis;
flow sensitivity;
strong updates;
andersen's analysis;
LLVM;
76.
Generative Type Abstraction and Type-level Computation
机译:
生成类型抽象和类型级计算
作者:
Stephanie Weirich
;
Dimitrios Vytiniotis
;
Simon Peyton Jones
;
Steve Zdancewic
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
haskell;
newtype deriving;
type functions;
77.
A Kripke Logical Relation Between ML and Assembly
机译:
ML和组装之间的Kripke逻辑关系
作者:
Chung-Kil Hur
;
Derek Dreyer
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
step-indexed kripke logical relations;
biorthogonal-ity;
compositional compiler correctness;
garbage collection;
self-modifying code;
78.
Step-Indexed Kripke Models over Recursive Worlds
机译:
循环索引的Kripke模型递归世界
作者:
Lars Birkedal
;
Bernhard Reus
;
Jan Schwinghammer
;
Kristian Stoevring
;
Jacob Thamsborg
;
Hongseok Yang
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
kripke models;
ultrametric spaces;
step-indexed models;
capability calculus;
frame rales;
indirection theory;
79.
Expressive Modular Fine-Grained Concurrency Specification
机译:
富有表现力的模块化细粒度并发规范
作者:
Bart Jacobs
;
Frank Piessens
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
fine-grained concurrency;
separation logic;
80.
Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Level Intermediate Code
机译:
使用基于机器无关的基于类型的低级中间代码的折销,重新排列的模块化指令选择
作者:
Norman Ramsey
;
Joao Dias
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
algorithms;
theory;
81.
Precise Reasoning for Programs Using Containers
机译:
使用容器的程序精确推理
作者:
Isil Dillig
;
Thomas Dillig
;
Alex Aiken
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
languages;
verification;
experimentation;
82.
Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol
机译:
通过优先级天花板协议同步的中断驱动程序的静态分析
作者:
Martin D. Schwarz
;
Helmut Seidl
;
Vesal Vojdani
;
Peter Lammich
;
Markus Mueller-Olm
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
inter-procedural analysis;
abstract domains;
interrupt-driven concurrency;
83.
The Essence of Compiling with Traces
机译:
用痕迹编译的本质
作者:
Shu-yu Guo
;
Jens Palsberg
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
just-in-time compilation;
compiler correctness;
bisimulation;
84.
Pick Your Contexts Well: Understanding Object-Sensitivity
机译:
选择你的上下文:了解对象敏感性
作者:
Yannis Smaragdakis
;
Martin Bravenboer
;
Ondrej Lhotak
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
algorithms;
languages;
performance;
85.
Bisimulation for Quantum Processes
机译:
对量子过程的双刺激
作者:
Yuan Feng
;
Runyao Duan
;
Mingsheng Ying
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
quantum communication;
quantum computing;
quantum process algebra;
bisimulation;
congruence;
86.
Safe Nondeterminism in a Deterministic-by-Default Parallel Language
机译:
在确定逐默认的并行语言中安全不确定
作者:
Robert L. Bocchino Jr
;
Stephen Heumann
;
Nima Honarmand
;
Santa V. Adve
;
Vikram S. Adve
;
Adam Welc
;
Tatiana Shoeisman
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
languages;
verification;
performance;
87.
Making Prophecies with Decision Predicates
机译:
与决策谓词进行预言
作者:
Byron Cook
;
Eric Koskinen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
li near temporal logic;
formal verification;
termination;
program analysis;
model checking;
88.
A Separation Logic for Refining Concurrent Objects
机译:
用于炼制并发对象的分离逻辑
作者:
Aaron Turon
;
Mitchell Wand
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
algorithms;
verification;
89.
Learning Minimal Abstractions
机译:
学习最小抽象
作者:
Percy Liang
;
Omer Tripp
;
Mayur Naik
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
heap abstractions;
static analysis;
concurrency;
machine learning;
randomization;
90.
The Design of Kodu: A Tiny Visual Programming Language for Children on the Xbox 360
机译:
Kodu的设计:Xbox 360上的儿童的微小视觉编程语言
作者:
Matthew MacLaurin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
games;
game programming;
3D user interface;
enduser authoring;
K12 programming;
programming early education;
kodu;
boku;
91.
Loop Transformations: Convexity, Pruning and Optimization
机译:
环路变换:凸,修剪和优化
作者:
Louis-Noeel Pouchet
;
Uday Bondhugula
;
Cedric Bastoul
;
Albert Cohen
;
J. Ramanujam
;
P. Sadayappan
;
Nicolas Vasilache
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
compilation;
compiler optimization;
parallelism;
loop transformations;
affine scheduling;
92.
Symmetric Lenses
机译:
对称镜头
作者:
Martin Hofmann
;
Benjamin Pierce
;
Daniel Wagner
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
lens;
view-update;
algebra;
category theory;
93.
A Shape Analysis for Optimizing Parallel Graph Programs
机译:
用于优化并行图计划的形状分析
作者:
Dimitrios Prountzos
;
Roman Manevich
;
Keshav Pingali
;
Kathryn S. McKinley
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
abstract interpretation;
compiler optimization;
concurrency;
parallelism;
shape analysis;
static analysis;
amorphous data-parallelism;
irregular programs;
optimistic arallelization.synchronization overheads;
cautious operators;
94.
Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
机译:
使用模式匹配的代数数据类型验证高阶功能程序
作者:
C.-H. Luke Ong
;
Steven J. Ramsay
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
languages;
verification;
95.
Space Overhead Bounds for Dynamic Memory Management with Partial Compaction
机译:
具有部分压缩的动态内存管理的空间开销范围
作者:
Anna Bendersky
;
Erez Petrank
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
runtime systems;
memory management;
storage allocation;
dynamic storage allocation;
compaction;
partial compaction.;
96.
Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
机译:
验证多线程程序的谓词抽象和精制
作者:
Ashutosh Gupta
;
Corneliu Popeea
;
Andrey Rybaichenko
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
multi-threaded programs;
safety;
proof rule;
modularreasoning;
environment transitions;
(transition) predicate abstraction;
abstraction refinement;
horn clauses;
97.
Geometry of Synthesis Ⅲ Resource Management Through Type Inference
机译:
通过型推断的合成Ⅲ资源管理几何
作者:
Dan R. Ghica
;
Alex Smith
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
automatic synthesis;
event logic;
syntactic controlof interference;
game semantics;
98.
A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis
机译:
用于全自动和可扩展阵列内容分析的参数分割功能
作者:
Patrick Cousot
;
Radhia Cousot
;
Francesco Logozzo
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
abstract interpretation;
array abstraction;
array content analysis;
array property inference;
invariant synthesis;
staticanalysis;
program verification;
99.
Formal Verification of Object Layout for C++ Multiple Inheritance
机译:
用于C ++多重继承的对象布局的正式验证
作者:
Tahina Ramananandro
;
Gabriel Dos Reis
;
Xavier Leroy t
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
languages;
verification;
100.
A Typed Store-Passing Translation for General References
机译:
用于一般参考的键入的商店传递转换
作者:
Frangois Pottier
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2010年
关键词:
languages;
theory;
意见反馈
回到顶部
回到首页