WEB SOURCE CODE POST-PROCESSING: A NEW APPROACH BASED ON CLASSIC MODELS AND METHODS
暂无分享,去创建一个
The majority of today's technologies for distributed and web application development adopted programming languages from the C fam- ily. To increase the application security, popular such languages like Java, C#, and PHP have been designed without features for direct memory manipulation such as pointers, pointer arithmetic, or memory buer cast- ing to primitive types similar to the C union construct. The lack of these features makes much easier the implementation of pre-processing and post- processing models for source code simplication, verication and testing. In this paper, a formal approach post-processing mechanism for the web languages is describe. At the moment, the web developing languages has not use the post-processing techniques. Keywords: source to source transformation, abstract programming schemes, formal methods of source code representation, web applications.
[1] Alexandru Vancea,et al. Some Formal Approaches For Dynamic Life Session Management , 2007 .
[2] Brenda S. Baker,et al. A Comparison of Multilevel break and next Statements , 1979, JACM.
[3] C. D. S. Moss. Structured programming with loop statements , 1980, SIGP.
[4] Wei Meng Lee,et al. ASP.net Web Developer's Guide , 2001 .
[5] Jacques J. Arsac,et al. Syntactic source to source transforms and program manipulation , 1979, CACM.