Fillable Prior estimate - NASA - ti arc nasa

Description
Towards Certifying Domain-Specific Properties of Synthesized Code Extended Abstract Grigore Rosu NASA Ames Research Center - USRA/RIACS grosu ptolemy.arc.nasa.gov Jon Whittle NASA Ames Research Center - QSS Group Inc jonathw ptolemy.arc.nasa.gov Abstract We present a technique for certifying domain-specific properties of code generated using program synthesis technology. Program synthesis is a maturing technology...
Fill & Sign Online, Print, Email, Fax, or Download
  • Fill Online
  • eSign
  • eFax
  • Email
  • Add Annotations
  • Share
Fill & Sign Online, Print, Email, Fax, or Download
Fill Online