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

Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance最新文献

筛选
英文 中文
Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance 专门化、泛化与继承机制论文集
Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance Pub Date : 2015-07-04 DOI: 10.1145/2786555
Markku Sakkinen
{"title":"Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance","authors":"Markku Sakkinen","doi":"10.1145/2786555","DOIUrl":"https://doi.org/10.1145/2786555","url":null,"abstract":"This is the sixth edition of MASPEGHI, but there have been also two other workshops in the same topic area that are genuine predecessors of this workshop. Most of this year's organizers and programme committee members have been involved in more than one of the previous workshops.","PeriodicalId":132077,"journal":{"name":"Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance","volume":"20 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131691712","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
Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures 通过形式概念分析分析继承层次:22年来在概念结构景观中的漫步
Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance Pub Date : 2015-07-04 DOI: 10.1145/2786555.2786557
M. Huchard
{"title":"Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures","authors":"M. Huchard","doi":"10.1145/2786555.2786557","DOIUrl":"https://doi.org/10.1145/2786555.2786557","url":null,"abstract":"Designing or renovating inheritance hierarchies in the domain of programming or in the domain of modeling still remains a tricky task. It involves integrating domain concepts sometimes with no clear frontier, finding the good abstractions and avoiding duplicated information. In this paper, we review research work that addressed this topic with the use of Formal Concept Analysis (concept lattices) since the seminal paper of R. Godin and H. Mili at OOPSLA'93. We overview the different attempts, the explored limits, and the current issues.","PeriodicalId":132077,"journal":{"name":"Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124718390","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}
引用次数: 8
The Expression Problem, Gracefully 优雅地表达问题
Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance Pub Date : 2015-07-04 DOI: 10.1145/2786555.2786556
A. Black
{"title":"The Expression Problem, Gracefully","authors":"A. Black","doi":"10.1145/2786555.2786556","DOIUrl":"https://doi.org/10.1145/2786555.2786556","url":null,"abstract":"The \"Expression Problem\" was brought to prominence by Wadler in 1998. It is widely regarded as illustrating that the two mainstream approaches to data abstraction---procedural abstraction and type abstraction---are complementary, with the strengths of one being the weaknesses of the other. Despite an extensive literature, the origin of the problem remains ill-understood. I show that the core problem is in fact the use of global constants, and demonstrate that an important aspect of the problem goes away when Java is replaced by a language like Grace, which eliminates them.","PeriodicalId":132077,"journal":{"name":"Proceedings of the MechAnisms on SPEcialization, Generalization and inHerItance","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125693475","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学术官方微信