发布求助
文献互助 智能选刊 最新文献

International Conference on Mathematics of Program Construction最新文献

筛选
英文 中文
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications 从多尺度系统规格推导实时动作系统控制器
International Conference on Mathematics of Program Construction Pub Date : 2012-06-25 DOI: 10.1007/978-3-642-31113-0_7
Brijesh Dongol, I. Hayes
{"title":"Deriving Real-Time Action Systems Controllers from Multiscale System Specifications","authors":"Brijesh Dongol, I. Hayes","doi":"10.1007/978-3-642-31113-0_7","DOIUrl":"https://doi.org/10.1007/978-3-642-31113-0_7","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132408887","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick Kan扩展程序优化或:艺术和丹解释一个老把戏
International Conference on Mathematics of Program Construction Pub Date : 2012-06-25 DOI: 10.1007/978-3-642-31113-0_16
R. Hinze
{"title":"Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick","authors":"R. Hinze","doi":"10.1007/978-3-642-31113-0_16","DOIUrl":"https://doi.org/10.1007/978-3-642-31113-0_16","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"571 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133847302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 35
Constructing Applicative Functors 构造应用函子
International Conference on Mathematics of Program Construction Pub Date : 2012-06-25 DOI: 10.1007/978-3-642-31113-0_15
R. Paterson
{"title":"Constructing Applicative Functors","authors":"R. Paterson","doi":"10.1007/978-3-642-31113-0_15","DOIUrl":"https://doi.org/10.1007/978-3-642-31113-0_15","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"37 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122611316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
The Geometry of Synthesis - How to Make Hardware Out of Software 几何合成-如何用软件制造硬件
International Conference on Mathematics of Program Construction Pub Date : 2012-06-25 DOI: 10.1007/978-3-642-31113-0_3
D. Ghica
{"title":"The Geometry of Synthesis - How to Make Hardware Out of Software","authors":"D. Ghica","doi":"10.1007/978-3-642-31113-0_3","DOIUrl":"https://doi.org/10.1007/978-3-642-31113-0_3","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125057233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Calculating Graph Algorithms for Dominance and Shortest Path 计算优势和最短路径的图算法
International Conference on Mathematics of Program Construction Pub Date : 2012-06-25 DOI: 10.1007/978-3-642-31113-0_8
Ilya Sergey, Jan Midtgaard, D. Clarke
{"title":"Calculating Graph Algorithms for Dominance and Shortest Path","authors":"Ilya Sergey, Jan Midtgaard, D. Clarke","doi":"10.1007/978-3-642-31113-0_8","DOIUrl":"https://doi.org/10.1007/978-3-642-31113-0_8","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131189890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Unifying Theories of Programming That Distinguish Nontermination and Abort 区分非终止和中止的程序设计统一理论
International Conference on Mathematics of Program Construction Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13321-3_12
I. Hayes, S. Dunne, L. Meinicke
{"title":"Unifying Theories of Programming That Distinguish Nontermination and Abort","authors":"I. Hayes, S. Dunne, L. Meinicke","doi":"10.1007/978-3-642-13321-3_12","DOIUrl":"https://doi.org/10.1007/978-3-642-13321-3_12","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129013219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Formal Derivation of Concurrent Garbage Collectors 并发垃圾收集器的形式化派生
International Conference on Mathematics of Program Construction Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13321-3_20
Dusko Pavlovic, P. Pepper, Douglas R. Smith
{"title":"Formal Derivation of Concurrent Garbage Collectors","authors":"Dusko Pavlovic, P. Pepper, Douglas R. Smith","doi":"10.1007/978-3-642-13321-3_20","DOIUrl":"https://doi.org/10.1007/978-3-642-13321-3_20","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123328460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Gradual Refinement 逐步细化
International Conference on Mathematics of Program Construction Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13321-3_22
Meng Wang, J. Gibbons, Kazutaka Matsuda, Zhenjiang Hu
{"title":"Gradual Refinement","authors":"Meng Wang, J. Gibbons, Kazutaka Matsuda, Zhenjiang Hu","doi":"10.1007/978-3-642-13321-3_22","DOIUrl":"https://doi.org/10.1007/978-3-642-13321-3_22","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123453308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Compositional Action System Derivation Using Enforced Properties 使用强制属性的组合动作系统派生
International Conference on Mathematics of Program Construction Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13321-3_9
Brijesh Dongol, I. Hayes
{"title":"Compositional Action System Derivation Using Enforced Properties","authors":"Brijesh Dongol, I. Hayes","doi":"10.1007/978-3-642-13321-3_9","DOIUrl":"https://doi.org/10.1007/978-3-642-13321-3_9","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132847942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Temporal Logic Verification of Lock-Freedom 锁自由度的时间逻辑验证
International Conference on Mathematics of Program Construction Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13321-3_21
B. Tofan, S. Bäumler, G. Schellhorn, W. Reif
{"title":"Temporal Logic Verification of Lock-Freedom","authors":"B. Tofan, S. Bäumler, G. Schellhorn, W. Reif","doi":"10.1007/978-3-642-13321-3_21","DOIUrl":"https://doi.org/10.1007/978-3-642-13321-3_21","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133946295","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信