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

LerNet ALFA Summer School最新文献

筛选
英文 中文
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures 语言工程和严格的软件开发，2008年国际LerNet ALFA暑期学校，Piriapolis，乌拉圭，2008年2月24日至3月1日，修订的指导讲座
LerNet ALFA Summer School Pub Date : 2009-07-27 DOI: 10.1007/978-3-642-03153-3
Ana Bove, L. Barbosa, Alberto Pardo, J. Pinto
{"title":"Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures","authors":"Ana Bove, L. Barbosa, Alberto Pardo, J. Pinto","doi":"10.1007/978-3-642-03153-3","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134301979","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}
引用次数: 19
Introduction to Type Theory 类型理论概论
LerNet ALFA Summer School Pub Date : 2009-07-27 DOI: 10.1007/978-3-642-03153-3_1
H. Geuvers
{"title":"Introduction to Type Theory","authors":"H. Geuvers","doi":"10.1007/978-3-642-03153-3_1","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3_1","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114590762","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
Combinator Parsing: A Short Tutorial 组合子解析:简短教程
LerNet ALFA Summer School Pub Date : 2009-07-27 DOI: 10.1007/978-3-642-03153-3_6
S. Swierstra
{"title":"Combinator Parsing: A Short Tutorial","authors":"S. Swierstra","doi":"10.1007/978-3-642-03153-3_6","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3_6","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116108583","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}
引用次数: 54
Dependent Types at Work 工作中的依赖类型
LerNet ALFA Summer School Pub Date : 2009-07-27 DOI: 10.1007/978-3-642-03153-3_2
Ana Bove, P. Dybjer
{"title":"Dependent Types at Work","authors":"Ana Bove, P. Dybjer","doi":"10.1007/978-3-642-03153-3_2","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3_2","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"62 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132498075","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}
引用次数: 75
Extended Static Checking by Calculation Using the Pointfree Transform 用无点变换计算扩展静态检验
LerNet ALFA Summer School Pub Date : 2009-07-27 DOI: 10.1007/978-3-642-03153-3_5
J. Oliveira
{"title":"Extended Static Checking by Calculation Using the Pointfree Transform","authors":"J. Oliveira","doi":"10.1007/978-3-642-03153-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3_5","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129297367","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}
引用次数: 35
A Tutorial on Type-Based Termination 基于类型终止的教程
LerNet ALFA Summer School Pub Date : 2009-07-27 DOI: 10.1007/978-3-642-03153-3_3
G. Barthe, B. Grégoire, Colin Riba
{"title":"A Tutorial on Type-Based Termination","authors":"G. Barthe, B. Grégoire, Colin Riba","doi":"10.1007/978-3-642-03153-3_3","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3_3","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121595627","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
Structural Abstract Interpretation: A Formal Study Using Coq 结构摘要解释:Coq的形式研究
LerNet ALFA Summer School Pub Date : 2008-10-13 DOI: 10.1007/978-3-642-03153-3_4
Yves Bertot
{"title":"Structural Abstract Interpretation: A Formal Study Using Coq","authors":"Yves Bertot","doi":"10.1007/978-3-642-03153-3_4","DOIUrl":"https://doi.org/10.1007/978-3-642-03153-3_4","url":null,"abstract":"","PeriodicalId":130344,"journal":{"name":"LerNet ALFA Summer School","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123162401","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学术文献互助群
群 号：481959085
Book学术官方微信