{"title":"结构操作语义","authors":"L. Aceto, W. Fokkink, C. Verhoef","doi":"10.7146/BRICS.V6I30.20099","DOIUrl":null,"url":null,"abstract":"The importance of giving precise semantics to programming and specification languages was recognized since the sixties with the development of the first high-level programming languages (cf. e.g. [30, 206] for some early accounts). The use of operational semantics - i.e. of a semantics that explicitly describes how programs compute in stepwise fashion, and the possible state-transformations they perform - was already advocated by McCarthy in [147], and elaborated upon in references like [142, 143]. Examples of full-blown languages that have been endowed with an operational semantics are Algol 60 [140], PL/I [173], and CSP [178].","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"366","resultStr":"{\"title\":\"Structural Operational Semantics\",\"authors\":\"L. Aceto, W. Fokkink, C. Verhoef\",\"doi\":\"10.7146/BRICS.V6I30.20099\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The importance of giving precise semantics to programming and specification languages was recognized since the sixties with the development of the first high-level programming languages (cf. e.g. [30, 206] for some early accounts). The use of operational semantics - i.e. of a semantics that explicitly describes how programs compute in stepwise fashion, and the possible state-transformations they perform - was already advocated by McCarthy in [147], and elaborated upon in references like [142, 143]. Examples of full-blown languages that have been endowed with an operational semantics are Algol 60 [140], PL/I [173], and CSP [178].\",\"PeriodicalId\":172055,\"journal\":{\"name\":\"Handbook of Process Algebra\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-01-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"366\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Handbook of Process Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.7146/BRICS.V6I30.20099\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Handbook of Process Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.7146/BRICS.V6I30.20099","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The importance of giving precise semantics to programming and specification languages was recognized since the sixties with the development of the first high-level programming languages (cf. e.g. [30, 206] for some early accounts). The use of operational semantics - i.e. of a semantics that explicitly describes how programs compute in stepwise fashion, and the possible state-transformations they perform - was already advocated by McCarthy in [147], and elaborated upon in references like [142, 143]. Examples of full-blown languages that have been endowed with an operational semantics are Algol 60 [140], PL/I [173], and CSP [178].
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
