Papers
This page collects some of
my papers. If you are interested in my curriculum, you can find it here.
This paper talks about two new paradigms of
inheritance, set and deep inheritance, which "extends" the classical
inheritance by extension (breadth inheritance). It is being completed and will
be available in few weeks.
Multithreaded connectable objects may be the cause of several problems to
clients incapable of multithreaded operations. This paper examines how to
overcome those problems when proper inter-thread marshalling may not be used.
The Paper and the Accompanying
samples
Design By Contract in C++
Design By Contract, a design technique first
implemented in Eiffel, may be used even in C++. In the proposed paper a
possible way to pursue that result is shown, using a class template
Verify<T>. It solves the following problems
·
preconditions
definition and evaluation
·
postconditions
definition and evaluation
·
class-invariant
definition and evaluation
Design By Contract
in C++ version 1.2
in English
Design By Contract in C++ version 1.2 in Italian
Source files for the version 1.1 and 1.2
Published on Professional Deveoper's Journal, October 98, p. 37.
Nir-operators
Nir operators are the extensions to n arguments
of the infix binary relational operators. In the paper Nir-operators
in C++ two
techniques for the implementation of nir-operators in the C++ language are
examined, taking into account the differences between the AT&T and the
ANSI/ISO versions of the language.
Published on Computer
Programming (Infomedia), March 99, p. 68.
Crit & Decrit 1.2
Crit and Decrit are two little programs which
constitute a symmetric cryptosystem. The version here available is only for
MS-DOS and cannot encrypt files bigger than 500k. With them you can get a
little postscript paper Techniques for Secrecy of
Information, which introduces the reader to the main encryption
techniques, from the point of view of the programmer of cryptosystems (and of
the eavesdropper...). Furthermore this paper talks about User Authentication, Threshold
Schemes and Zero Knowledge Proofs.
Click here to download Crit and Decrit 1.2
Click here to download Techniques for Secrecy of Information 1.2