掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
European symposium on programming;European joint conferences on theory and practice of software
European symposium on programming;European joint conferences on theory and practice of software
召开年:
2018
召开地:
Thessaloniki(GR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Consistent Subtyping for All
机译:
所有人的一致子类型
作者:
Ningning Xie
;
Xuan Bi
;
Bruno C. d. S. Oliveira
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
2.
HOBiT: Programming Lenses Without Using Lens Combinators
机译:
HOBbiT:不使用镜头组合器即可编程镜头
作者:
Kazutaka Matsuda
;
Meng Wang
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
3.
Dualizing Generalized Algebraic Data Types by Matrix Transposition
机译:
通过矩阵换位对广义代数数据类型进行对偶
作者:
Klaus Ostermann
;
Julian Jabs
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
4.
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
机译:
确定性并发:时钟同步共享内存方法
作者:
Joaquin Aguado
;
Michael Mendler
;
Marc Pouzet
;
Partha Roop
;
Reinhard von Hanxleden
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
关键词:
Synchronous programming;
Data abstraction Clock-synchronised shared memory;
Determinacy;
Concurrency Constructive semantics;
5.
An Assertion-Based Program Logic for Probabilistic Programs
机译:
概率程序的基于断言的程序逻辑
作者:
Gilles Barthe
;
Thomas Espitau
;
Marco Gaboardi
;
Benjamin Gregoire
;
Justin Hsu
;
Pierre-Yves Strub
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
6.
Fine-Grained Semantics for Probabilistic Programs
机译:
概率程序的精细语义
作者:
Benjamin Bichse
;
Timon Gehr
;
Martin Vechev
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
7.
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
机译:
我将对您的贝叶斯网络进行采样多长时间?对预期采样时间的程序分析观点
作者:
Kevin Batz
;
Benjamin Lucien Kaminski
;
Joost-Pieter Katoen
;
Christoph Matheja
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
关键词:
Probabilistic programs;
Expected runtimes Weakest preconditions;
Program verification;
8.
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
机译:
概率守恒λ演算中马尔可夫链的关系推理
作者:
Alejandro Aguirre
;
Gilles Barthe
;
Lars Birkedal
;
Ales Bizjak
;
Marco Gaboardi
;
Deepak Garg
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
9.
Failure is Not an Option An Exceptional Type Theory
机译:
失败不是一种选择例外类型理论
作者:
Pierre-Marie Pedrot
;
Nicolas Tabareau
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
10.
Let Arguments Go First
机译:
让参数先行
作者:
Ningning Xie
;
Bruno C. d. S. Oliveira
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
11.
Behavioural Equivalence via Modalities for Algebraic Effects
机译:
通过模态的代数效应的行为对等
作者:
Alex Simpson
;
Niels Voorneveld
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
12.
Explicit Effect Subtyping
机译:
显式子类型化
作者:
Amr Hany Saleh
;
Georgios Karachalias
;
Matija Pretnar
;
Tom Schrijvers
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
13.
A Separation Logic for a Promising Semantics
机译:
有希望的语义的分离逻辑
作者:
Kasper Svendsen
;
Jean Pichon-Pharabod
;
Marko Doko
;
Ori Lahav
;
Viktor Vafeiadis
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
14.
Logical Reasoning for Disjoint Permissions
机译:
不相交权限的逻辑推理
作者:
Xuan-Bach Le
;
Aquinas Hobor
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
15.
Deadlock-Free Monitors
机译:
无死锁的监视器
作者:
Jafar Hamin
;
Bart Jacobs
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
16.
Fragment Abstraction for Concurrent Shape Analysis
机译:
并发形状分析的片段抽象
作者:
Parosh Aziz Abdulla
;
Bengt Jonsson
;
Cong Quy Trinh
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
17.
Reasoning About a Machine with Local Capabilities Provably Safe Stack and Return Pointer Management
机译:
对具有本地功能的机器的推理可确保安全的堆栈和返回指针管理
作者:
Lau Skorstengaard
;
Dominique Devriese
;
Lars Birkedal
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
18.
Modular Product Programs
机译:
模块化产品程序
作者:
Marco Eilers
;
Peter Mueller
;
Samuel Hitz
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
19.
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
机译:
几美元:通过演绎程序验证形式化渐进复杂性要求
作者:
Armaeel Gueneau
;
Arthur Chargueraud
;
Francois Pottier
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
20.
Verified Learning Without Regret From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees
机译:
从算法博弈论到具有机械化复杂性保证的分布式系统,无需后悔的经过验证的学习
作者:
Samuel Merten
;
Alexander Bagnall
;
Gordon Stewart
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
关键词:
Multiplicative weights;
Algorithmic game theory Smooth games;
Interactive theorem proving;
Coq;
21.
Program Verification by Coinduction
机译:
通过联营进行程序验证
作者:
Brandon Moore
;
Lucas Pena
;
Grigore Rosu
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
22.
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
机译:
Velisarios:由Coq支持的拜占庭容错协议
作者:
Vincent Rahli
;
Ivana Vukotic
;
Marcus Voelp
;
Paulo Esteves-Verissimo
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
关键词:
Byzantine faults;
State machine replication Formal verification;
Coq;
23.
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
机译:
在Java数值静态分析中评估设计权衡
作者:
Shiyi Wei
;
Piotr Mardziel
;
Andrew Ruef
;
Jeffrey S. Foster
;
Michael Hicks
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
24.
An Abstract Interpretation Framework for Input Data Usage
机译:
输入数据使用情况的抽象解释框架
作者:
Caterina Urban
;
Peter Mueller
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
25.
Higher-Order Program Verification via HFL Model Checking
机译:
通过HFL模型检查进行高阶程序验证
作者:
Naoki Kobayashi
;
Takeshi Tsukada
;
Keiichi Watanabe
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
26.
Quantitative Analysis of Smart Contracts
机译:
智能合约的定量分析
作者:
Krishnendu Chatterjee
;
Amir Kafshdar Goharshady
;
Yaron Velner
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
27.
Session-Typed Concurrent Contracts
机译:
会话型并发合同
作者:
Hannah Gommerstadt
;
Limin Jia
;
Frank Pfenning
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
关键词:
Contracts;
Session types;
Monitors;
28.
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
机译:
分布式系统中静态验证的崩溃失败处理的键入规则
作者:
Malte Viering
;
Tzu-Chun Chen
;
Patrick Eugster
;
Raymond Hu
;
Lukasz Ziarek
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
29.
On Polymorphic Sessions and Functions A Tale of Two (Fully Abstract) Encodings
机译:
关于多态会话和函数的故事(两个抽象的编码)
作者:
Bernardo Toninho
;
Nobuko Yoshida
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
30.
Concurrent Kleene Algebra: Free Model and Completeness
机译:
并发Kleene代数:免费模型和完整性
作者:
Tobias Kappe
;
Paul Brunet
;
Alexandra Silva
;
Fabio Zanasi
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
31.
Correctness of a Concurrent Object Collector for Actor Languages
机译:
演员语言的并发对象收集器的正确性
作者:
Juliana Franco
;
Sylvan Clebsch
;
Sophia Drossopoulou
;
Jan Vitek
;
Tobias Wrigstad
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
32.
Paxos Consensus, Deconstructed and Abstracted
机译:
Paxos共识,解构和抽象
作者:
Alvaro Garcia-Perez
;
Alexey Gotsman
;
Yuri Meshman
;
Ilya Sergey
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
33.
On Parallel Snapshot Isolation and Release/Acquire Consistency
机译:
关于并行快照隔离和释放/获取一致性
作者:
Azalea Raad
;
Ori Lahav
;
Viktor Vafeiadis
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
34.
Eventual Consistency for CRDTs
机译:
CRDT的最终一致性
作者:
Radha Jagadeesan
;
James Riely
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
35.
A Verified Compiler from Isabelle/HOL to CakeML
机译:
从Isabelle / HOL到CakeML的经过验证的编译器
作者:
Lars Hupel
;
Tobias Nipkow
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
关键词:
Isabelle;
CakeML;
Compiler Higher-order term rewriting;
36.
Compositional Verification of Compiler Optimisations on Relaxed Memory
机译:
轻松内存上的编译器优化的成分验证
作者:
Mike Dodds
;
Mark Batty
;
Alexey Gotsman
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
37.
ETAPS Foreword
机译:
阶段序言
作者:
Joost-Pieter Katoen
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
38.
Preface
机译:
前言
作者:
Amal Ahmed
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
39.
RustBelt: Logical Foundations for the Future of Safe Systems Programming
机译:
RustBelt:未来安全系统编程的逻辑基础
作者:
Derek Dreyer
会议名称:
《European symposium on programming;European joint conferences on theory and practice of software》
|
2018年
意见反馈
回到顶部
回到首页