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…

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…

In this thesis, we introduce SableCC, an object-oriented framework that generates compilers (and interpreters) in the Java programming language. This framework is based on two fundamental design decisions. Firstly, the framework uses object-oriented techniques to automatically build a strictly-typed abstract…

Alarm correlation is becoming one of the most central techniques in managing the high volume of alarm messages in fault management area, since the speed and accuracy of fault management are heavily dependent on it. The alarm correlation approach of…

Programs written for machine execution will always be susceptible to information theft. This information can include trademarked algorithms, data embedded in the program, or even data the program accesses. As technology advances computer scientists are building more and more powerful…

The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property of methods or code in the context of program optimization as well as program understanding. However, gathering purity data is not…

The largest naturally-occurring lake of hyperacid brine in the world is located in the crater of Kawah Ijen volcano in East Java, Indonesia. The hyperacid Banyu Pahit River flows down the side of Kawah Ijen and is a major source…

Designers of software components can use finite-state properties to denote behavioral interface specifications which enforce client-side programming rules that state how the components ought to be used. This allows users of these components to check their client code for compliance…