SPARK: Static Program Analysis Reasoning and Retrieving Knowledge

Sábháilte in:

Sonraí bibleagrafaíochta
Foilsithe in:	arXiv.org (Nov 3, 2017), p. n/a
Príomhchruthaitheoir:	Sodsong, Wasuwee
Rannpháirtithe:	Scholz, Bernhard, Chawla, Sanjay
Foilsithe / Cruthaithe:	Cornell University Library, arXiv.org
Ábhair:	Artificial intelligence Pipelines Case studies Recurrent neural networks Program verification (computers) Compilers Security Machine learning
Rochtain ar líne:	Citation/Abstract Full text outside of ProQuest
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Bí ar an gcéad duine le trácht a dhéanamh!