|C code validation service email@example.com (1996-07-15)|
|Re: C code validation service firstname.lastname@example.org (1996-07-19)|
|getting symbolic C structure offsets (was: Re: C code validation servi email@example.com (Jonathan Thornburg) (1996-07-27)|
|Re: getting symbolic C structure offsets (was: Re: C code validation s firstname.lastname@example.org (1996-07-31)|
|From:||email@example.com (Derek M Jones)|
|Date:||15 Jul 1996 11:46:20 -0400|
NPL (National Physical Laboratory) announced on 5th July that they
will be offering a C code validation service.
This service will use the Model Implementation C Checker to do
full static and dynamic checks for strict conformance to the
ISO C standard.
A seminar is being held on 4th September, at NPL, to present
this service. The cost is #80 + VAT (only a privatised
government establishment would think of charging people to come
to an extended sales presentation, with lots of technical bits).
Contact Brian Wichmann on 0181-943-6976, email firstname.lastname@example.org
Derek M Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd email: email@example.com
Return to the
Search the comp.compilers archives again.