From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: The concept of semantic patching
Date: Sun, 07 Aug 2011 17:34:43 +0200
Date: 2011-08-07T17:34:43+02:00 [thread overview]
Message-ID: <op.vzun75ezule2fv@index.ici> (raw)
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)
--
“Syntactic sugar causes cancer of the semi-colons.” [Epigrams on
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit
next reply other threads:[~2011-08-07 15:34 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-07 15:34 Yannick Duchêne (Hibou57) [this message]
2011-08-08 18:20 ` The concept of semantic patching Ludovic Brenta
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