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

Tic最新文献

筛选
英文 中文
Formalizing Resourve Allocation in a Compiler 在编译器中形式化资源分配
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055518
Peter Thiemann
{"title":"Formalizing Resourve Allocation in a Compiler","authors":"Peter Thiemann","doi":"10.1007/BFb0055518","DOIUrl":"https://doi.org/10.1007/BFb0055518","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"52 1","pages":"178-193"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87063922","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
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler 通用黑端有多通用?使用MLRISC作为TIL编译器的黑端
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055512
A. Bernard, R. Harper, Peter Lee
{"title":"How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler","authors":"A. Bernard, R. Harper, Peter Lee","doi":"10.1007/BFb0055512","DOIUrl":"https://doi.org/10.1007/BFb0055512","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"95 1","pages":"53-77"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83969041","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
Garbage Collection via Dynamic Type Inference - A Fomal Treatment 通过动态类型推断的垃圾收集——一种正式处理
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055520
H. Hosoya, A. Yonezawa
{"title":"Garbage Collection via Dynamic Type Inference - A Fomal Treatment","authors":"H. Hosoya, A. Yonezawa","doi":"10.1007/BFb0055520","DOIUrl":"https://doi.org/10.1007/BFb0055520","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"95 1","pages":"215-239"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78734138","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
Optimizing ML Using a Hierarchy of Monadic Types 使用一元类型的层次结构优化ML
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055514
A. Tolmach
{"title":"Optimizing ML Using a Hierarchy of Monadic Types","authors":"A. Tolmach","doi":"10.1007/BFb0055514","DOIUrl":"https://doi.org/10.1007/BFb0055514","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"15 1","pages":"97-115"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83440702","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}
引用次数: 36
Type-Directed Continuation Allocation 类型导向的延续分配
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055515
Zhong Shao, Valery Trifonov
{"title":"Type-Directed Continuation Allocation","authors":"Zhong Shao, Valery Trifonov","doi":"10.1007/BFb0055515","DOIUrl":"https://doi.org/10.1007/BFb0055515","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"10 1","pages":"116-135"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83508101","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
Optimal Type Lifting 最佳起重类型
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055517
Bratin Saha, Zhong Shao
{"title":"Optimal Type Lifting","authors":"Bratin Saha, Zhong Shao","doi":"10.1007/BFb0055517","DOIUrl":"https://doi.org/10.1007/BFb0055517","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"64 1","pages":"156-177"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79300862","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
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report 将Java编译为类型化lambda演算:初步报告
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055510
Andrew K. Wright, S. Jagannathan, C. Ungureanu, Aaron Hertzmann
{"title":"Compiling Java to a Typed Lambda-Calculus: A Preliminary Report","authors":"Andrew K. Wright, S. Jagannathan, C. Ungureanu, Aaron Hertzmann","doi":"10.1007/BFb0055510","DOIUrl":"https://doi.org/10.1007/BFb0055510","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"281 1","pages":"9-27"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76805783","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}
引用次数: 13
Polymorphic Equality - No Tags Required 多态相等-不需要标签
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055516
M. Elsman
{"title":"Polymorphic Equality - No Tags Required","authors":"M. Elsman","doi":"10.1007/BFb0055516","DOIUrl":"https://doi.org/10.1007/BFb0055516","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"179 1","pages":"136-155"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80118396","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
An Approach to Improve Locality Using Sandwich Types 一种利用三明治类型改进局部性的方法
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055519
Daniela Genius, M. Trapp, W. Zimmermann
{"title":"An Approach to Improve Locality Using Sandwich Types","authors":"Daniela Genius, M. Trapp, W. Zimmermann","doi":"10.1007/BFb0055519","DOIUrl":"https://doi.org/10.1007/BFb0055519","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"41 1","pages":"194-214"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77703580","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
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation 由类型导向的部分求值和运行时代码生成实现的强规范化
Tic Pub Date : 1998-03-25 DOI: 10.1007/BFb0055521
V. Balat, O. Danvy
{"title":"Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation","authors":"V. Balat, O. Danvy","doi":"10.1007/BFb0055521","DOIUrl":"https://doi.org/10.1007/BFb0055521","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"34 1","pages":"240-252"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84411434","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
首页 上一页 下一页 尾页
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学术官方微信