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

Types for Proofs and Programs最新文献

筛选
英文 中文
A Process-Model for Linear Programs 线性规划的过程模型
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_18
Luca Paolini, M. Piccolo
{"title":"A Process-Model for Linear Programs","authors":"Luca Paolini, M. Piccolo","doi":"10.1007/978-3-642-02444-3_18","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_18","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133637042","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
A Type System for Usage of Software Components 软件组件使用的类型系统
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_12
D. Hovland
{"title":"A Type System for Usage of Software Components","authors":"D. Hovland","doi":"10.1007/978-3-642-02444-3_12","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_12","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130327927","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
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq Coq中快速排序平均复杂度的机器检验证明
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_16
Eelis van der Weegen, J. McKinna
{"title":"A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq","authors":"Eelis van der Weegen, J. McKinna","doi":"10.1007/978-3-642-02444-3_16","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_16","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128403513","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 Framework for the Analysis of Access Control Models for Interactive Mobile Devices 一种交互式移动设备访问控制模型分析框架
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_4
Juan Manuel Crespo, Gustavo Betarte, C. Luna
{"title":"A Framework for the Analysis of Access Control Models for Interactive Mobile Devices","authors":"Juan Manuel Crespo, Gustavo Betarte, C. Luna","doi":"10.1007/978-3-642-02444-3_4","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_4","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134268643","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
Proving Infinitary Normalization 证明无穷归一化
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_5
J. Endrullis, C. Grabmayer, D. Hendriks, J. Klop, R. D. Vrijer
{"title":"Proving Infinitary Normalization","authors":"J. Endrullis, C. Grabmayer, D. Hendriks, J. Klop, R. D. Vrijer","doi":"10.1007/978-3-642-02444-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_5","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116191666","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}
引用次数: 21
Type Inference for a Polynomial Lambda Calculus 多项式λ演算的类型推断
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_9
Marco Gaboardi, S. D. Rocca
{"title":"Type Inference for a Polynomial Lambda Calculus","authors":"Marco Gaboardi, S. D. Rocca","doi":"10.1007/978-3-642-02444-3_9","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_9","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"825 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123289727","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
Monadic Translation of Intuitionistic Sequent Calculus 直觉序列演算的一元转换
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_7
J. E. Santo, R. Matthes, L. Pinto
{"title":"Monadic Translation of Intuitionistic Sequent Calculus","authors":"J. E. Santo, R. Matthes, L. Pinto","doi":"10.1007/978-3-642-02444-3_7","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_7","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121380803","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
Local Theory Specifications in Isabelle/Isar 伊莎贝尔/伊萨尔的局部理论规范
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_10
Florian Haftmann, M. Wenzel
{"title":"Local Theory Specifications in Isabelle/Isar","authors":"Florian Haftmann, M. Wenzel","doi":"10.1007/978-3-642-02444-3_10","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_10","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130163200","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
About the Formalization of Some Results by Chebyshev in Number Theory 关于切比雪夫在数论中的一些结果的形式化
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_2
A. Asperti, W. Ricciotti
{"title":"About the Formalization of Some Results by Chebyshev in Number Theory","authors":"A. Asperti, W. Ricciotti","doi":"10.1007/978-3-642-02444-3_2","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_2","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130035475","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
Merging Procedural and Declarative Proof 合并程序证明和声明性证明
Types for Proofs and Programs Pub Date : 2009-06-07 DOI: 10.1007/978-3-642-02444-3_13
C. Kaliszyk, F. Wiedijk
{"title":"Merging Procedural and Declarative Proof","authors":"C. Kaliszyk, F. Wiedijk","doi":"10.1007/978-3-642-02444-3_13","DOIUrl":"https://doi.org/10.1007/978-3-642-02444-3_13","url":null,"abstract":"","PeriodicalId":131421,"journal":{"name":"Types for Proofs and Programs","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131003367","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
首页 上一页 下一页 尾页
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学术官方微信