掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Mathematics of Program Construction
International Conference on Mathematics of Program Construction
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Theorems about composition
机译:
关于组合的定理
作者:
Michel Charpentier
;
K. Mani Chandy
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
2.
Separation and reduction
机译:
分离和减少
作者:
Ernie Cohen
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
3.
Polytypic values possess polykinded types
机译:
多液值具有多型类型
作者:
Ralf Hinze
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
4.
Quantum programming
机译:
量子编程
作者:
J. W. Sanders
;
P. Zuliani
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
5.
Reasoning about non-terminating loops using deadline commands
机译:
使用截止日期命令对非终止循环的推理
作者:
Ian Hayes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
6.
Metacomputation-based compiler architecture
机译:
基于MetAcomputation的编译器架构
作者:
William L. Harrison
;
Samuel N. Kamin
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
关键词:
Compilers;
Partial evaluation;
Semantics-based compilation;
Programming language semantics;
Monads;
Monad transformers;
Pass separation;
7.
On guarded commands with fair choice
机译:
关于具有公平选择的守卫命令
作者:
Emil Sekerinski
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
8.
A metalanguage for programming with bound names modulo renaming
机译:
用界定名称进行编程的Metalanguage Modulo Renaming
作者:
Andrew M. Pitts
;
Murdoch J. Gabbay
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
9.
The zip calculus
机译:
拉链微积分
作者:
Mark Tullsen
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
10.
Formal methods and dependability
机译:
正式方法和可靠性
作者:
Cliff B. Jones
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
11.
Liberating data refinement
机译:
解放数据细化
作者:
Eerke Boiten
;
John Derrick
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
关键词:
Refinement;
Formal methods;
12.
The universal resolving algorithm: inverse computation in a functional language
机译:
通用解析算法:以功能语言的逆计算
作者:
Sergei Abramov
;
Robert Gluck
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
13.
Proving pointer programs in Hoare logic
机译:
在Hoare逻辑中证明指针程序
作者:
Richard Bornat
会议名称:
《International Conference on Mathematics of Program Construction》
|
2000年
14.
The Shadow Knows: Refinement of Ignorance in Sequential Programs
机译:
影子知道:在连续计划中改进无知
作者:
Carroll Morgan
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
15.
Fission for Program Comprehension
机译:
计划理解裂变
作者:
Jeremy Gibbons
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
16.
“Scrap Your Boilerplate” Revolutions
机译:
“废弃你的水库”革命
作者:
Ralf Hinze
;
Andres Loh
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
17.
Proofs of Randomized Algorithms in Coq
机译:
COQ中随机算法证明
作者:
Philippe Audebaud
;
Christine Paulin-Mohring
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
18.
Generic Views on Data Types
机译:
关于数据类型的通用视图
作者:
Stefan Holdermans
;
Johan Jeuring
;
Andres Loh
;
Alexey Rodriguez
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
19.
Bimonadic Semantics for Basic Pattern Matching Calculi
机译:
基本模式匹配计算的共生法动学语义
作者:
Wolfram Kahl
;
Jacques Carette
;
Xiaoheng Ji
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
20.
Refinement Algebra with Operators for Enabledness and Termination
机译:
与运营商的改进代数,以支持和终止
作者:
Kim Solin
;
Joakim von Wright
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
21.
A Datastructure for Iterated Powers
机译:
迭代权力的数据结构
作者:
Ralph Matthes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
22.
Recursion Schemes for Dynamic Programming
机译:
动态编程递归方案
作者:
Jevgeni Kabanov
;
Varmo Vene
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
23.
Towards Generic Programming with Sized Types
机译:
迈向具有大小类型的通用编程
作者:
Andreas Abel
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
24.
Relational Semantics for Higher-Order Programs
机译:
高阶节目的关系语义
作者:
Kamal Aboul-Hosn
;
Dexter Kozen
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
25.
Improving Saddleback Search: A Lesson in Algorithm Design
机译:
改善鞍卫搜索:算法设计中的课程
作者:
Richard S. Bird
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
26.
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination
机译:
构建基于重写的嵌入和终止的决策程序
作者:
Georg Struth
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
27.
Nondeterministic Folds
机译:
非法的折叠
作者:
Clare E. Martin
;
Sharon A. Curtis
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
28.
Loopless Functional Algorithms
机译:
无循环功能算法
作者:
Richard S. Bird
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
29.
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
机译:
衍生并发计划的进展:强调稳定卫士的作用
作者:
Brijesh Dongol
;
Arjan J. Mooij
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
30.
Compositional Reasoning for Pointer Structures
机译:
指针结构的组成推理
作者:
Yifeng Chen
;
J. W. Sanders
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
31.
Exercises in Quantifier Manipulation
机译:
量化操纵中的练习
作者:
Roland Backhouse
;
Diethard Michaelis
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
32.
Swapping Arguments and Results of Recursive Functions
机译:
交换递归函数的参数和结果
作者:
Akimasa Morihata
;
Kazuhiko Kakehi
;
Zhenjiang Hu
;
Masato Takeichi
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
33.
'Scrap Your Boilerplate' Revolutions
机译:
'废料你的水库'rewolules
作者:
Ralf Hinze
;
Andres Loeh
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
34.
Refunctionalization at Work
机译:
工作中的重新化
作者:
Olivier Danvy
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
35.
Aspects and Data Refinement
机译:
方面和数据细化
作者:
Pavel Avgustinov
;
Eric Bodden
;
Elnar Hajiyev
;
Oege de Moor
;
Neil Ongkingco
;
Damien Sereni
;
Ganesh Sittampalam
;
Julian Tibble
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
36.
Continuous Action System Refinement
机译:
连续动作系统细化
作者:
Larissa Meinicke
;
Ian J. Hayes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
37.
What Is a Good Process Semantics?
机译:
什么是一个好的过程语义?
作者:
Robin Cockett
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
38.
Quantum Predicative Programming
机译:
量子预测程序编程
作者:
Anya Tafliovich
;
Eric C. R. Hehner
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
39.
The Linear Algebra of UTP
机译:
UTP的线性代数
作者:
Bernhard Moller
会议名称:
《International Conference on Mathematics of Program Construction》
|
2006年
40.
Coding with Asymmetric Numeral Systems
机译:
使用非对称数字系统进行编码
作者:
Jeremy Gibbons
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
41.
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
机译:
使用实体推理的程序验证的半代效效应层次
作者:
Reynald Affeldt
;
David Nowak
;
Takafumi Saikawa
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
42.
How to Calculate with Nondeterministic Functions
机译:
如何用非季度函数计算
作者:
Richard Bird
;
Florian Rabe
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
43.
System F in Agda, for Fun and Profit
机译:
系统f在agda,以获得乐趣和利润
作者:
James Chapman
;
Roman Kireev
;
Chad Nester
;
Philip Wadler
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
44.
Setoid Type Theory - A Syntactic Translation
机译:
套件类型理论 - 一个句法翻译
作者:
Thorsten Altenkirch
;
Simon Boulier
;
Ambrus Kaposi
;
Nicolas Tabareau
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Type theory;
Function extensionality;
Proof irrelevance;
Univalence;
45.
Unraveling Recursion: Compiling an IR with Recursion to System F
机译:
解开递归:将递归的IR编译为系统f
作者:
Michael Peyton Jones
;
Vasilis Gkoumas
;
Roman Kireev
;
Kenneth MacKenzie
;
Chad Nester
;
Philip Wadler
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
46.
Self-certifying Railroad Diagrams: Or: How to Teach Nondeterministic Finite Automata
机译:
自我认证的铁路图:或:如何教导非法的有限自动机
作者:
Ralf Hinze
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
47.
An Analysis of Repeated Graph Search
机译:
重复图搜索的分析
作者:
Roland Backhouse
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Directed graph;
Depth-first search;
Relation algebra;
Regular algebra;
Strongly connected component;
48.
Handling Local State with Global State
机译:
用全球州处理地方国
作者:
Koen Pauwels
;
Tom Schrijvers
;
Shin-Cheng Mu
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Monads;
Effect handlers;
Equational reasoning;
Nondeterminism;
State;
Contextual equivalence;
49.
Cylindric Kleene Lattices for Program Construction
机译:
用于节目施工的圆柱形kleene格子
作者:
Brijesh Dongol
;
Ian Hayes
;
Larissa Meinicke
;
Georg Struth
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
50.
Shallow Embedding of Type Theory is Morally Correct
机译:
类型理论的浅埋在道德上是正确的
作者:
Ambrus Kaposi
;
Andras Kovacs
;
Nicolai Kraus
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Type theory;
Shallow embedding;
Set model;
Standard model;
Canonicity;
Parametricity;
Agda;
51.
Certification of Breadth-First Algorithms by Extraction
机译:
提取宽度第一算法的认证
作者:
Dominique Larchey-Wendling
;
Ralph Matthes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Breadth-first algorithms;
Queues in functional programming;
Correctness by extraction;
Coq;
52.
Experiments in Information Flow Analysis
机译:
信息流分析中的实验
作者:
Annabelle McIver
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Quantitative information flow;
Probabilistic program semantics;
Security;
Confidentiality;
53.
Verified Self-Explaining Computation
机译:
已验证自解释计算
作者:
Jan Stolarek
;
James Cheney
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
54.
Completeness and Incompleteness of Synchronous Kleene Algebra
机译:
同步Kleene代数的完整性和不完整性
作者:
Jan a Wagemaker
;
Marcello Bonsangue
;
Tobias Kappe
;
Jurriaan Rot
;
Alexandra Silva
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
55.
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
机译:
恩加尔!在延迟Monad中的可逆计算无人防止迭代
作者:
Robin Kaarsgaard
;
Niccolo Veltri
会议名称:
《International Conference on Mathematics of Program Construction》
|
2019年
关键词:
Reversible computation;
Iteration;
Delay monad;
56.
Recounting the Rationals: Twice!
机译:
叙述理性:两次!
作者:
Roland Backhouse
;
Joao F. Ferreira
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
关键词:
Calkin-Wilf tree;
Stern-Brocot tree;
Algorithm derivation;
Enumeration algorithm;
Rational numbers;
57.
The Capacity-C Torch Problem
机译:
容量-C攻击问题
作者:
Roland Backhouse
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
关键词:
Algorithm derivation;
Shortest path;
Dynamic programming;
Algorithmic problem solving;
58.
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
机译:
一些无限状态过渡系统的最佳控制策略的合成
作者:
Michel Sintzoff
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
59.
A Hoare Logic for Call-by-Value Functional Programs
机译:
逐个函数函数计划的Hoare逻辑
作者:
Yann Regis-Gianas
;
Francois Pottier
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
60.
Zippy Tabulations of Recursive Functions
机译:
递归函数的Zippy Tabulations
作者:
Richard S. Bird
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
61.
Asynchronous Exceptions as an Effect
机译:
异步异常作为效果
作者:
William L. Harrison
;
Gerard Allwein
;
Andy Gill
;
Adam Procter
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
62.
Asymptotic Improvement of Computations over Free Monads
机译:
免费的Monads计算计算的渐近改善
作者:
Janis Voigtlander
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
63.
Modal Semirings Revisited
机译:
重新审视模态半兴趣
作者:
Jules Desharnais
;
Georg Struth
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
64.
Algebra of Programming Using Dependent Types
机译:
使用依赖类型的编程代数
作者:
Shin-Cheng Mu
;
Hsiang-Shang Ko
;
Patrik Jansson
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
65.
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
机译:
具有广义蒙文迭代的嵌套数据类型:地图融合和具有明确平整的无型Lambda微积分表示的示例
作者:
Ralph Matthes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
66.
Symmetric and Synchronous Communication in Peer-to-Peer Networks
机译:
点对点网络中的对称和同步通信
作者:
Andreas Witzel
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
67.
Circulations, Fuzzy Relations and Semirings
机译:
循环,模糊关系和半兴
作者:
Roland Gluck
;
Bernhard Moller
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
68.
Safe Modification of Pointer Programs in Refinement Calculus
机译:
安全修改细化微积分中的指针程序
作者:
Susumu Nishimura
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
69.
The Expression Lemma
机译:
表达雷姆玛
作者:
Ralf Lammel
;
Ondrej Rypacek
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
关键词:
Expression lemma;
Expression problem;
Functional object;
Catamorphism;
Fold;
The composite design pattern;
Program calculation;
Distributive law;
Free monad;
Cofree comonad;
70.
The Bohm-Jacopini Theorem Is False, Propositionally
机译:
Bohm-jacopini定理是假的,主意
作者:
Dexter Kozen
;
Wei-Lung Dustin Tseng
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
71.
Probabilistic Choice in Refinement Algebra
机译:
细化代数中的概率选择
作者:
Larissa Meinicke
;
Ian J. Hayes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
72.
Scrap Your Type Applications
机译:
废除您的类型应用程序
作者:
Barry Jay
;
Simon Peyton Jones
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
73.
Nested Datatypes with Generalized MendlerIteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
机译:
具有广义式Mendleriteration的嵌套数据类型:地图融合和具有明确平坦化的无型Lambda微积分表示的示例
作者:
Ralph Matthes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
74.
Unfolding Abstract Datatypes
机译:
展开抽象数据类型
作者:
Jeremy Gibbons
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
75.
Verifying a Semantic βη-Conversion Test for Martin-Lof Type Theory
机译:
验证Martin-Lof类型理论的语义β-转换测试
作者:
Andreas Abel
;
Thierry Coquand
;
Peter Dybjer
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
76.
Algebra of Programming Using DependentTypes
机译:
使用依赖术的编程代数
作者:
Shin-Cheng Mu
;
Hsiang-Shang Ko
;
Patrik Jansson
会议名称:
《International Conference on Mathematics of Program Construction》
|
2008年
77.
Process Algebras for Collective Dynamics
机译:
用于集体动力学的过程代数
作者:
Jane Hillston
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
78.
Unifying Theories of Programming That Distinguish Nontermination and Abort
机译:
统一编程理论,以区分非全动脉和中止
作者:
Ian J. Hayes
;
Steve E. Dunne
;
Larissa Meinicke
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
79.
Abstraction of Object Graphs in Program Verification
机译:
程序验证中对象图的抽象
作者:
Yifeng Chen
;
J. W. Sanders
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
80.
Gradual Refinement Blending Pattern Matching with Data Abstraction
机译:
逐渐改进混合模式与数据抽象匹配
作者:
Meng Wang
;
Jeremy Gibbons
;
Kazutaka Matsuda
;
Zhenjiang Hu
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
81.
Designing an Algorithmic Proof of the Two-Squares Theorem
机译:
设计双方定理的算法证明
作者:
Joao F. Ferreira
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Algorithm derivation;
Sum of two squares;
Euclid's algorithm;
Invariant;
Program inversion;
82.
A Tracking Semantics for CSP
机译:
CSP的跟踪语义
作者:
Marisa Llorens
;
Javier Oliver
;
Josep Silva
;
Salvador Tamarit
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Concurrent Programming;
CSP;
Semantics;
Tracking;
83.
Formal Derivation of Concurrent Garbage Collectors
机译:
并发垃圾收集器的正式推导
作者:
Dusko Pavlovic
;
Peter Pepper
;
Douglas R. Smith
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
84.
Sampling, Splitting and Merging in Coinductive Stream Calculus
机译:
配合流微积分中的采样,分裂和合并
作者:
Milad Niqui
;
Jan Rutten
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Stream calculus;
Dataflow programming;
Coinduction;
Rational stream;
Algebraic stream;
Stream circuit;
85.
An Abstract Machine for the Old Value Retrieval
机译:
旧价值检索的抽象机器
作者:
Piotr Kosiuczenko
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Persistent data structures;
Old value retrieval;
@pre;
Old;
86.
The Algorithmics of Solitaire-Like Games
机译:
孤独的游戏的算法
作者:
Roland Backhouse
;
Wei Chen
;
Joao F. Ferreira
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Solitaire;
Invariants;
Tiling problems;
Polynomials;
Games on cyclotomic polynomials;
Seven-trees-in-one;
Nuclear pennies;
Algorithm derivation;
87.
The Logic of Large Enough
机译:
足够大的逻辑
作者:
Eerke Boiten
;
Dan Grundy
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Calculational methods;
Asymptotics;
Generalised quantifiers;
88.
Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
机译:
矩阵作为箭头!键入线性代数的双倍展开方法
作者:
Hugo Daniel Macedo
;
Jose Nuno Oliveira
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
89.
Adjoint Folds and Unfolds Or: Scything through the Thicket of Morphisms
机译:
伴随折叠和展开或:穿过晶体的丛生
作者:
Ralf Hinze
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Initial algebra;
Fold;
Final coalgebra;
Unfold;
Adjunction;
90.
Lucy-n: a n-Synchronous Extension of Lustre
机译:
lucy-n:光泽的n同步延伸
作者:
Louis Mandel
;
Florence Plateau
;
Marc Pouzet
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Process networks;
Synchronous model;
Type systems;
91.
Compositional Action System Derivation Using Enforced Properties
机译:
使用强制性属性的组成动作系统推导
作者:
Brijesh Dongol
;
Ian J. Hayes
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
92.
Dependency Typed Grammars
机译:
依赖性打字语法
作者:
Kasper Brink
;
Stefan Holdermans
;
Andres Loh
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Context-free grammars;
Grammar transformation;
Dependently typed programming;
93.
Partial, Total and General Correctness
机译:
部分,总和一般的正确性
作者:
Walter Guttmann
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
94.
Subtyping, Declaratively An Exercise in Mixed Induction and Coinduction
机译:
亚型,声明地进行混合诱导和互燃
作者:
Nils Anders Danielsson
;
Thorsten Altenkirch
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
95.
Generic Point-free Lenses
机译:
通用点镜头
作者:
Hugo Pacheco
;
Alcino Cunha
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Point-free;
Bidirectional transformations;
Lenses;
Recursion patterns;
Inductive types;
96.
On Automated Program Construction and Verification
机译:
关于自动化计划建设和验证
作者:
Rudolf Berghammer
;
Georg Struth
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
97.
Temporal Logic Verification of Lock-Freedom
机译:
锁定自由的时间逻辑验证
作者:
Bogdan Tofan
;
Simon Baumler
;
Gerhard Schellhorn
;
Wolfgang Reif
会议名称:
《International Conference on Mathematics of Program Construction》
|
2010年
关键词:
Verification;
Temporal Logic;
Compositional Reasoning;
Rely-Guarantee;
Lock-Freedom;
Linearizability;
98.
The Geometry of Synthesis How to Make Hardware Out of Software
机译:
综合的几何形状如何使硬件脱离软件
作者:
Dan R. Ghica
会议名称:
《International Conference on Mathematics of Program Construction》
|
2012年
99.
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
机译:
计算机辅助安全性证明的概率关系HOARE逻辑
作者:
Gilles Barthe
;
Benjamin Gregoire
;
Santiago Zanella Beguelin
会议名称:
《International Conference on Mathematics of Program Construction》
|
2012年
100.
Scheduler-Independent Declassification
机译:
安排互定的解密
作者:
Alexander Lux
;
Heiko Mantel
;
Matthias Perner
会议名称:
《International Conference on Mathematics of Program Construction》
|
2012年
意见反馈
回到顶部
回到首页