掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
共
248
条结果
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.
Canonicity for 2-Dimensional Type Theory
机译:
二维类型理论的Canonicity
作者:
Daniel R. Licata
;
Robert Harper
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
50.
Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
机译:
澄清和编译C / C ++并发性:从C ++ 11到电源
作者:
Mark Batty
;
Kayvan Memarian
;
Scott Owens
;
Susmit Sarkar
;
Peter Sewell
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
relaxed memory models;
semantics;
51.
Meta-Level Features in an Industrial-Strength Theorem Prover
机译:
工业强度定理箴言中的元级特征
作者:
J Strother Moore
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
ACL2;
52.
Analysis of Recursively Parallel Programs
机译:
分析递归平行计划
作者:
Ahmed Bouajjani
;
Michael Emmi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
concurrency;
parallelism;
verification;
53.
Recursive Proofs for Inductive Tree Data-Structures
机译:
归携电器树数据结构的递归证明
作者:
P. Madhusudan
;
Xiaokang Qiu
;
Andrei Stefanescu
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
heap analysis;
recursive program;
tree;
SMT solver;
54.
Constraints as Control
机译:
约束作为控制
作者:
AH Sinan Koeksal
;
Viktor Kuncak
;
Philippe Suter
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
constraint programming;
satisfiability modulo theories;
executable specifications;
scala;
embedded domain-specific languages;
non-determinism;
55.
Nested Refinements: A Logic for Duck Taping
机译:
嵌套的改进:鸭胶带的逻辑
作者:
Ravi Chugh
;
Patrick M. Rondon
;
Ranjit Jhala
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
refinement types;
dynamic languages;
56.
Programming Languages for Programmable Networks
机译:
可编程网络的编程语言
作者:
Jennifer Rexford
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
software defined networking;
openflow;
network protocols;
57.
Programming with Binders and Indexed Data-Types
机译:
使用粘合剂和索引数据类型进行编程
作者:
Andrew Cave
;
Brigitte Pientka
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
logical frameworks;
higher-order abstract syntax;
dependent types;
recursive types;
58.
Syntactic Control of Interference for Separation Logic
机译:
分离逻辑干扰的句法控制
作者:
Uday S. Reddy
;
John C. Reynolds
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
separation logic;
syntactic control of interference;
conditional critical regions;
fractional permissions;
static analysis;
59.
The Ins and Outs of Gradual Type Inference
机译:
逐渐推断的INS和出局
作者:
Aseem Rastogi
;
Avik Chaudhuri
;
Basil Hosmer
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
gradual typing;
type inference;
actionscript;
60.
Access Permission Contracts for Scripting Languages
机译:
用于脚本语言的访问权限合同
作者:
Phillip Heidegger
;
Annette Bieniusa
;
Peter Thiemann
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
scripting languages;
contracts;
javascript;
61.
Presentation of the SIGPLAN Distinguished Achievement Award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS and Interview
机译:
介绍了Sigplan尊敬的成就奖,爵士查尔斯安托顿理查德·哈尔,FRS,Freng,FBCS和访谈
作者:
Andrew P. Black
;
Peter W. OHearn
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
verification;
reliability;
languages;
theory;
security;
62.
Information Effects
机译:
信息效果
作者:
Roshan P. James
;
Amr Sabry
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
arrows;
linear logic;
quantum computing;
reversible logic;
63.
A Compiler and Run-time System for Network Programming Languages
机译:
用于网络编程语言的编译器和运行时系统
作者:
Christopher Monsanto
;
Nate Foster
;
Rob Harrison
;
David Walker
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
software-defined networking;
openflow;
frenetic;
network programming languages;
domain specific languages;
64.
Deciding Choreography Readability
机译:
决定编舞可读性
作者:
Samik Basu
;
Tevfik Bultan
;
Meriem Ouederni
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
message-based interactions;
choreography;
realizability;
65.
A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
机译:
基于依赖的保证的仿真,用于验证并发程序变换
作者:
Hongjin Liang
;
Xinyu Feng
;
Ming Fu
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
concurrency;
program transformation;
rely-guarantee reasoning;
simulation;
66.
Sound Predictive Race Detection in Polynomial Time
机译:
多项式时间的声音预测竞争检测
作者:
Yannis Smaragdakis
;
Jacob M. Evans
;
Caitlin Sadowski
;
Jaeheon Yi
;
Cormac Flanagan
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
67.
Self-Certification
机译:
自我认证
作者:
Pierre-Yves Strub
;
Nikhil Swamy
;
Cedric Fournet
;
Juan Chen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
certification;
dependent types;
refinement types;
68.
Freefinement
机译:
自由..
作者:
Stephan van Staden
;
Cristiano Calcagno
;
Bertrand Meyer
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
formal systems;
proof theory;
refinement;
69.
Higher-Order Functional Reactive Programming in Bounded Space
机译:
界空间中高阶功能反应性编程
作者:
Neelakantan R. Krishnaswami
;
Nick Benton
;
Jan Hoffmann
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
functional reactive programming;
dataflow;
space-bounded computation;
linear logic;
bunched implications;
70.
A Unified Approach to Fully Lazy Sharing
机译:
完全懒惰分享的统一方法
作者:
Thibaut Balabonski
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
sharing;
full laziness;
lambda-lifting;
rewriting;
lambda-calculus;
weak reduction;
optimality;
labelling.;
71.
Static and User-Extensible Proof Checking
机译:
静态和用户可扩展证明检查
作者:
Antonis Stampoulis
;
Zhong Shao
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
languages;
verification;
72.
The Marriage of Bisimulations and Kripke Logical Relations
机译:
Bisimulation和Kripke逻辑关系的婚姻
作者:
Chung-Kil Hur
;
Derek Dreyer
;
Georg Neis
;
Viktor Vafeiadis
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
kripke logical relations;
bisimulations;
relation transition systems;
contextual equivalence;
higher-order state;
recursive types;
abstract types;
transitivity;
global vs. local knowledge;
73.
A Type System for Borrowing Permissions
机译:
借用权限的类型系统
作者:
Karl Naden
;
Robert Bocchino
;
Jonathan Aldrich
;
Kevin Bierhoff
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
types;
permissions;
borrowing;
uniqueness;
immutability;
74.
Symbolic Finite State Transducers: Algorithms and Applications
机译:
符号有限状态传感器:算法和应用
作者:
Margus Veanes
;
Pieter Hooimeijer
;
Benjamin Livshits
;
David Molnar
;
Nikolaj Bjorner
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
automata;
composition;
equivalence;
SMT;
75.
Towards Nominal Computation
机译:
迈向标称计算
作者:
Mikolaj Bojanczyk
;
Laurent Braud
;
Bartek Klin
;
Slawomir Lasota
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
λ-calculus;
nominal sets;
automata on data words;
76.
Run Your Research On the Effectiveness of Lightweight Mechanization
机译:
对轻量级机械化的有效性进行研究
作者:
Casey Klein
;
John Clements
;
Christos Dimoulas
;
Carl Eastlund
;
Matthias Felleisen
;
Matthew Flatt
;
Jay A. McCarthy
;
JonRafkind
;
Sam Tobin-Hochstadt
;
Robert Bruce Findler
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
lightweight semantics engineering;
77.
Probabilistic Relational Reasoning for Differential Privacy
机译:
差异隐私的概率关系推理
作者:
Gilles Barthe
;
Boris Koepf
;
Federico Olmedo
;
Santiago Zanella Beguelin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
coq proof assistant;
differential privacy;
relational hoare logic;
78.
A Mechanized Semantics for C++ Object Construction and Destruction, with Applications to Resource Management
机译:
C ++对象构建和破坏的机械化语义,具有资源管理的应用
作者:
Tahina Ramananandro
;
Gabriel Dos Reis
;
Xavier Leroy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
languages;
verification;
79.
Playing in the Grey Area of Proofs
机译:
在证明的灰色区域玩
作者:
KryStof Hoder
;
Laura Kovacs
;
Andrei Voronkov
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
program verification;
theorem proving;
interpolation;
80.
Defining Code-injection Attacks
机译:
定义码注射攻击
作者:
Donald Ray
;
Jay Ligatti
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
security;
languages;
algorithms;
81.
Edit Lenses
机译:
编辑镜头
作者:
Martin Hofmann
;
Benjamin Pierce
;
Daniel Wagner
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
algebra;
bidirectional programming;
edit;
lens;
symmetric;
82.
Resource-Sensitive Synchronization Inference by Abduction
机译:
绑架资源敏感同步推断
作者:
Matko Botincan
;
Mike Dodds
;
Suresh Jagannathan
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
separation logic;
abduction;
frame inference;
deterministic parallelism;
83.
A Type Theory for Probability Density Functions
机译:
一种概率密度函数的类型理论
作者:
Sooraj Bhat
;
Ashish Agarwal
;
Richard Vuduc
;
Alexander Gray
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
continuous probability;
probability density functions;
84.
Message of Thanks On the receipt of the 2011 ACM SIGPLAN Distinguished Achievement Award
机译:
谢谢的信息,收到2011年ACM简易计划杰出成就奖
作者:
Tony Hoare
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
verification;
reliability;
languages;
theory;
security;
85.
Underspecified Harnesses and Interleaved Bugs
机译:
欠指定的束缚和交错错误
作者:
Saurabh Joshi
;
Shuvendu K. Lahiri
;
Akash Lal
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
concurrency verification;
differential analysis;
static analysis;
false alarms;
86.
Verification of Parameterized Concurrent Programs By Modular Reasoning about Data and Control
机译:
通过模块化推理对数据和控制进行参数化并发程序验证
作者:
Azadeh Farzan
;
Zachary Kincaid
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
concurrency;
abstract interpretation;
compositional reasoning;
data row graphs;
parameterized programs;
thread invariants;
87.
Randomized Accuracy-Aware Program Transformations For Efficient Approximate Computations
机译:
随机准确性感知程序转换,用于有效的近似计算
作者:
Zeyuan Allen Zhu
;
Sasa Misailovic
;
Jonathan A. Kelner
;
Martin Rinard
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
optimization;
error-time tradeoff;
discretization;
probabilistic;
88.
An Abstract Interpretation Framework for Termination
机译:
终止抽象解释框架
作者:
Patrick Cousot
;
Radhia Cousot
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
abstract interpretation;
induction;
proof;
safety;
static analysis;
variant function;
verification;
termination;
89.
Algebraic Foundations for Effect-Dependent Optimisations
机译:
代数基础依赖于效应效果
作者:
Ohad Kammar
;
Gordon D. Plotkin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
call-by-push-value;
algebraic theory of effects;
code transformations;
compiler optimisations;
computational effects;
de-notational semantics;
domain theory;
inequational logic;
relevant and affine monads;
sum and tensor;
type and effect systems;
universal algebra;
90.
Towards a Program Logic for JavaScript
机译:
迈向JavaScript的程序逻辑
作者:
Philippa Gardner
;
Sergio Maffeis
;
Gareth Smith
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
javascript;
separation logic;
web;
91.
Multiple Facets for Dynamic Information Flow
机译:
用于动态信息流的多个方面
作者:
Thomas H. Austin
;
Cormac Flanagan
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
information flow control;
dynamic analysis. javascript;
web security;
92.
An Executable Formal Semantics of C with Applications
机译:
具有应用程序的可执行形式语义
作者:
Chucky Ellison
;
Grigore Rosu
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
93.
A Language for Automatically Enforcing Privacy Policies
机译:
一种自动执行隐私政策的语言
作者:
Jean Yang
;
Kuat Yessenov
;
Armando Solar-Lezama
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
language design;
run-time system;
privacy;
security;
94.
Formalizing the LLVM Intermediate Representation for Verified Program Transformations
机译:
正式化LLVM中间代表进行验证计划转换
作者:
Jianzhou Zhao
;
Santosh Nagarakatte
;
Milo M. K. Martin
;
Steve Zdancewic
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
LLVM;
coq;
memory safety;
95.
On the Power of Coercion Abstraction
机译:
论胁迫抽象的力量
作者:
Julien Cretin
;
Didier Remy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
type;
system F;
F-eta;
polymorphism;
coercion;
conversion;
retyping functions;
type containment;
subtyping;
bounded polymorphism;
96.
Abstractions from Tests
机译:
测试中的抽象
作者:
MayurNaik
;
Hongseok Yang
;
Ghila Castelnuovo
;
Mooly Sagiv
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
parametrised static analysis;
testing;
thread-escape analysis;
points-to analysis;
necessary-condition problem;
97.
Chairs' Welcome
机译:
椅子的欢迎
作者:
Roberto Giacobazzi
;
Radhia Cousot
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
98.
Complete Instantiation-Based Interpolation
机译:
完全实例化的基于Interpolation
作者:
Nishant Totla
;
Thomas Wies
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》
|
2012年
关键词:
Craig Interpolants;
Decision Procedures;
Satisfiability Module Theories;
Program Analysis;
Data Structures;
99.
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》
|
2012年
关键词:
Coinduction;
simulation;
parameterized greatest fixed point;
compositionality;
lattice theory;
interactive theorem proving;
100.
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》
|
2012年
关键词:
(concurrent) data structures;
relaxed semantics;
quantitative models;
costs;
上一页
1
2
3
下一页
意见反馈
回到顶部
回到首页