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…