Spec -- Technical Report
Abstract
This paper introduces the bases of Spec in two parts: (1) an example of implementation, reuse , and specialization of sub widgets, (2) the public API of the basic widgets.
Ce papier présente les bases de Spec en deux parties: (1) un exemple d'implémentation, de réutilisation et de spécialisation de sous widgets, (2) l'API publique des widgets basiques.
Origin : Files produced by the author(s)