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

Program Construction最新文献

筛选
英文 中文
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm Schorr-Waite标记算法的一个面向推导的证明
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014678
S. Gerhart
{"title":"A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm","authors":"S. Gerhart","doi":"10.1007/BFb0014678","DOIUrl":"https://doi.org/10.1007/BFb0014678","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115003696","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}
引用次数: 8
Systematics of Transformation Rules 转换规则的系统学
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014672
F. L. Bauer, M. Broy, H. Partsch, P. Pepper, H. Wössner
{"title":"Systematics of Transformation Rules","authors":"F. L. Bauer, M. Broy, H. Partsch, P. Pepper, H. Wössner","doi":"10.1007/BFb0014672","DOIUrl":"https://doi.org/10.1007/BFb0014672","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129418070","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}
引用次数: 23
Specifications and Proofs for Abstract Data Types in Concurrent Programs 并发程序中抽象数据类型的规范和证明
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014668
S. Owicki
{"title":"Specifications and Proofs for Abstract Data Types in Concurrent Programs","authors":"S. Owicki","doi":"10.1007/BFb0014668","DOIUrl":"https://doi.org/10.1007/BFb0014668","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"350 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133461435","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}
引用次数: 23
Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects 逐步转换的程序开发-项目CIP。附录:教育和专业方面的程序设计语言
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014671
F. L. Bauer
{"title":"Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects","authors":"F. L. Bauer","doi":"10.1007/BFb0014671","DOIUrl":"https://doi.org/10.1007/BFb0014671","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124459184","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}
引用次数: 26
Semantics of Nondeterministic and Noncontinuous Constructs 非确定性和非连续构念的语义
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014683
M. Broy, R. Gnatz, M. Wirsing
{"title":"Semantics of Nondeterministic and Noncontinuous Constructs","authors":"M. Broy, R. Gnatz, M. Wirsing","doi":"10.1007/BFb0014683","DOIUrl":"https://doi.org/10.1007/BFb0014683","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"115 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120969327","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}
引用次数: 51
On the Foolishness of "Natural Language Programming" 论“自然语言程序设计”的愚蠢
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014656
E. Dijkstra
{"title":"On the Foolishness of \"Natural Language Programming\"","authors":"E. Dijkstra","doi":"10.1007/BFb0014656","DOIUrl":"https://doi.org/10.1007/BFb0014656","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128617800","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}
引用次数: 48
Programming Methodology and Language Implications 编程方法学和语言含义
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014681
M. Griffiths
{"title":"Programming Methodology and Language Implications","authors":"M. Griffiths","doi":"10.1007/BFb0014681","DOIUrl":"https://doi.org/10.1007/BFb0014681","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133493671","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}
引用次数: 1
A Study on Transformational Semantics 转换语义研究
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014674
P. Pepper
{"title":"A Study on Transformational Semantics","authors":"P. Pepper","doi":"10.1007/BFb0014674","DOIUrl":"https://doi.org/10.1007/BFb0014674","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"351 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134333245","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
Some Theoretical Aspects of Program Construction 程序建设的几个理论问题
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFB0014685
C. Pair
{"title":"Some Theoretical Aspects of Program Construction","authors":"C. Pair","doi":"10.1007/BFB0014685","DOIUrl":"https://doi.org/10.1007/BFB0014685","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133184137","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
Development of the Schorr-Waite Algorithm Schorr-Waite算法的发展
Program Construction Pub Date : 1978-07-26 DOI: 10.1007/BFb0014677
M. Griffiths
{"title":"Development of the Schorr-Waite Algorithm","authors":"M. Griffiths","doi":"10.1007/BFb0014677","DOIUrl":"https://doi.org/10.1007/BFb0014677","url":null,"abstract":"","PeriodicalId":248981,"journal":{"name":"Program Construction","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132115839","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术官方微信