A Static Semantics for AspectJ

来源 :2012年全国理论计算机科学学术年会(NCTCS2012) | 被引量 : 0次 | 上传用户:tianstone
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The Aspect-Oriented Programming provides a way of modularization of crosscuting concerns in software.In recent years,many researchers have developed some AOP languages,such as AspectJ,AspectC++ and so on.Among these Languages,AspectJ is the most popular one.
其他文献
In order to deposit Cu seed layer on ultra large scale integration (ULSI) devices,a new large-area ((○)278,378mm) electron cyclotron resonance (ECR) plasma has been generated by using a permanent magn
A novel method for thin film coatings on capillary inner walls was introduced by atmospheric pressure DBD plasma.The advantage of this method is that the length of the capillary could be increased and
The pulsed chemical oxygen-iodine laser (COIL) with the advantages of high power operation,excellent optical beam quality and short wavelength of 1.315μm has played a significant role in industrial an
Ion engine is a prospective propulsion device for deep space exploration because of its high specific impulse,high efficiency and light weight.
To measure ion dose in plasma source ion implantation (PSII) is very important for monitoring processing reliability and repeatability.
Inductively coupled plasma (ICP) has been widely used in semiconductor industry,due to its perfect characteristics of reduced ion damage,independently controllable ion energy and high density plasmas.
As the plasma etching chamber becomes larger,information on spatial distribution of chemically reactive species in plasma is necessary.Spectroscopic diagnostic method can be one of indirect methods fo
In this paper,a cold atmospheric plasma (CAP) jet array is generated by a scalable two-dimensional (2D) array device of seven CAP jets arranged in a honeycomb configuration and designed with a single-
Three types of the advanced plasma sources are represented,i.e.dc cold cathode and RF gridded ion sources as well as prolonged plasma source operating at atmospheric pressure.
The experimental study of the plasma parameters as well as RF power input mechanism to the new modification of RF dscharge,i.e.hybrid discharge sustained by both potential and vortical RF electrical f