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

International Conference on Algebraic Methodology and Software Technology最新文献

筛选
英文 中文
Integrating Maude into Hets 将Maude集成到Hets中
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_4
M. Codescu, T. Mossakowski, A. Riesco, Christian Maeder
{"title":"Integrating Maude into Hets","authors":"M. Codescu, T. Mossakowski, A. Riesco, Christian Maeder","doi":"10.1007/978-3-642-17796-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_4","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125170011","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
Proving Termination Properties with mu-term 用多项证明终止性质
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_12
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
{"title":"Proving Termination Properties with mu-term","authors":"Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset","doi":"10.1007/978-3-642-17796-5_12","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_12","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131946864","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}
引用次数: 41
An Assume Guarantee Approach for Checking Quantified Array Assertions 量化数组断言检验的假设保证方法
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_15
M. Seghir
{"title":"An Assume Guarantee Approach for Checking Quantified Array Assertions","authors":"M. Seghir","doi":"10.1007/978-3-642-17796-5_15","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_15","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133495064","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
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming 逻辑规划中并行派生策略的共代数语义
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_7
Ekaterina Komendantskaya, G. McCusker, J. Power
{"title":"Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming","authors":"Ekaterina Komendantskaya, G. McCusker, J. Power","doi":"10.1007/978-3-642-17796-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_7","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127474588","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}
引用次数: 23
Coinductive Properties of Causal Maps 因果映射的共归纳性质
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_20
Jiho Kim
{"title":"Coinductive Properties of Causal Maps","authors":"Jiho Kim","doi":"10.1007/978-3-540-79980-1_20","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_20","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131654964","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}
引用次数: 5
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries 用于高性能线性变换库的螺旋发生器系统演示
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_30
Y. Voronenko, F. Franchetti, Frédéric de Mesmay, Markus Püschel
{"title":"System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries","authors":"Y. Voronenko, F. Franchetti, Frédéric de Mesmay, Markus Püschel","doi":"10.1007/978-3-540-79980-1_30","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_30","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128815067","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}
引用次数: 4
Constant Complements, Reversibility and Universal View Updates 恒定补充，可逆性和通用视图更新
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_19
Michael Johnson, R. Rosebrugh
{"title":"Constant Complements, Reversibility and Universal View Updates","authors":"Michael Johnson, R. Rosebrugh","doi":"10.1007/978-3-540-79980-1_19","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_19","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129858306","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}
引用次数: 14
Generating Specialized Rules and Programs for Demand-Driven Analysis 为需求驱动分析生成专门的规则和程序
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_26
K. T. Tekle, Katia Hristova, Yanhong A. Liu
{"title":"Generating Specialized Rules and Programs for Demand-Driven Analysis","authors":"K. T. Tekle, Katia Hristova, Yanhong A. Liu","doi":"10.1007/978-3-540-79980-1_26","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_26","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125921497","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}
引用次数: 5
The Verification of the On-Chip COMA Cache Coherence Protocol 片上昏迷缓存一致性协议的验证
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_31
T. Vu, Li Zhang, C. Jesshope
{"title":"The Verification of the On-Chip COMA Cache Coherence Protocol","authors":"T. Vu, Li Zhang, C. Jesshope","doi":"10.1007/978-3-540-79980-1_31","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_31","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116689284","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}
引用次数: 10
Evolving Specification Engineering 不断发展的规范工程
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_23
Dusko Pavlovic, P. Pepper, Douglas R. Smith
{"title":"Evolving Specification Engineering","authors":"Dusko Pavlovic, P. Pepper, Douglas R. Smith","doi":"10.1007/978-3-540-79980-1_23","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_23","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121462356","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}
引用次数: 9
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书