From: madmats@elma.epfl.ch (Mats Weber)
Subject: procedure types
Date: 19 Jan 89 09:27:05 GMT [thread overview]
Message-ID: <890119102705.20e0039e@elcc.epfl.ch> (raw)
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
next reply other threads:[~1989-01-19 9:27 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-01-19 9:27 Mats Weber [this message]
1989-01-19 18:07 ` procedure types William Thomas Wolfe,2847,
1989-01-19 19:55 ` Bob Hathaway
1989-01-19 21:53 ` William Thomas Wolfe,2847,
-- strict thread matches above, loose matches on Subject: below --
1989-01-09 12:37 Mats Weber
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox