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

Semantics, Applications, and Implementation of Program Generation最新文献

筛选
英文 中文
MetaKlaim: Meta-programming for Global Computing metaklaaim:面向全局计算的元编程
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_11
G. Ferrari, E. Moggi, R. Pugliese
{"title":"MetaKlaim: Meta-programming for Global Computing","authors":"G. Ferrari, E. Moggi, R. Pugliese","doi":"10.1007/3-540-44806-3_11","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_11","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131879077","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
Static Transition Compression 静态转换压缩
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_6
D. Damian, O. Danvy
{"title":"Static Transition Compression","authors":"D. Damian, O. Danvy","doi":"10.1007/3-540-44806-3_6","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_6","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117264427","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
Generation of Efficient Programs for Solving Maximum Multi-marking Problems 求解最大多重标记问题的高效程序生成
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_5
Isao Sasano, Zhenjiang Hu, M. Takeichi
{"title":"Generation of Efficient Programs for Solving Maximum Multi-marking Problems","authors":"Isao Sasano, Zhenjiang Hu, M. Takeichi","doi":"10.1007/3-540-44806-3_5","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_5","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129805436","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}
引用次数: 16
A Design Methodology for Functional Programs 函数式程序的设计方法
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_9
D. Wakeling
{"title":"A Design Methodology for Functional Programs","authors":"D. Wakeling","doi":"10.1007/3-540-44806-3_9","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_9","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129597892","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}
引用次数: 3
Accomplishments and Research Challenges in Meta-programming 元编程的成就和研究挑战
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_2
T. Sheard
{"title":"Accomplishments and Research Challenges in Meta-programming","authors":"T. Sheard","doi":"10.1007/3-540-44806-3_2","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_2","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"188 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115487631","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}
引用次数: 183
A Transformational Approach which Combines Size Inference and Program Optimization 规模推理与程序优化相结合的转换方法
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_12
C. Herrmann, C. Lengauer
{"title":"A Transformational Approach which Combines Size Inference and Program Optimization","authors":"C. Herrmann, C. Lengauer","doi":"10.1007/3-540-44806-3_12","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_12","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128488333","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
Short Cut Fusion: Proved and Improved 捷径融合:证明和改进
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_4
Patricia Johann
{"title":"Short Cut Fusion: Proved and Improved","authors":"Patricia Johann","doi":"10.1007/3-540-44806-3_4","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_4","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"368 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116323303","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}
引用次数: 25
Dynamically Adaptable Software with Metacomputations in a Staged Language 基于阶段语言的元计算动态适应软件
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_10
W. Harrison, T. Sheard
{"title":"Dynamically Adaptable Software with Metacomputations in a Staged Language","authors":"W. Harrison, T. Sheard","doi":"10.1007/3-540-44806-3_10","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_10","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124446663","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
Integrating Partial Evaluators into Interpreters 将部分求值器集成到解释器中
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_8
K. Asai
{"title":"Integrating Partial Evaluators into Interpreters","authors":"K. Asai","doi":"10.1007/3-540-44806-3_8","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_8","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125793414","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
Generative Programming and Software System Families 生成式编程和软件系统族
Semantics, Applications, and Implementation of Program Generation Pub Date : 2001-09-06 DOI: 10.1007/3-540-44806-3_1
K. Czarnecki
{"title":"Generative Programming and Software System Families","authors":"K. Czarnecki","doi":"10.1007/3-540-44806-3_1","DOIUrl":"https://doi.org/10.1007/3-540-44806-3_1","url":null,"abstract":"","PeriodicalId":261562,"journal":{"name":"Semantics, Applications, and Implementation of Program Generation","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134266821","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
下一页 尾页
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学术官方微信