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}
{"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}
{"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}
{"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}
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}
{"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}
{"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}
{"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}
{"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}
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：