comp.lang.ada
 help / color / mirror / Atom feed
* Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies
@ 2014-12-16 19:33 Rego, P.
  2014-12-16 20:44 ` Jacob Sparre Andersen
  0 siblings, 1 reply; 4+ messages in thread
From: Rego, P. @ 2014-12-16 19:33 UTC (permalink / raw)


Hello guys,

Ada Europe 2013 had the presentation "Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies", do someone have (and could send) the paper? I found the presentation in <http://www.ada-europe2013.org/talks/S8T2%20Ada-Europe-2013-dynamic-memory-jjh.pdf>, but it would be very nice to have the full paper.

Thanks.
Rego.


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies
  2014-12-16 19:33 Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies Rego, P.
@ 2014-12-16 20:44 ` Jacob Sparre Andersen
  2014-12-17  7:10   ` Dirk Craeynest
  0 siblings, 1 reply; 4+ messages in thread
From: Jacob Sparre Andersen @ 2014-12-16 20:44 UTC (permalink / raw)


Rego wrote:

> Ada Europe 2013 had the presentation "Using Dynamic Memory in
> Safety-Critical applications Reliable Software Technologies", do
> someone have (and could send) the paper? I found the presentation in
> <http://www.ada-europe2013.org/talks/S8T2%20Ada-Europe-2013-dynamic-memory-jjh.pdf>,
> but it would be very nice to have the full paper.

It was a panel contribution, so there is probably not an associated paper.

Greetings,

Jacob
-- 
Scripts for automating parts of the daily
operations of your Linux system:
                    http://edb.jacob-sparre.dk/tcsh-samling/

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies
  2014-12-16 20:44 ` Jacob Sparre Andersen
@ 2014-12-17  7:10   ` Dirk Craeynest
  2014-12-18  9:39     ` Rego, P.
  0 siblings, 1 reply; 4+ messages in thread
From: Dirk Craeynest @ 2014-12-17  7:10 UTC (permalink / raw)


In article <87oar3wchq.fsf@adaheads.sparre-andersen.dk>,
Jacob Sparre Andersen  <jacob@jacob-sparre.dk> wrote:
>Rego wrote:
>> Ada Europe 2013 had the presentation "Using Dynamic Memory in
>> Safety-Critical applications Reliable Software Technologies", do
>> someone have (and could send) the paper? I found the presentation in
[...]
>> but it would be very nice to have the full paper.
>
>It was a panel contribution, so there is probably not an associated paper.

A report on this panel discussion was published in the Ada User
Journal, AUJ issue 34-3, September 2013.

All members of Ada-Europe receive issues of the AUJ (4 per year).
For info on how to join, see: http://www.ada-europe.org/info/join/

An online archive of AUJ back issues is available at
http://www.ada-europe.org/auj/archive/

The AUJ issue with the above mentioned Panel Report is at
http://www.ada-europe.org/archive/auj/auj-34-3.pdf
The report is included at pages 54-56 of that PDF.

I hope this helps.

Dirk Craeynest
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

*** 20th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2015
*** June 22-26, 2015 **** Madrid, Spain **** http://www.ada-europe.org

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies
  2014-12-17  7:10   ` Dirk Craeynest
@ 2014-12-18  9:39     ` Rego, P.
  0 siblings, 0 replies; 4+ messages in thread
From: Rego, P. @ 2014-12-18  9:39 UTC (permalink / raw)


Thanks!


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2014-12-18  9:39 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-12-16 19:33 Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies Rego, P.
2014-12-16 20:44 ` Jacob Sparre Andersen
2014-12-17  7:10   ` Dirk Craeynest
2014-12-18  9:39     ` Rego, P.

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox