From: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: ANNOUNCE: New white paper available on www.sparkada.com
Date: Tue, 25 Sep 2001 17:42:40 GMT
Date: 2001-09-25T17:42:40+00:00 [thread overview]
Message-ID: <km3s7.6479$LS2.2113827970@newssvr16.news.prodigy.com> (raw)
In-Reply-To: 7sn13ksoux.fsf@salmon.ls.fi.upm.es
"Manuel Carro" <boris@lml.ls.fi.upm.es> wrote in message
news:7sn13ksoux.fsf@salmon.ls.fi.upm.es...
:
: > Do you have any links to description of what Abstract Interpretation
: > is - i.e. what is it based on?
:
: Basically it is a general means to analyze programs by mapping
: them into an abstract value space.
There is also a brief description at
http://www.polyspace.com/abstract.htm
prev parent reply other threads:[~2001-09-25 17:42 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-09-21 13:56 ANNOUNCE: New white paper available on www.sparkada.com Rod Chapman
2001-09-24 8:45 ` Hambut
2001-09-24 8:55 ` Martin Dowie
2001-09-24 13:24 ` Manuel Carro
2001-09-25 17:42 ` Ken Garlington [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox