From: Peter Amey <pna@erlang.praxis.co.uk>
Subject: Re: Call by reference vs. call by value
Date: 1996/07/23
Date: 1996-07-23T00:00:00+00:00 [thread overview]
Message-ID: <Pine.SUN.3.91.960723082703.22250A-100000@erlang.praxis.co.uk> (raw)
In-Reply-To: Duy5ur.4Dt@world.std.com
This is another Ada feature well covered by the SPARK subset. The rules
of SPARK (which are checked by the SPARK Examiner) prohibit all cases
of aliasing where program meaning might be affected by the parameter
passing mechanism used. A SPARK program has copy-in, copy-out semantics
regardless of the compiler used to compile it.
Peter
next prev parent reply other threads:[~1996-07-23 0:00 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-20 0:00 Call by reference vs. call by value Christopher Felaco
1996-07-20 0:00 ` James A. Krzyzanowski
1996-07-20 0:00 ` Robert Dewar
1996-07-20 0:00 ` Robert Dewar
1996-07-21 0:00 ` Robert A Duff
1996-07-21 0:00 ` Robert Dewar
1996-07-22 0:00 ` Robert A Duff
1996-07-23 0:00 ` Peter Amey [this message]
1996-07-23 0:00 ` Robert Dewar
1996-07-24 0:00 ` Robert A Duff
1996-07-23 0:00 ` Robert A Duff
1996-07-27 0:00 ` Peter Morris
1996-07-28 0:00 ` Robert A Duff
1996-07-24 0:00 ` Richard A. O'Keefe
1996-07-22 0:00 ` Karl Cooper {46901}
1996-07-22 0:00 ` Robert Dewar
1996-07-22 0:00 ` Felaco
1996-07-22 0:00 ` Robert A Duff
1996-07-30 0:00 ` Richard A. O'Keefe
1996-07-22 0:00 ` Robert Dewar
1996-07-30 0:00 ` Felaco
1996-07-31 0:00 ` Robert A Duff
1996-08-02 0:00 ` Robert Dewar
1996-08-03 0:00 ` JP Thornley
1996-08-05 0:00 ` Roderick Chapman
1996-07-21 0:00 ` Robert A Duff
1996-07-21 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
1996-07-25 0:00 Marin David Condic, 407.796.8997, M/S 731-93
1996-07-26 0:00 ` Peter Amey
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox