From: Martin <martin.dowie@btopenworld.com>
Subject: Re: Is the Ada compiler of Polyspace invalid?
Date: Fri, 18 Feb 2011 09:08:17 -0800 (PST)
Date: 2011-02-18T09:08:17-08:00 [thread overview]
Message-ID: <863bf7a0-e158-4ba7-9c21-a2337fa9432f@l18g2000yqm.googlegroups.com> (raw)
In-Reply-To: alpine.LNX.2.00.1102181624190.7358@Bluewhite64.example.net
On Feb 18, 4:27 pm, Paul Colin Gloster <Colin_Paul_Glos...@ACM.org>
wrote:
> The code checkers from Polyspace are not compilers.
But they do contain the front-end of a compiler for the language they
support. For one, they need to translate the code into their own
internal representation.
-- Martin
Polyspace user for many-a-year
next prev parent reply other threads:[~2011-02-18 17:08 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-18 8:58 Is the Ada compiler of Polyspace invalid? Julian Leyh
2011-02-18 9:40 ` Martin
2011-02-21 8:32 ` Julian Leyh
2011-02-21 15:54 ` Adam Beneschan
2011-02-18 16:27 ` Paul Colin Gloster
2011-02-18 16:42 ` Simon Wright
2011-02-18 18:04 ` Paul Colin Gloster
2011-02-18 16:43 ` Adam Beneschan
2011-02-18 17:08 ` Martin [this message]
2011-02-18 16:50 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox