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

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

筛选
英文 中文
Verification of Java Programs with Generics Java泛型程序的验证
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_24
K. Stenzel, H. Grandy, W. Reif
{"title":"Verification of Java Programs with Generics","authors":"K. Stenzel, H. Grandy, W. Reif","doi":"10.1007/978-3-540-79980-1_24","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_24","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"8 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":"115073980","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
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines 服务、会话和管道计算中的类型和死锁自由度
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_8
R. Bruni, Leonardo Gaetano Mezzina
{"title":"Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines","authors":"R. Bruni, Leonardo Gaetano Mezzina","doi":"10.1007/978-3-540-79980-1_8","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_8","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":"121123298","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}
引用次数: 29
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 安全协议复杂类型漏洞攻击的形式化分析
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_14
Han Gao, C. Bodei, P. Degano
{"title":"A Formal Analysis of Complex Type Flaw Attacks on Security Protocols","authors":"Han Gao, C. Bodei, P. Degano","doi":"10.1007/978-3-540-79980-1_14","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_14","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"2 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":"122561199","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
A Hybrid Approach for Safe Memory Management in C 一种C语言中安全内存管理的混合方法
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_28
Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, M. Debbabi
{"title":"A Hybrid Approach for Safe Memory Management in C","authors":"Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, M. Debbabi","doi":"10.1007/978-3-540-79980-1_28","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_28","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"19 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":"125770556","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
Extending Timed Process Algebra with Discrete Stochastic Time 具有离散随机时间的扩展时间过程代数
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_21
J. Markovski, E. Vink
{"title":"Extending Timed Process Algebra with Discrete Stochastic Time","authors":"J. Markovski, E. Vink","doi":"10.1007/978-3-540-79980-1_21","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_21","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"23 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":"131446429","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
Petri Nets Are Dioids Petri网是二项式
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_5
Paolo Baldan, F. Gadducci
{"title":"Petri Nets Are Dioids","authors":"Paolo Baldan, F. Gadducci","doi":"10.1007/978-3-540-79980-1_5","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_5","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"97 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":"117201151","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
Separation Logic Contracts for a Java-Like Language with Fork/Join 带有Fork/Join的类java语言的分离逻辑契约
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_16
C. Haack, C. Hurlin
{"title":"Separation Logic Contracts for a Java-Like Language with Fork/Join","authors":"C. Haack, C. Hurlin","doi":"10.1007/978-3-540-79980-1_16","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_16","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"15 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":"127048331","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}
引用次数: 43
Abstract Interpretation Plugins for Type Systems 类型系统的抽象解释插件
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_15
Tobias Gedell, Daniel Hedin
{"title":"Abstract Interpretation Plugins for Type Systems","authors":"Tobias Gedell, Daniel Hedin","doi":"10.1007/978-3-540-79980-1_15","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_15","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"75 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":"125904061","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
Non Expansive epsilon-Bisimulations 非膨胀的双模拟
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_27
S. Tini
{"title":"Non Expansive epsilon-Bisimulations","authors":"S. Tini","doi":"10.1007/978-3-540-79980-1_27","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_27","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"53 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":"130339140","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
Simulation Using Orchestration 使用编排的仿真
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_2
D. Kitchin, E. Powell, J. Misra
{"title":"Simulation Using Orchestration","authors":"D. Kitchin, E. Powell, J. Misra","doi":"10.1007/978-3-540-79980-1_2","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_2","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"48 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":"130261988","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学术官方微信
小红书