From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_40,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
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
List-Id: <comp.lang.ada>


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