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

Programming Languages and Their Definition最新文献

筛选
英文 中文
Definable Operation in General Algebras, and the Theory of Automata and Flowcharts 一般代数中的可定义运算，以及自动机和流程图理论
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048939
H. Bekic
{"title":"Definable Operation in General Algebras, and the Theory of Automata and Flowcharts","authors":"H. Bekic","doi":"10.1007/BFb0048939","DOIUrl":"https://doi.org/10.1007/BFb0048939","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"206 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123347391","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}
引用次数: 107
The Meaning of Names in PL/I PL/I中名称的含义
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048936
H. Bekic
{"title":"The Meaning of Names in PL/I","authors":"H. Bekic","doi":"10.1007/BFb0048936","DOIUrl":"https://doi.org/10.1007/BFb0048936","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128505493","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}
引用次数: 0
Formalization of Storage Properties 存储属性的形式化
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048940
H. Bekic, K. Walk
{"title":"Formalization of Storage Properties","authors":"H. Bekic, K. Walk","doi":"10.1007/BFb0048940","DOIUrl":"https://doi.org/10.1007/BFb0048940","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130721462","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
Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth 关于ALGOL 60编译器测试示例的注释，作者d.e.k nuth
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048934
H. Bekic
{"title":"Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth","authors":"H. Bekic","doi":"10.1007/BFb0048934","DOIUrl":"https://doi.org/10.1007/BFb0048934","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115527965","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
Defining a Language in its Own Terms 用自己的术语定义语言
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048937
H. Bekic
{"title":"Defining a Language in its Own Terms","authors":"H. Bekic","doi":"10.1007/BFb0048937","DOIUrl":"https://doi.org/10.1007/BFb0048937","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126897069","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
Towards a Mathematical Theory of Processes 过程的数学理论
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048944
H. Bekic
{"title":"Towards a Mathematical Theory of Processes","authors":"H. Bekic","doi":"10.1007/BFb0048944","DOIUrl":"https://doi.org/10.1007/BFb0048944","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132947368","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}
引用次数: 34
The Assignment to a Type Procedure Identifier in ALGOL 60 algol60中类型过程标识符的赋值
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048935
H. Bekic
{"title":"The Assignment to a Type Procedure Identifier in ALGOL 60","authors":"H. Bekic","doi":"10.1007/BFb0048935","DOIUrl":"https://doi.org/10.1007/BFb0048935","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114938103","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}
引用次数: 0
Nondeterministic Functions and the Semantics of CSP 不确定性函数与CSP的语义
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048947
H. Bekic
{"title":"Nondeterministic Functions and the Semantics of CSP","authors":"H. Bekic","doi":"10.1007/BFb0048947","DOIUrl":"https://doi.org/10.1007/BFb0048947","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128811754","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}
引用次数: 0
On the formal Definition of Programming Language 论程序设计语言的形式定义
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048941
H. Bekic
{"title":"On the formal Definition of Programming Language","authors":"H. Bekic","doi":"10.1007/BFb0048941","DOIUrl":"https://doi.org/10.1007/BFb0048941","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114358123","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
Mathematical Semantics and Compiler Correctness 数学语义和编译器正确性
Programming Languages and Their Definition Pub Date : 1900-01-01 DOI: 10.1007/BFb0048943
H. Bekic
{"title":"Mathematical Semantics and Compiler Correctness","authors":"H. Bekic","doi":"10.1007/BFb0048943","DOIUrl":"https://doi.org/10.1007/BFb0048943","url":null,"abstract":"","PeriodicalId":262134,"journal":{"name":"Programming Languages and Their Definition","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125655614","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}
引用次数: 0
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信