论文部分内容阅读
3.Operational SemanticsIn this section we give an operational semantics for Edison.1.In contrast to the staticsemantics,the operational semantics is sometimes called dynamic semantics.Successful research in the denotational approach tells us that to construct asemantics for a language including declarations of entities such as variables,proceduresand modules,it is necessary to:Ⅰ.Distinguish the denotable values(locations,procedure and module abstractions)from the storable values(truth values,natural numbers and files).2.Separate the concepts of store(mapping locations to storable values)and
3.OperationalSemanticsIn this section we give an operational semantics for Edison.1. In contrast to the staticsemantics, the operational semantics is still called dynamic semantics.Successful research in the denotational approach tells us that to construct asemantics for a language including declarations of entities such as variables, procedures and modules, it is necessary to: I. distinguished the denotable values (locations, procedure and module abstractions) from the storable values (truth values, natural numbers and files) .2.Separate the concepts of store to storable values) and