Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：