DocumentCode :
2571038
Title :
Autocoding control software with proofs I: Annotation translation
Author :
Feron, Eric ; Jobredeaux, Romain ; Wang, Tim
fYear :
2011
fDate :
16-20 Oct. 2011
Firstpage :
1
Lastpage :
19
Abstract :
Scilab to C Translator with proofs o Autocoder with Proofs Prototype Built o Source: Scilab (very much like Matlab) o Target: c Language with ACSL annotations o Prototype mostly to test annotation translation
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA, USA
ISSN :
2155-7195
Print_ISBN :
978-1-61284-797-9
Type :
conf
DOI :
10.1109/DASC.2011.6096280
Filename :
6096280
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2571038
بازگشت