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

Formal Program Development最新文献

筛选
英文 中文
Elements of a Relational Theory of Datatypes 数据类型关系理论的要素
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_15
R. Backhouse, Paul F. Hoogendijk
{"title":"Elements of a Relational Theory of Datatypes","authors":"R. Backhouse, Paul F. Hoogendijk","doi":"10.1007/3-540-57499-9_15","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_15","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126246350","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}
引用次数: 79
Formal Problem Specification on an Algebraic Basis 代数基础上的形式问题说明
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_21
H. Partsch
{"title":"Formal Problem Specification on an Algebraic Basis","authors":"H. Partsch","doi":"10.1007/3-540-57499-9_21","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_21","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116094543","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
Rules and Strategies for Program Transformation 程序转换的规则和策略
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_23
A. Pettorossi, M. Proietti
{"title":"Rules and Strategies for Program Transformation","authors":"A. Pettorossi, M. Proietti","doi":"10.1007/3-540-57499-9_23","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_23","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133843384","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
Practical Transformation of Functional Programs for Efficient Execution: A Case Study 函数式程序高效执行的实际转换:一个案例研究
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_17
J. M. Boyle, T. Harmer
{"title":"Practical Transformation of Functional Programs for Efficient Execution: A Case Study","authors":"J. M. Boyle, T. Harmer","doi":"10.1007/3-540-57499-9_17","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_17","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115131165","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
Derivation of Graph and Pointer Algorithms 图和指针算法的推导
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_19
B. Möller
{"title":"Derivation of Graph and Pointer Algorithms","authors":"B. Möller","doi":"10.1007/3-540-57499-9_19","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_19","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130801882","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}
引用次数: 41
Automating the Design of Algorithm 算法设计的自动化
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_25
Douglas R. Smith
{"title":"Automating the Design of Algorithm","authors":"Douglas R. Smith","doi":"10.1007/3-540-57499-9_25","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_25","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116949141","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}
引用次数: 10
Virtual Data Structures 虚拟数据结构
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_26
S. Swierstra, O. Moor
{"title":"Virtual Data Structures","authors":"S. Swierstra, O. Moor","doi":"10.1007/3-540-57499-9_26","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_26","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126733393","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}
引用次数: 37
Endomorphic Typing 内变质类型
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_24
M. Sintzoff
{"title":"Endomorphic Typing","authors":"M. Sintzoff","doi":"10.1007/3-540-57499-9_24","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_24","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131174073","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
The Refinement Calculus, and Literate Development 精细演算与文化发展
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_20
Carroll Morgan
{"title":"The Refinement Calculus, and Literate Development","authors":"Carroll Morgan","doi":"10.1007/3-540-57499-9_20","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_20","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121708615","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
Program Development in an Algebraic Setting 代数环境下的程序开发
Formal Program Development Pub Date : 1900-01-01 DOI: 10.1007/3-540-57499-9_22
P. Pepper
{"title":"Program Development in an Algebraic Setting","authors":"P. Pepper","doi":"10.1007/3-540-57499-9_22","DOIUrl":"https://doi.org/10.1007/3-540-57499-9_22","url":null,"abstract":"","PeriodicalId":151651,"journal":{"name":"Formal Program Development","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126154150","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
下一页 尾页
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学术官方微信