{"title":"On the teaching of programming, i. e. on the teaching of thinking","authors":"E. Dijkstra","doi":"10.1007/3-540-07994-7_46","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_46","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123543394","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}
{"title":"The structure of an operating system","authors":"C. Hoare","doi":"10.1007/3-540-07994-7_56","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_56","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116979795","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}
{"title":"Program production by successive transformation","authors":"M. Griffiths","doi":"10.1007/3-540-07994-7_52","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_52","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"6 44","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120929881","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}
{"title":"Problems in many-language systems","authors":"A. Ershov","doi":"10.1007/3-540-07994-7_60","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_60","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116863217","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}
{"title":"Proof of correctness of data representation","authors":"C. Hoare","doi":"10.1007/3-540-07994-7_54","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_54","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133211273","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}
{"title":"A time-wise hierarchy imposed upon the use of a two-level store","authors":"E. Dijkstra","doi":"10.1007/3-540-07994-7_59","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_59","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125032399","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}
{"title":"Structured programming in the basic layers of an operating system","authors":"W. Wulf","doi":"10.1007/3-540-07994-7_58","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_58","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114575004","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}
{"title":"Appendix: a philosophy of programming","authors":"F. L. Bauer","doi":"10.1007/3-540-07994-7_55","DOIUrl":"https://doi.org/10.1007/3-540-07994-7_55","url":null,"abstract":"","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124610122","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}
{"title":"Guarded commands, non-determinacy and a calculus for the derivation of programs","authors":"E. Dijkstra","doi":"10.1145/800027.808417","DOIUrl":"https://doi.org/10.1145/800027.808417","url":null,"abstract":"So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow non-deterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be shown.","PeriodicalId":366191,"journal":{"name":"Language Hierarchies and Interfaces","volume":"458 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1975-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122603719","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号
求助内容：
应助结果提醒方式：