This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...
Performance evaluation studies are to be an integral part of the design and tuning of parallel applications. We propose a hierarchical approach to the systematic characterization o...
Maria Calzarossa, Alessandro P. Merlo, Daniele Tes...
In this paper we view Lexicalized Tree Adjoining Grammars as the compilation of a tract and modular layer of linguistic description :the metagrammar (MG). MG provides a hierarchic...