Pub Date : 2012-06-25DOI: 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}
Pub Date : 2012-06-25DOI: 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}
Pub Date : 2012-06-25DOI: 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}
Pub Date : 2012-06-25DOI: 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}
Pub Date : 2012-06-25DOI: 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}
Pub Date : 2010-06-21DOI: 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}
Pub Date : 2010-06-21DOI: 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}
Pub Date : 2010-06-21DOI: 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}
Pub Date : 2010-06-21DOI: 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}
Pub Date : 2010-06-21DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：