Code transformation is widely used in programming. Most developers are familiar with using a preprocessor to perform syntactic transformations (symbol substitution and macro expansion). However, it is often necessary to perform more complex transformations using semantic information contained in the source code. In this thesis, we developed EXTRACT; a general-purpose code transformation language. Using EXTRACT, it is possible to specify, in a modular and extensible manner, a variety of transformations on Java code such as insertion, removal, and restructuring. In support of this, we also developed JPath, a path language for identifying portions of Java source code. Combined, these two technologies make it possible to identify source code that is to be transformed and then specify how that code is to be transformed. We evaluate our technology using three case studies: a type name qualifier which transforms Java class names into fully-qualified class names; a contract checker which enforces pre- and post-conditions across behavioral subtypes; and a code obfuscator which mangles the names of a class's methods and fields such that they cannot be understood by a human, without breaking the semantic content of the class.

Šiame darbe tiriama, kaip kinta procesorinių komponentų (ALU įrenginio, duomenų registro, instrukcijų registro bei programos skaitiklio registro) techniniai parametrai keičiant procesoriaus apdorojamos informacijos dydį bitais. Su Synopsys programine įranga buvo susintezuoti komponentų VHDL programavimo kalba parašyti aprašai, taip gaunant apytikrius procesorinių komponentų techninius parametrus (kristalo plotas, schemai realizuoti reikalingas elementų kiekis, schemos vidinis galingumas). Šiam tikslui buvo susintezuoti procesoriniai komponentai, kurie apdorja 8, 16, 32 ir 64 bitų ilgio duomenis. Tai dažniausiai sutinkami duomenų ilgiai, su kuriais tenka susidurti dabartiniams procesoriams. Iš gautų sintezės rezultatų padaryta išvada, kad keičiant apdorojamų duomenų ilgį bitais galima preliminariai numatyti susintezuotos schemos kristalo plotą, schemai realizuoti reikalingą loginių elementų kiekį, vidinį schemos galingumą. Buvo nustatyta, kad didėjant apdorojamos informacijos kiekiui, padidėja įrenginių, kurie galėtų apdoroti šią informaciją, kristalo plotas, jiems realizuoti reikalingas loginių elementų kiekis bei vidinis galingumas. / This work examines how the change of processed data length influence the technical parameters of processor’s components such as arithmetic logic unit (ALU), data registers, instruction registers and program counter registers. It was done by using Synopsis software which enabled the synthesis of the needed components. The synthesis results showed information about occupied area, the number of cells and the internal voltage of the synthesised scheme. There were chosen the most common length of processed data (8, 16, 32 and 64 bit). The results of synthesis showed, that it is possible to predict the results of synthesis by changing the length of the processed data. The longer word of information must be processed by components, the larger area is needed for implementation of the processor components, more logical element are needed to implement the components and the greater internal voltage of the scheme will be.

The purpose of this paper is to study the basic theoretic structure of intelligent data base by means of logic. There are three parts of this paper. The first part introduces the concept and relational algebra in relational data base. The second part focuses on the relationship between logic and the structure of intelligent data base and compares the intelligent database application. The last part, a SQL (Structure Query Language) queries simulation program using logic programming language Prolog, demonstrates how logic applies to query languages. / Department of Computer Science

Thesis (M.S.)--West Virginia University, 2005. / Title from document title page. Document formatted into pages; contains xiv, 189 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 157-160).

Thesis (M. Ed.)--University of Hong Kong, 1995. / Includes bibliographical references (leaf 132-137).

Thesis (M. Ed.)--University of Hong Kong, 1998. / Includes bibliographical references (leaf 78-82).

Thesis (M.Ed.)--University of Hong Kong, 1995. / Includes bibliographical references (leaves 132-137). Also available in print.

Thesis (M.Ed.)--University of Hong Kong, 1998. / Includes bibliographical references (leaves 78-82). Also available in print.

Bibliography: leaves 173-184. This thesis describes Visor++, a tool for visualising programs written in CC++, a task-parallel, object-orientated language derived from C++. Visor++ provides a framework of visualising task-parallel object-orientated programs in the absence of language support for visualisation, i.e. for programs such as CC++ which are written in languages which are not "visualisation-conscious". The development of techniques using a wide selection of language features are described and the effectiveness testified by experimentation.

This study seeks to explore relationships between Logo turtle graphics and visual literacy by addressing two related questions: (a) can traditional visual literacy concepts, as found in the published literature, be synthesized in terms of Logo turtle graphics, and (b) do the literature and "hands-on" experience with turtle graphics indicate that visual competencies are pertinent to graphics-based electronic communications in computer culture? The findings of this research illustrate that Logo turtle graphics is a self-contained model to teach visual literacy skills pertinent to computer culture. This model is drawn from synthesizing published literature and the classroom experience of Logo learners, which is demonstrated through their visual solutions to Logo assignments. A visual analysis and interpretation of the subjects' work concludes that the principles and competencies associated with traditional visual literacy skills manifest during the Logo turtle graphics experience. The subjects of this study demonstrate that visual literacy pertinent to computer culture includes reading, writing, and drawing alphanumerics and pictographic information with linguistic equivalence. The logic for this symbolic metaphor is body-syntonic spatial experience explained in geometric terms. The Logo learner employs computational models for visual ideas and visual-verbal symbols for spatial ideas in the course of doing turtle graphics.