[e-lang] Versioning of E and Kernel-E

[Karp, Alan H]

David Hopwood wrote:
> 
> Since Kernel-E (of a given version) is a strict subset of E 
> (of the same
> version), and a correct expander is supposed to be idempotent 
> on E code
> that is in that subset, any flaw in the Kernel-E AST 
> evaluator would be
> exploitable anyway, even if the Kernel-E evaluator were not directly
> accessible.
>
The operative word being "correct".  My concern was with an incorrect
expander producing invalid Kernel-E that might expose a flaw in the AST
evaluator.

_________________________
Alan Karp
Principal Scientist
Virus Safe Computing Initiative
Hewlett-Packard Laboratories 
1501 Page Mill Road
Palo Alto, CA 94304
(650) 857-3967, fax (650) 857-7029
https://ecardfile.com/id/Alan_Karp
http://www.hpl.hp.com/personal/Alan_Karp/
  
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Karp, Alan H.vcf
Type: text/x-vcard
Size: 423 bytes
Desc: Karp, Alan H.vcf
Url : http://www.eros-os.org/pipermail/e-lang/attachments/20060725/fef7c391/attachment.vcf