Pub Date : 1900-01-01DOI: 10.3929/ETHZ-A-006787658
Horatiu Jula
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.
{"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}
Pub Date : 1900-01-01DOI: 10.3929/ETHZ-A-006787872
Nicu G. Fruja
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.
{"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}
Pub Date : 1900-01-01DOI: 10.3929/ETHZ-A-006780452
Horatiu Jula, Nicu G. Fruja
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.
抽象状态机(asm)理论已被应用于严格形式化C]编程语言的语义。通过提供一个支持ASM模型实验的可执行模型，对开发的ASM模型进行了验证。可执行模型是对基础模型的细化，并在AsmL(抽象状态机语言)中实现，该语言嵌入到Microsoft Visual Studio . net中。我们在这里通过描述我们构建和使用AsmL作为规范语言的技术，来报告C]语义的AsmL可执行规范的开发。
{"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号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：