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

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

筛选
英文 中文
Program Calculation in Coq Coq中的程序计算
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_10
J. Tesson, Hideki Hashimoto, Zhenjiang Hu, F. Loulergue, M. Takeichi
{"title":"Program Calculation in Coq","authors":"J. Tesson, Hideki Hashimoto, Zhenjiang Hu, F. Loulergue, M. Takeichi","doi":"10.1007/978-3-642-17796-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_10","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"22 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":"121345192","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}
引用次数: 20
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming 高阶泛函与逻辑规划中代数约束域的协同性
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_11
Rafael del Vado Vírseda
{"title":"Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming","authors":"Rafael del Vado Vírseda","doi":"10.1007/978-3-642-17796-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_11","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"242 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":"121216431","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
Learning in a Changing World, an Algebraic Modal Logical Approach 在变化的世界中学习:代数模态逻辑方法
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_8
P. Panangaden, M. Sadrzadeh
{"title":"Learning in a Changing World, an Algebraic Modal Logical Approach","authors":"P. Panangaden, M. Sadrzadeh","doi":"10.1007/978-3-642-17796-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_8","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"37 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":"115967978","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}
引用次数: 6
On the Expressiveness of the pi-Calculus and the Mobile Ambients 论pi-微积分的可表达性与移动环境
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_3
L. Brodo
{"title":"On the Expressiveness of the pi-Calculus and the Mobile Ambients","authors":"L. Brodo","doi":"10.1007/978-3-642-17796-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_3","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"95 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":"116357802","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
Type Fusion 类型融合
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_6
R. Hinze
{"title":"Type Fusion","authors":"R. Hinze","doi":"10.1007/978-3-642-17796-5_6","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_6","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"42 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":"131720015","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}
引用次数: 6
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra 使用可见下推Kleene代数验证常见的过程间编译器优化
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_2
Claude Bolduc, Béchir Ktari
{"title":"Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra","authors":"Claude Bolduc, Béchir Ktari","doi":"10.1007/978-3-642-17796-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_2","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"2 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":"129917011","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
A Complete Declarative Debugger for Maude 一个完整的声明式调试器
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_14
A. Riesco, A. Verdejo, N. Martí-Oliet
{"title":"A Complete Declarative Debugger for Maude","authors":"A. Riesco, A. Verdejo, N. Martí-Oliet","doi":"10.1007/978-3-642-17796-5_14","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_14","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"50 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":"126078355","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}
引用次数: 12
BAL Tool in Flexible Manufacturing Systems 柔性制造系统中的BAL工具
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_13
Diego Pérez Leándrez, M. Carmen Ruiz, J. Jose Pardo, D. Cazorla
{"title":"BAL Tool in Flexible Manufacturing Systems","authors":"Diego Pérez Leándrez, M. Carmen Ruiz, J. Jose Pardo, D. Cazorla","doi":"10.1007/978-3-642-17796-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_13","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"28 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":"133364266","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
Matching Logic: An Alternative to Hoare/Floyd Logic 匹配逻辑:霍尔/弗洛伊德逻辑的替代方案
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_9
Grigore Roşu, Chucky Ellison, Wolfram Schulte
{"title":"Matching Logic: An Alternative to Hoare/Floyd Logic","authors":"Grigore Roşu, Chucky Ellison, Wolfram Schulte","doi":"10.1007/978-3-642-17796-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_9","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"23 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":"125728253","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}
引用次数: 80
Model Refinement Using Bisimulation Quotients 使用双模拟商的模型改进
International Conference on Algebraic Methodology and Software Technology Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-17796-5_5
Roland Glück, B. Möller, M. Sintzoff
{"title":"Model Refinement Using Bisimulation Quotients","authors":"Roland Glück, B. Möller, M. Sintzoff","doi":"10.1007/978-3-642-17796-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-17796-5_5","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"387 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":"124795932","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
下一页 尾页
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学术官方微信
小红书