This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...