{"title":"ASM Semantics for C++ 2.0","authors":"Horatiu Jula","doi":"10.3929/ETHZ-A-006787658","DOIUrl":"https://doi.org/10.3929/ETHZ-A-006787658","url":null,"abstract":"The Abstract State Machines (ASMs) theory has been applied to formalize in a rigorous mathematical manner the semantics of the C] programming language. We have extended the C] ASM model, in order to handle C] 2.0 specific features like generics, anonymous methods and iterator blocks. We found out that the existing operational model (the dynamic semantics) can be reused entirely (it is not altered after the integration of the new constructions). But, obviously, the static semantics suffered some important modifications.","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","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":"122326889","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 Modular Design for the Common Language Runtime (CLR) Architecture","authors":"Nicu G. Fruja","doi":"10.3929/ETHZ-A-006787872","DOIUrl":"https://doi.org/10.3929/ETHZ-A-006787872","url":null,"abstract":"This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms of Abstract State Machines (ASMs) and takes the form of an interpreter. We describe the CLR as a hierarchy of eight submachines, which correspond to eight submodules into which the Common Intermediate Language (CIL) instruction set can be decomposed.","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","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":"129079127","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":"An Executable Specification of C++","authors":"Horatiu Jula, Nicu G. Fruja","doi":"10.3929/ETHZ-A-006780452","DOIUrl":"https://doi.org/10.3929/ETHZ-A-006780452","url":null,"abstract":"The Abstract State Machines (ASMs) theory has been applied to rigorously formalize the semantics of the C] programming language. The developed ASM model is validated here by providing an executable model which supports the experimentation with the ASM model. The executable model is a refinement of the ground model and is implemented in AsmL – the Abstract State Machine Language, which is embedded into Microsoft Visual Studio .NET. We report here on the development of AsmL Executable Specifications of the C] semantics by depicting our techniques on building and using AsmL as a Specification Language.","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"5 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":"124895237","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号
求助内容：
应助结果提醒方式：