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

Theoretical Aspects of Computer Software最新文献

筛选
英文 中文
Unison: A File Synchronizer and Its Specification Unison:文件同步器及其规范
Theoretical Aspects of Computer Software Pub Date : 2001-10-29 DOI: 10.1007/3-540-45500-0_28
B. Pierce, Jérôme Vouillon
{"title":"Unison: A File Synchronizer and Its Specification","authors":"B. Pierce, Jérôme Vouillon","doi":"10.1007/3-540-45500-0_28","DOIUrl":"https://doi.org/10.1007/3-540-45500-0_28","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"38 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132273664","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
Infinite Intersection and Union Types for the Lazy Lambda Calculus 懒Lambda演算的无穷交和联合类型
Theoretical Aspects of Computer Software Pub Date : 2001-10-29 DOI: 10.1007/3-540-45500-0_22
M. Bonsangue, J. Kok
{"title":"Infinite Intersection and Union Types for the Lazy Lambda Calculus","authors":"M. Bonsangue, J. Kok","doi":"10.1007/3-540-45500-0_22","DOIUrl":"https://doi.org/10.1007/3-540-45500-0_22","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115997051","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
Strong Normalization of Second Order Symmetric Lambda-mu Calculus 二阶对称微积分的强归一化
Theoretical Aspects of Computer Software Pub Date : 2001-06-01 DOI: 10.1007/3-540-45500-0_23
Yoriyuki Yamagata
{"title":"Strong Normalization of Second Order Symmetric Lambda-mu Calculus","authors":"Yoriyuki Yamagata","doi":"10.1007/3-540-45500-0_23","DOIUrl":"https://doi.org/10.1007/3-540-45500-0_23","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128546402","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
Data Refinement and Remote Procedures 数据细化和远程过程
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014556
K. Sere, M. Waldén
{"title":"Data Refinement and Remote Procedures","authors":"K. Sere, M. Waldén","doi":"10.1007/BFb0014556","DOIUrl":"https://doi.org/10.1007/BFb0014556","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116326625","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
Secrecy by Typing inSecurity Protocols 通过输入不安全协议实现保密
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014571
M. Abadi
{"title":"Secrecy by Typing inSecurity Protocols","authors":"M. Abadi","doi":"10.1007/BFb0014571","DOIUrl":"https://doi.org/10.1007/BFb0014571","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"198 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132522036","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}
引用次数: 86
Using Reflection to Build Efficient and Certified Decision Procedures 使用反思建立高效和认证的决策程序
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014565
S. Boutin
{"title":"Using Reflection to Build Efficient and Certified Decision Procedures","authors":"S. Boutin","doi":"10.1007/BFb0014565","DOIUrl":"https://doi.org/10.1007/BFb0014565","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115448063","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}
引用次数: 147
On Strictness and Totality 论严格与全面
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014550
M. Coppo, Ferruccio Damiani, P. Giannini
{"title":"On Strictness and Totality","authors":"M. Coppo, Ferruccio Damiani, P. Giannini","doi":"10.1007/BFb0014550","DOIUrl":"https://doi.org/10.1007/BFb0014550","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128101672","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
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement 二元逻辑关系的公理化方法及其在数据细化中的应用
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014552
Y. Kinoshita, P. O'Hearn, J. Power, M. Takeyama, R. D. Tennent
{"title":"An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement","authors":"Y. Kinoshita, P. O'Hearn, J. Power, M. Takeyama, R. D. Tennent","doi":"10.1007/BFb0014552","DOIUrl":"https://doi.org/10.1007/BFb0014552","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"248 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115503716","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}
引用次数: 39
Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems 基于逼近和二元决策图的实时系统符号模型检验方法
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014568
S. Yamane, Kazuhiro Nakamura
{"title":"Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems","authors":"S. Yamane, Kazuhiro Nakamura","doi":"10.1007/BFb0014568","DOIUrl":"https://doi.org/10.1007/BFb0014568","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128272174","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 Representations of Polymorphic Types with Subtyping (Extended Abstract) 带子分型的多态类型的最优表示(扩展摘要)
Theoretical Aspects of Computer Software Pub Date : 1997-09-23 DOI: 10.1007/BFb0014547
A. Aiken, E. Wimmers, J. Palsberg
{"title":"Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)","authors":"A. Aiken, E. Wimmers, J. Palsberg","doi":"10.1007/BFb0014547","DOIUrl":"https://doi.org/10.1007/BFb0014547","url":null,"abstract":"","PeriodicalId":399962,"journal":{"name":"Theoretical Aspects of Computer Software","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128939066","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学术官方微信
小红书