This thesis presents Dava, a Java bytecode to Java source code decompiler built on top of the Soot framework., The Java Virtual Machine Specification of valid bytecode is much less restrictive than the Java Language Specification of valid Java source…

Java decompilers convert Java class files to Java source. Common Java decompilers are javac-specific decompilers since they target bytecode produced from a particular javac compiler. We present work carried out on Dava, a tool-independent decompiler that decompiles bytecode produced from…

This thesis discusses the design and implementation of a database programming language that supports the relational algebra for nested relations with arbitrary but finite levels of nesting, and the domain algebra for nested attributes at any level of the nested…

This Thesis deals with the cultural encounter between Islam and Javanese culture as represented by the slametan ritual. The major purposes of this thesis are threefold; (1) to give a brief account of the historical backdrop of the encounter between…

Despite the popularity of Java, problems may arise from potential data-race conditionsduring execution of a Java program. Data-races are considered errors in concurrent pro-gramming languages and greatly complicate both programming and runtime optimizationefforts. A race-free version of Java is therefore…

Many compiler analyses and optimizations require precise information about the behaviour of pointers in order to be effective. Points-to analysis is a technique for computing this information that has been studied extensively over the last decade. Most of this research…

This thesis documents the design and implementation of computations, the procedural abstraction facility of a database programming language. Conceived as a special form of relation, computations fit neatly into the relational model. A computation is defined over a set of…

This thesis discusses the design and implementation of a relational database programming language, focusing on the domain algebra for nested relations. While the relational algebra provides operations to manipulate relations as data primitives, the domain algebra allows the manipulation of…

It is a common practice to retrieve code from an outside source, execute it and return the result to the user. During execution secure data can enter the program by user input or access of a data resource. It is…

In this thesis I examine the issues of sex education in Western and Javanese society using a conceptual-comparative approach. My main goal is to highlight the importance of sex education for young people in Javanese society. Research foci and discoveries…