From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: The concept of semantic patching
Date: Mon, 08 Aug 2011 20:20:08 +0200
Date: 2011-08-08T20:20:08+02:00 [thread overview]
Message-ID: <877h6n7okn.fsf@ludovic-brenta.org> (raw)
In-Reply-To: op.vzun75ezule2fv@index.ici
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.
next prev parent reply other threads:[~2011-08-08 18:20 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-07 15:34 The concept of semantic patching Yannick Duchêne (Hibou57)
2011-08-08 18:20 ` Ludovic Brenta [this message]
2011-08-09 15:50 ` Yannick Duchêne (Hibou57)
2011-08-09 16:38 ` J-P. Rosen
2011-08-11 7:04 ` onox
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox