{"title":"动态模糊逻辑编程语言的指称语义","authors":"Xiaofang Zhao, Fanzhang Li","doi":"10.1109/GRC.2006.1635827","DOIUrl":null,"url":null,"abstract":"In reference (1), we have given the operational semantics model of dynamic fuzzy logic (DFL) programming language which has an excellent leading meaning to realizers. However, it is hard to see whether the language is well defined. That led us to pay attention to the denotational semantics because it is suitable for testing the validity of the implement of a language. In this paper we research the denotationl semantics of dynamic fuzzy logic programming language, which includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the abstract syntax, the descriptions of semantic objects and the handling functions of semantics.","PeriodicalId":400997,"journal":{"name":"2006 IEEE International Conference on Granular Computing","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Denotational semantics of dynamic fuzzy logic programming language\",\"authors\":\"Xiaofang Zhao, Fanzhang Li\",\"doi\":\"10.1109/GRC.2006.1635827\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In reference (1), we have given the operational semantics model of dynamic fuzzy logic (DFL) programming language which has an excellent leading meaning to realizers. However, it is hard to see whether the language is well defined. That led us to pay attention to the denotational semantics because it is suitable for testing the validity of the implement of a language. In this paper we research the denotationl semantics of dynamic fuzzy logic programming language, which includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the abstract syntax, the descriptions of semantic objects and the handling functions of semantics.\",\"PeriodicalId\":400997,\"journal\":{\"name\":\"2006 IEEE International Conference on Granular Computing\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-05-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 IEEE International Conference on Granular Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/GRC.2006.1635827\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 IEEE International Conference on Granular Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/GRC.2006.1635827","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Denotational semantics of dynamic fuzzy logic programming language
In reference (1), we have given the operational semantics model of dynamic fuzzy logic (DFL) programming language which has an excellent leading meaning to realizers. However, it is hard to see whether the language is well defined. That led us to pay attention to the denotational semantics because it is suitable for testing the validity of the implement of a language. In this paper we research the denotationl semantics of dynamic fuzzy logic programming language, which includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the abstract syntax, the descriptions of semantic objects and the handling functions of semantics.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
