Title :
Research on Formal Semantics with Networks
Author :
Xing, Chen ; Haitao, Wang ; Kun, Hong
Author_Institution :
Yunnan Provincial Key Lab. of Comput. Applic., Kunming Univ. of Sci. & Technol., Kunming, China
Abstract :
This paper introduces 4 kinds of formal semantics which are elicited from prevailing formal languages in web and are different from the traditional formal semantics theories. We provide network computation models for each kind of semantics that are isomorphism to the problems. We believe the networks work in the way close at some human intelligence.
Keywords :
formal languages; programming language semantics; Web; computer language; formal languages; formal semantics theories; human intelligence; network computation models; Calculus; Computational modeling; Computers; Fires; Formal languages; Mathematical model; Semantics; categories; formal semantics; network computation;
Conference_Titel :
Intelligent Networks and Intelligent Systems (ICINIS), 2011 4th International Conference on
Conference_Location :
Kunming
Print_ISBN :
978-1-4577-1626-3
DOI :
10.1109/ICINIS.2011.41
