From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=3.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!9uvvnGqPNg5toS3RMiHIAA.user.46.165.242.91.POSTED!not-for-mail
From: Manuel Gomez <mgrojo@gmail.com>
Newsgroups: comp.lang.ada
Subject: Automatic Serialization of Dynamic Structures in Ada
Date: Fri, 4 Mar 2022 21:26:21 +0100
Organization: Aioe.org NNTP Server
Message-ID: <svtsld$13d2$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="36258"; posting-host="9uvvnGqPNg5toS3RMiHIAA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.5.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: reader02.eternal-september.org comp.lang.ada:63577
List-Id: <comp.lang.ada>

I wanted to do automatic serialization of Ada types that make use of 
dynamic memory management with access types, but the standard solution 
only works for object values, not for access values. I've found a 
technical report describing a solution for that case, which apparently 
was implemented. Does anyone know if this tool is or were publicly 
available? Was an AI finally proposed as suggested in the Future Work?

https://core.ac.uk/download/pdf/147904594.pdf