Search Publications:

Publications

This database lists works authored by GrammaTech employees. It also lists works authored by customers describing research that made use of a GrammaTech product – deselect "Affiliated Author?" to include these papers in the listing.

, (), , pp .
 (), , pp .
 (), , pp .
 , editors. , .
 , ed , , .
, .
thesis, , .
Course at .
Technical Report , .
White Paper
 Presentation
 Abstract | PDF (copyright ) | HTML

()
()
()
()

Areas | Products | Sponsors | Publications | News | About Us © 2007-2010, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.