掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.
39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Playing in the Grey Area of Proofs
机译:
在打样的灰色区域打球
作者:
KryStof Hoder
;
Laura Kovacs
;
Andrei Voronkov
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
program verification;
theorem proving;
interpolation;
2.
Verification of Parameterized Concurrent Programs By Modular Reasoning about Data and Control
机译:
通过数据和控制的模块化推理验证参数化并发程序
作者:
Azadeh Farzan
;
Zachary Kincaid
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
concurrency;
abstract interpretation;
compositional reasoning;
data row graphs;
parameterized programs;
thread invariants;
3.
A Type Theory for Probability Density Functions
机译:
概率密度函数的类型理论
作者:
Sooraj Bhat
;
Ashish Agarwal
;
Richard Vuduc
;
Alexander Gray
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
continuous probability;
probability density functions;
4.
Probabilistic Relational Reasoning for Differential Privacy
机译:
差异隐私的概率关系推理
作者:
Gilles Barthe
;
Boris Koepf
;
Federico Olmedo
;
Santiago Zanella Beguelin
会议名称:
《》
|
2012年
关键词:
coq proof assistant;
differential privacy;
relational hoare logic;
5.
The Marriage of Bisimulations and Kripke Logical Relations
机译:
双重模拟的婚姻与克里普克逻辑关系
作者:
Chung-Kil Hur
;
Derek Dreyer
;
Georg Neis
;
Viktor Vafeiadis
会议名称:
《39th 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;
6.
Randomized Accuracy-Aware Program Transformations For Efficient Approximate Computations
机译:
高效的近似计算的随机精度计算程序转换
作者:
Zeyuan Allen Zhu
;
Sasa Misailovic
;
Jonathan A. Kelner
;
Martin Rinard
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
optimization;
error-time tradeoff;
discretization;
probabilistic;
7.
A Mechanized Semantics for C++ Object Construction and Destruction, with Applications to Resource Management
机译:
C ++对象构造和销毁的机械化语义及其在资源管理中的应用
作者:
Tahina Ramananandro
;
Gabriel Dos Reis
;
Xavier Leroy
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
languages;
verification;
8.
An Executable Formal Semantics of C with Applications
机译:
C的可执行形式语义及其应用
作者:
Chucky Ellison
;
Grigore Rosu
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
9.
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
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
lightweight semantics engineering;
10.
Message of Thanks On the receipt of the 2011 ACM SIGPLAN Distinguished Achievement Award
机译:
感谢信收到2011年ACM SIGPLAN杰出成就奖
作者:
Tony Hoare
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
verification;
reliability;
languages;
theory;
security;
11.
Algebraic Foundations for Effect-Dependent Optimisations
机译:
效果相关优化的代数基础
作者:
Ohad Kammar
;
Gordon D. Plotkin
会议名称:
《39th 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;
12.
An Abstract Interpretation Framework for Termination
机译:
终止的抽象解释框架
作者:
Patrick Cousot
;
Radhia Cousot
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
abstract interpretation;
induction;
proof;
safety;
static analysis;
variant function;
verification;
termination;
13.
Meta-Level Features in an Industrial-Strength Theorem Prover
机译:
工业强度定理证明中的元级特征
作者:
J Strother Moore
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
ACL2;
14.
Nested Refinements: A Logic for Duck Taping
机译:
嵌套优化:鸭编带逻辑
作者:
Ravi Chugh
;
Patrick M. Rondon
;
Ranjit Jhala
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
refinement types;
dynamic languages;
15.
A Compiler and Run-time System for Network Programming Languages
机译:
网络编程语言的编译器和运行时系统
作者:
Christopher Monsanto
;
Nate Foster
;
Rob Harrison
;
David Walker
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
software-defined networking;
openflow;
frenetic;
network programming languages;
domain specific languages;
16.
Freefinement
机译:
自由细化
作者:
Stephan van Staden
;
Cristiano Calcagno
;
Bertrand Meyer
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
formal systems;
proof theory;
refinement;
17.
Programming Languages for Programmable Networks
机译:
可编程网络的编程语言
作者:
Jennifer Rexford
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
software defined networking;
openflow;
network protocols;
18.
Resource-Sensitive Synchronization Inference by Abduction
机译:
通过绑架进行资源敏感的同步推断
作者:
Matko Botincan
;
Mike Dodds
;
Suresh Jagannathan
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
separation logic;
abduction;
frame inference;
deterministic parallelism;
19.
Edit Lenses
机译:
编辑镜头
作者:
Martin Hofmann
;
Benjamin Pierce
;
Daniel Wagner
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
algebra;
bidirectional programming;
edit;
lens;
symmetric;
20.
Static and User-Extensible Proof Checking
机译:
静态和用户可扩展的证明检查
作者:
Antonis Stampoulis
;
Zhong Shao
会议名称:
《》
|
2012年
关键词:
languages;
verification;
21.
Access Permission Contracts for Scripting Languages
机译:
脚本语言的访问权限合同
作者:
Phillip Heidegger
;
Annette Bieniusa
;
Peter Thiemann
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
scripting languages;
contracts;
javascript;
22.
Analysis of Recursively Parallel Programs
机译:
递归并行程序分析
作者:
Ahmed Bouajjani
;
Michael Emmi
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
concurrency;
parallelism;
verification;
23.
Deciding Choreography Readability
机译:
确定编排可读性
作者:
Samik Basu
;
Tevfik Bultan
;
Meriem Ouederni
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
message-based interactions;
choreography;
realizability;
24.
Information Effects
机译:
信息效果
作者:
Roshan P. James
;
Amr Sabry
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
arrows;
linear logic;
quantum computing;
reversible logic;
25.
A Language for Automatically Enforcing Privacy Policies
机译:
一种自动执行隐私策略的语言
作者:
Jean Yang
;
Kuat Yessenov
;
Armando Solar-Lezama
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
language design;
run-time system;
privacy;
security;
26.
Presentation of the SIGPLAN Distinguished Achievement Award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS and Interview
机译:
向Charles Charles Antony Richard Hoare爵士,FRS,FREng,FBCS和访谈对象颁发SIGPLAN杰出成就奖
作者:
Andrew P. Black
;
Peter W. OHearn
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
verification;
reliability;
languages;
theory;
security;
27.
Sound Predictive Race Detection in Polynomial Time
机译:
多项式时间内的声音预测竞速检测
作者:
Yannis Smaragdakis
;
Jacob M. Evans
;
Caitlin Sadowski
;
Jaeheon Yi
;
Cormac Flanagan
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
28.
Higher-Order Functional Reactive Programming in Bounded Space
机译:
有界空间中的高阶函数反应性编程
作者:
Neelakantan R. Krishnaswami
;
Nick Benton
;
Jan Hoffmann
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
functional reactive programming;
dataflow;
space-bounded computation;
linear logic;
bunched implications;
29.
A Type System for Borrowing Permissions
机译:
借阅权限的类型系统
作者:
Karl Naden
;
Robert Bocchino
;
Jonathan Aldrich
;
Kevin Bierhoff
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
types;
permissions;
borrowing;
uniqueness;
immutability;
30.
Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
机译:
澄清和编译C / C ++并发性:从C ++ 11到POWER
作者:
Mark Batty
;
Kayvan Memarian
;
Scott Owens
;
Susmit Sarkar
;
Peter Sewell
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
relaxed memory models;
semantics;
31.
Towards Nominal Computation
机译:
迈向名义计算
作者:
Mikolaj Bojanczyk
;
Laurent Braud
;
Bartek Klin
;
Slawomir Lasota
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
λ-calculus;
nominal sets;
automata on data words;
32.
On the Power of Coercion Abstraction
机译:
论强制抽象的力量
作者:
Julien Cretin
;
Didier Remy
会议名称:
《39th 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;
33.
Recursive Proofs for Inductive Tree Data-Structures
机译:
归纳树数据结构的递归证明
作者:
P. Madhusudan
;
Xiaokang Qiu
;
Andrei Stefanescu
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
heap analysis;
recursive program;
tree;
SMT solver;
34.
Towards a Program Logic for JavaScript
机译:
迈向JavaScript的程序逻辑
作者:
Philippa Gardner
;
Sergio Maffeis
;
Gareth Smith
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
javascript;
separation logic;
web;
35.
Defining Code-injection Attacks
机译:
定义代码注入攻击
作者:
Donald Ray
;
Jay Ligatti
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
security;
languages;
algorithms;
36.
Formalizing the LLVM Intermediate Representation for Verified Program Transformations
机译:
为验证程序转换正式化LLVM中间表示形式
作者:
Jianzhou Zhao
;
Santosh Nagarakatte
;
Milo M. K. Martin
;
Steve Zdancewic
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
LLVM;
coq;
memory safety;
37.
Symbolic Finite State Transducers: Algorithms and Applications
机译:
符号有限状态传感器:算法和应用
作者:
Margus Veanes
;
Pieter Hooimeijer
;
Benjamin Livshits
;
David Molnar
;
Nikolaj Bjorner
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
automata;
composition;
equivalence;
SMT;
38.
Syntactic Control of Interference for Separation Logic
机译:
分离逻辑干扰的句法控制
作者:
Uday S. Reddy
;
John C. Reynolds
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
separation logic;
syntactic control of interference;
conditional critical regions;
fractional permissions;
static analysis;
39.
Canonicity for 2-Dimensional Type Theory
机译:
二维类型理论的正则性
作者:
Daniel R. Licata
;
Robert Harper
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
40.
A Unified Approach to Fully Lazy Sharing
机译:
完全懒惰共享的统一方法
作者:
Thibaut Balabonski
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
sharing;
full laziness;
lambda-lifting;
rewriting;
lambda-calculus;
weak reduction;
optimality;
labelling.;
41.
The Ins and Outs of Gradual Type Inference
机译:
渐进类型推断的来龙去脉
作者:
Aseem Rastogi
;
Avik Chaudhuri
;
Basil Hosmer
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
gradual typing;
type inference;
actionscript;
42.
Multiple Facets for Dynamic Information Flow
机译:
动态信息流的多个方面
作者:
Thomas H. Austin
;
Cormac Flanagan
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
information flow control;
dynamic analysis. javascript;
web security;
43.
Underspecified Harnesses and Interleaved Bugs
机译:
未充分利用的线束和交错的错误
作者:
Saurabh Joshi
;
Shuvendu K. Lahiri
;
Akash Lal
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
concurrency verification;
differential analysis;
static analysis;
false alarms;
44.
Constraints as Control
机译:
约束作为控制
作者:
AH Sinan Koeksal
;
Viktor Kuncak
;
Philippe Suter
会议名称:
《39th 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;
45.
Programming with Binders and Indexed Data-Types
机译:
用绑定器和索引数据类型编程
作者:
Andrew Cave
;
Brigitte Pientka
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
logical frameworks;
higher-order abstract syntax;
dependent types;
recursive types;
46.
Self-Certification
机译:
自我认证
作者:
Pierre-Yves Strub
;
Nikhil Swamy
;
Cedric Fournet
;
Juan Chen
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
certification;
dependent types;
refinement types;
47.
A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
机译:
基于依赖担保的仿真,用于验证并发程序转换
作者:
Hongjin Liang
;
Xinyu Feng
;
Ming Fu
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
concurrency;
program transformation;
rely-guarantee reasoning;
simulation;
48.
Abstractions from Tests
机译:
测试的抽象
作者:
MayurNaik
;
Hongseok Yang
;
Ghila Castelnuovo
;
Mooly Sagiv
会议名称:
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》
|
2012年
关键词:
parametrised static analysis;
testing;
thread-escape analysis;
points-to analysis;
necessary-condition problem;
意见反馈
回到顶部
回到首页