In previous papers we have proposed a graphical query language for expressing traversal recursions in labelled, directed graphs. A fundamental feature of the language is the use of regular expressions to specify constraints on paths in these graphs. When only constants are allowed in regular expressions, it has been shown that these queries can be evaluated efficiently. In this paper, we study ...

PLAN (Programming Language for Active Networks) is a new language for programs that are carried in the packets of a programmable network. PLAN programs replace the packet headers (which can be viewed as`dumb' programs) used in current networks. As a header replacement, PLAN programs must be lightweight and of limited functionality. These limitations are mitigated by allowing PLAN code to call s...

This short position paper reports on our efforts to create an objectoriented language for concurrent and parallel programs based on the active object pattern. The resulting Joelle language is explicitly designed to enable smooth reuse of existing libraries, and intends to provide an evolutionary path for incrementally transitioning entire legacy programs into the multicore age.

Spreadsheet language programs, which include commercial spreadsheets, are among the most common form of software in use today. Unlike more "traditional" forms of software however, spreadsheet language programs are created and maintained by end-users with little or no programming experience. As a result, a high percentage of these programs contain errors. Unfortunately, software engineering rese...

Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-or...

Sparkle is a theorem prover specially constructed for the functional programming language Clean. In a pure functional language like Clean the values of the functional variables are constants; variables of functional programs do not change in time. Hence it seems that temporality has no meaning in functional programs. However, in certain cases (e.g. in interactive or distributed programs, or in ...

humanizing language learning materials helps language teachers to design activities that are linked to learn- ers’ lives and experiences. this can result in higher motivation and engagement in the process of foreign language learning. self-determination theory-based instruction enhances learners’ engagement and motiva- tion through supporting the basic psychological needs for autonomy, competen...