DocumentCode
2668448
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
fYear
2011
fDate
1-3 Nov. 2011
Firstpage
9
Lastpage
12
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Networks and Intelligent Systems (ICINIS), 2011 4th International Conference on
Conference_Location
Kunming
Print_ISBN
978-1-4577-1626-3
Type
conf
DOI
10.1109/ICINIS.2011.41
Filename
6104681
Link To Document