From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5c2142ee5e956186
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news2.google.com!goblin1!goblin.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: The concept of semantic patching
Date: Mon, 08 Aug 2011 20:20:08 +0200
Organization: A noiseless patient Spider
Message-ID: <877h6n7okn.fsf@ludovic-brenta.org>
References: <op.vzun75ezule2fv@index.ici>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: mx04.eternal-september.org;
 posting-host="Sz/Ug4bQf3r2Et+kO4HL4Q";
	logging-data="30563"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+52+uyJ5UXNrK4pOv46Lks"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
Cancel-Lock: sha1:bsQwqvR0IQ8dzzCS8G+5uEnsy0k=
	sha1:Sl9YG25Ro1VUatNk/NIdZdlmZZ8=
Xref: g2news2.google.com comp.lang.ada:21463
Date: 2011-08-08T20:20:08+02:00
List-Id: <comp.lang.ada>

Yannick Duchêne writes on comp.lang.ada:
> Hi Ada novelist,
>
> I recently learned about Coccinelle (after a French word meaning
> ladybird/ladybug… the authors are French)
> http://coccinelle.lip6.fr
>
> The quick introduction on the home page, first made me think about a
> new refactoring tool for C, then later to a semantic analysis provider
> like  the one we get with ASIS. However, looking a bit further, it
> seems to go  beyond what ASIS do. Mapped to the Ada world, this could
> be an ASIS  application, not ASIS on its own.
> http://coccinelle.lip6.fr/Intro_gen.pdf
>
> Just out of curiosity, does any one ever heard about something similar
> in the Ada word ? (proprietary or not, this does not matter, I just
> want to  know)

adasubst and adadep from Adalog and Jean-Pierre Rosen.

http://www.adalog.fr/compo1.htm#adadep

-- 
Ludovic Brenta.
The steering committee delivers, while high level intricacies prioritize
an intelligent dotted line.