Abstract
Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced.

Abstract

Abstract
The growth of the Internet and its associated technologies did open space for a new type of human interaction: virtual, social interaction environments. The introduction of regulated interaction in these virtual interaction spaces may be a solution towards their organization and inherent increased credibility. In this paper we propose a model for interaction regulation and control for virtual, social interaction spaces, called Social Theatres. A multi-layer software architecture was developed to support this web-based interaction model, allowing easy construction of such social interaction spaces and adaptation to users' devices. This paper discusses the advantages of regulated interaction, addresses the Social Theatre metaphor and presents the software architecture for the implementation of these regulated social interaction spaces.

Abstract
The growth of the Internet and its associated technologies did open space for a new type of human interaction: virtual, social interaction environments. Nowadays, these virtual places are spread all over the Internet and are accessible to almost everyone. However, in these environments interaction is still mostly ad hoc, which is a drawback that, as pointed out by some authors, may lead to their future extinction. Therefore, the introduction of regulated interaction in these virtual interaction spaces may be a solution towards their organization and inherent increased credibility. In this paper we propose a model for interaction regulation and control for virtual, social interaction spaces, called Social Theatres. Social Theatres stand for the application of the theatrical metaphor to social virtual environments, intended to virtually reproduce some of the common useful people interaction contexts. Inside these environments, users become actors, playing previously well defined roles within a well known, commonly established virtual interaction scenario. The interaction between users becomes regulated and has to obey and follow very well established rules, flows and conversation protocols. This paper discusses the advantages of regulated interaction, presents the Social Theatre metaphor and proposes a software architecture for the implementation of these interaction spaces. A small case study of a regulated virtual interaction environment is also presented.

Abstract
In this paper we propose an architecture whose main goal is to improve productivity in user interface development for data-intensive applications. This objective is to be achieved by defining a high level model that describes the user interface structure. That model will be integrated in the source code through non-functional language extensions. Our final goal is allowing developers to define user interface model by adding language extensions to the source code and then acquiring an external software package to which they delegate the implementation of the concrete user interface. Copyright © (2007) by Knowledge Systems Institute (KSI).

Abstract