Priorities
Laurent Martelli
martelli@iie.cnam.fr
03 Jan 1999 13:23:59 +0100
>>>>> "Tril" == Tril <dem@tunes.org> writes:
Tril> Yes, the type system is what provides the security.
Tril> Altering binary code.. is interesting. Since the system
Tril> knows the binary code depends on the source, changing the
Tril> binary code will give you several options:
It may be an insteresting technique to achieve afficiency, but it
should not be allowed to be done in the code/specs, since it is just
an implementation choice. But the compiler/interpreter shoud be
allowedto do it if it can give better efficiency.
Laurent