{"title":"基于属性语法的编程及其环境","authors":"Y. Shinoda, T. Katayama","doi":"10.1109/HICSS.1988.11859","DOIUrl":null,"url":null,"abstract":"The authors describe a programming paradigm they call attribute-grammar-based programming, its realization language AG, and the programming environment for AG, called SAGE (Support for AG Environment). AG is designed so that it can be used as a general-purpose programming language, as well as for the kernel language of various software production systems based on attribute grammars. AG is strongly typed; programs in AG are composed from data types and module definitions. The subsystems of SAGE, namely, the editor, the interpreter, the debugger, the compiler, the verifier, system browser, and other miscellaneous support modules are described, and the interactions among them are examined.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Attribute grammar based programming and its environment\",\"authors\":\"Y. Shinoda, T. Katayama\",\"doi\":\"10.1109/HICSS.1988.11859\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors describe a programming paradigm they call attribute-grammar-based programming, its realization language AG, and the programming environment for AG, called SAGE (Support for AG Environment). AG is designed so that it can be used as a general-purpose programming language, as well as for the kernel language of various software production systems based on attribute grammars. AG is strongly typed; programs in AG are composed from data types and module definitions. The subsystems of SAGE, namely, the editor, the interpreter, the debugger, the compiler, the verifier, system browser, and other miscellaneous support modules are described, and the interactions among them are examined.<<ETX>>\",\"PeriodicalId\":148246,\"journal\":{\"name\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1988.11859\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1988.11859","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Attribute grammar based programming and its environment
The authors describe a programming paradigm they call attribute-grammar-based programming, its realization language AG, and the programming environment for AG, called SAGE (Support for AG Environment). AG is designed so that it can be used as a general-purpose programming language, as well as for the kernel language of various software production systems based on attribute grammars. AG is strongly typed; programs in AG are composed from data types and module definitions. The subsystems of SAGE, namely, the editor, the interpreter, the debugger, the compiler, the verifier, system browser, and other miscellaneous support modules are described, and the interactions among them are examined.<>