Path: utzoo!attcan!uunet!lll-winken!ncis.llnl.gov!ncis!helios.ee.lbl.gov!pasteur!agate!ucbvax!elma.epfl.ch!madmats
From: madmats@elma.epfl.ch (Mats Weber)
Newsgroups: comp.lang.ada
Subject: procedure types
Message-ID: <890119102705.20e0039e@elcc.epfl.ch>
Date: 19 Jan 89 09:27:05 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 16


Bill Wolfe writes :

>  Quick question: assuming the idea of a specification is expanded to
>  include all externally accessible objects, what is the source of
>  the insecurity?

Could you please clarify your question (may be with an example). Thanks

Mats Weber
Swiss Federal Institute of Technology
EPFL DI LITh
1015 Lausanne
Switzerland

e-mail : madmats@elma.epfl.ch