* ANN: SPARK Book - Sample Chapters now free on-line
@ 2003-03-11 16:26 Rod Chapman
[not found] ` <878yvl3khn.fsf@fbigm.here>
0 siblings, 1 reply; 2+ messages in thread
From: Rod Chapman @ 2003-03-11 16:26 UTC (permalink / raw)
I'm pleased to announce the availability of the "Sample Chapters" of the
forthcoming new book "High Integrity Software: The SPARK Approach to
Safety and Security" by John Barnes.
The sample chapters are freely available in PDF format on www.sparkada.com
The book is now at the printers. We expect a UK
publication date of 21st March. Availability is
expected in the USA approximately 4 weeks later.
The book can be pre-ordered now at various book-sellers including
www.amazon.com and www.amazon.co.uk.
All the best,
Rod Chapman, SPARK Team, Praxis Critical Systems Limited
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: ANN: SPARK Book - Sample Chapters now free on-line
[not found] ` <vaqcvcruvo1493@corp.supernews.com>
@ 2003-05-01 12:54 ` Volkert
0 siblings, 0 replies; 2+ messages in thread
From: Volkert @ 2003-05-01 12:54 UTC (permalink / raw)
"Neil Groves" <neilgroves_no_spam@dial.pipex.com> wrote in message news:<vaqcvcruvo1493@corp.supernews.com>...
> I thought that SPARK required contra-variance which is fundamentally
> incompatible with the covariance in Eiffel?
There is no concept of contra-/co-variance in Spark.
As i understand Spark, the redefinition of a procedure (method)
in a child of a tagged type (class) must have >>exactly<< the
same procdure signature as given with the parent type. A very
strong conformance rule, but remember: Spark has NO references (entities)
and NO dispatching (class wide types with offers you dynamic binding)
Volkert
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2003-05-01 12:54 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-03-11 16:26 ANN: SPARK Book - Sample Chapters now free on-line Rod Chapman
[not found] ` <878yvl3khn.fsf@fbigm.here>
[not found] ` <uel5b6ocq.fsf@xsol.com>
[not found] ` <vaqcvcruvo1493@corp.supernews.com>
2003-05-01 12:54 ` Volkert
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox