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

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

筛选
英文 中文
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications DO-Casl:动态规范的基于观察者的Casl扩展
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_10
Matteo Dell'Amico, M. Cerioli
{"title":"DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications","authors":"Matteo Dell'Amico, M. Cerioli","doi":"10.1007/11784180_10","DOIUrl":"https://doi.org/10.1007/11784180_10","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127296038","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
Monad-Based Logics for Computational Effects 基于单子的计算效果逻辑
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_3
T. Mossakowski
{"title":"Monad-Based Logics for Computational Effects","authors":"T. Mossakowski","doi":"10.1007/11784180_3","DOIUrl":"https://doi.org/10.1007/11784180_3","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117026518","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
The Essence of Multitasking 多任务处理的本质
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_14
W. Harrison
{"title":"The Essence of Multitasking","authors":"W. Harrison","doi":"10.1007/11784180_14","DOIUrl":"https://doi.org/10.1007/11784180_14","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124666942","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}
引用次数: 32
State Space Reduction of Rewrite Theories Using Invisible Transitions 使用不可见转换的重写理论的状态空间约简
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_13
Azadeh Farzan, J. Meseguer
{"title":"State Space Reduction of Rewrite Theories Using Invisible Transitions","authors":"Azadeh Farzan, J. Meseguer","doi":"10.1007/11784180_13","DOIUrl":"https://doi.org/10.1007/11784180_13","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134132571","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
Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework 范畴论作为异构数据源搜索元引擎的基础:promemathemade框架
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_30
P. Varoutas, P. Rizand, A. Livartowski
{"title":"Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework","authors":"P. Varoutas, P. Rizand, A. Livartowski","doi":"10.1007/11784180_30","DOIUrl":"https://doi.org/10.1007/11784180_30","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"732 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122003696","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
The Substitution Vanishes 代换消失了
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_15
Armin Kühnemann, A. Maletti
{"title":"The Substitution Vanishes","authors":"Armin Kühnemann, A. Maletti","doi":"10.1007/11784180_15","DOIUrl":"https://doi.org/10.1007/11784180_15","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"41 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134033711","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}
引用次数: 2
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues 基于FIFO队列抽象解释的通信协议验证
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_17
Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
{"title":"Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues","authors":"Tristan Le Gall, Bertrand Jeannet, Thierry Jéron","doi":"10.1007/11784180_17","DOIUrl":"https://doi.org/10.1007/11784180_17","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133228639","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}
引用次数: 33
Some Programming Languages for Logspace and Ptime 一些用于日志空间和Ptime的编程语言
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_8
Guillaume Bonfante
{"title":"Some Programming Languages for Logspace and Ptime","authors":"Guillaume Bonfante","doi":"10.1007/11784180_8","DOIUrl":"https://doi.org/10.1007/11784180_8","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132796832","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}
引用次数: 19
Decomposing Interactions 分解的相互作用
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_16
J. Bowles
{"title":"Decomposing Interactions","authors":"J. Bowles","doi":"10.1007/11784180_16","DOIUrl":"https://doi.org/10.1007/11784180_16","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123989536","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
Opaque Predicates Detection by Abstract Interpretation 抽象解释的不透明谓词检测
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_9
M. Preda, Matias Madou, K. D. Bosschere, R. Giacobazzi
{"title":"Opaque Predicates Detection by Abstract Interpretation","authors":"M. Preda, Matias Madou, K. D. Bosschere, R. Giacobazzi","doi":"10.1007/11784180_9","DOIUrl":"https://doi.org/10.1007/11784180_9","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132580695","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}
引用次数: 70
首页 上一页 下一页 尾页
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学术官方微信
小红书