For the purpose of gathering and publishing Open Data, the Estonian Environmental Information Center (EEIC) has numerous databases of different architecture and structure available. An Estonian Water Information System (EWIS) is being planned and already being developed using these databases. Countries such as the USA and UK have already taken leaps to have their it available to the general pub...

The conventional stomge allocation scheme for block srruclured languages requires the allocation of stack space and the building of a display with each procedure call. Several techniques have been proposed for analyzing the call graph of a program that make it possible to eliminate these operations from many call sequences. In this paper, we compare these techniques. and propose an improved all...

Interprocedural slicing is a technique applied on programs with procedures which relies on how the information is passed at procedure call/return sites. Such a technique computes program slices (i.e. program fragments restricted w.r.t. a given criterion). The existing approaches to interprocedural slicing exploit the particularities of the underlying language semantics in order to compute progr...

We propose a framework called configurable proofcarrying code, which allows the untrusted producer of mobile code to provide the bulk of the code verifier used by a code receiver to check the safety of the received code. The resulting system is both more flexible and also more trustworthy than a standard proof-carrying code system, because only a small part of the verifier needs to be trusted, ...

Introduction The Committee against Torture (CAT), is one of seven treaty bodies in the UN system. Table 1 gives an overview of the treaty bodies: when they entered into force, the number of experts and the number of State Parties to the Convention. A treaty body is “a committee of independent experts appointed to monitor the implementation by States Parties of the core international human right...

In many execution environments software components cannot interoperate easily because of differences in their interfaces and implementations. Additional software is often required to integrate such components and implement the interfacing decisions between them. For example, a procedure call across architectures may require extensive software to relocate data and coerce parameters. Even when po...

This article considers those monoids S satisfying one or both of the finitary properties (R) and (r), focussing for the most part on inverse monoids. These properties arise from questions of axiomatisability of classes of S-acts, and appear to be of interest in their own right. If S weakly right noetherian (WRN), that is, S has the ascending chain condition on right ideals, then certainly (r) h...

When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by restricting the order in which slots can be allocated or by using different abstractions ad hoc for allocating in different regions of a frame. Such techniques cause the implementation of the layout to be spread over m...