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

International Conference on Mathematics of Program Construction最新文献

筛选
英文 中文
Swapping Arguments and Results of Recursive Functions 交换递归函数的参数和结果
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_22
Akimasa Morihata, K. Kakehi, Zhenjiang Hu, M. Takeichi
{"title":"Swapping Arguments and Results of Recursive Functions","authors":"Akimasa Morihata, K. Kakehi, Zhenjiang Hu, M. Takeichi","doi":"10.1007/11783596_22","DOIUrl":"https://doi.org/10.1007/11783596_22","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126574095","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}
引用次数: 7
A Datastructure for Iterated Powers 迭代异能的数据结构
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_18
R. Matthes
{"title":"A Datastructure for Iterated Powers","authors":"R. Matthes","doi":"10.1007/11783596_18","DOIUrl":"https://doi.org/10.1007/11783596_18","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134432548","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}
引用次数: 1
Improving Saddleback Search: A Lesson in Algorithm Design 改进鞍背搜索:算法设计的一个教训
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_8
R. Bird
{"title":"Improving Saddleback Search: A Lesson in Algorithm Design","authors":"R. Bird","doi":"10.1007/11783596_8","DOIUrl":"https://doi.org/10.1007/11783596_8","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134492747","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
Bimonadic Semantics for Basic Pattern Matching Calculi 基本模式匹配演算的双元语义
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_16
Wolfram Kahl, J. Carette, Xiaoheng Ji
{"title":"Bimonadic Semantics for Basic Pattern Matching Calculi","authors":"Wolfram Kahl, J. Carette, Xiaoheng Ji","doi":"10.1007/11783596_16","DOIUrl":"https://doi.org/10.1007/11783596_16","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115378630","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}
引用次数: 0
Aspects and Data Refinement 方面和数据细化
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_3
Pavel Avgustinov, E. Bodden, Elnar Hajiyev, O. Moor, Neil Ongkingco, D. Sereni, Ganesh Sittampalam, J. Tibble
{"title":"Aspects and Data Refinement","authors":"Pavel Avgustinov, E. Bodden, Elnar Hajiyev, O. Moor, Neil Ongkingco, D. Sereni, Ganesh Sittampalam, J. Tibble","doi":"10.1007/11783596_3","DOIUrl":"https://doi.org/10.1007/11783596_3","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"44 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120917289","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}
引用次数: 1
The Shadow Knows: Refinement of Ignorance in Sequential Programs 影子知道:顺序程序中无知的细化
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_21
Carroll Morgan
{"title":"The Shadow Knows: Refinement of Ignorance in Sequential Programs","authors":"Carroll Morgan","doi":"10.1007/11783596_21","DOIUrl":"https://doi.org/10.1007/11783596_21","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134334598","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}
引用次数: 55
Fission for Program Comprehension 程序理解的裂变
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_12
J. Gibbons
{"title":"Fission for Program Comprehension","authors":"J. Gibbons","doi":"10.1007/11783596_12","DOIUrl":"https://doi.org/10.1007/11783596_12","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122603487","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}
引用次数: 15
Exercises in Quantifier Manipulation 量词操作练习
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_7
R. Backhouse, Diethard Michaelis
{"title":"Exercises in Quantifier Manipulation","authors":"R. Backhouse, Diethard Michaelis","doi":"10.1007/11783596_7","DOIUrl":"https://doi.org/10.1007/11783596_7","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129616617","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}
引用次数: 24
Recursion Schemes for Dynamic Programming 动态规划的递归方案
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_15
Jevgeni Kabanov, V. Vene
{"title":"Recursion Schemes for Dynamic Programming","authors":"Jevgeni Kabanov, V. Vene","doi":"10.1007/11783596_15","DOIUrl":"https://doi.org/10.1007/11783596_15","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121053689","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}
引用次数: 16
What Is a Good Process Semantics? 什么是好的过程语义?
International Conference on Mathematics of Program Construction Pub Date : 2006-07-03 DOI: 10.1007/11783596_1
J. Cockett
{"title":"What Is a Good Process Semantics?","authors":"J. Cockett","doi":"10.1007/11783596_1","DOIUrl":"https://doi.org/10.1007/11783596_1","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125564323","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}
引用次数: 1
首页 上一页
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学术官方微信