Autocoding control software with proofs I: Annotation translation

Eric Feron; Romain Jobredeaux; Tim Wang

doi:10.1109/DASC.2011.6096122

Autocoding control software with proofs I: Annotation translation

Eric Feron, Romain Jobredeaux, Tim Wang

Computer, Electrical and Mathematical Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Scopus citations

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. © 2011 IEEE.

Original language	English (US)
Title of host publication	AIAA/IEEE Digital Avionics Systems Conference - Proceedings
DOIs	https://doi.org/10.1109/DASC.2011.6096122 https://doi.org/10.1109/DASC.2011.6096280
State	Published - Dec 28 2011

Access to Document

Cite this

@inproceedings{f6aab833fca5490b81a0740be07459ba,

title = "Autocoding control software with proofs I: Annotation translation",

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. {\textcopyright} 2011 IEEE.",

author = "Eric Feron and Romain Jobredeaux and Tim Wang",

note = "Generated from Scopus record by KAUST IRTS on 2021-02-18",

year = "2011",

month = dec,

day = "28",

doi = "10.1109/DASC.2011.6096122",

language = "English (US)",

isbn = "9781612847979",

booktitle = "AIAA/IEEE Digital Avionics Systems Conference - Proceedings",

}

TY - GEN

T1 - Autocoding control software with proofs I: Annotation translation

AU - Feron, Eric

AU - Jobredeaux, Romain

AU - Wang, Tim

N1 - Generated from Scopus record by KAUST IRTS on 2021-02-18

PY - 2011/12/28

Y1 - 2011/12/28

N2 - 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. © 2011 IEEE.

AB - 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. © 2011 IEEE.

UR - http://ieeexplore.ieee.org/document/6096280/

UR - http://www.scopus.com/inward/record.url?scp=84255187592&partnerID=8YFLogxK

U2 - 10.1109/DASC.2011.6096122

DO - 10.1109/DASC.2011.6096122

M3 - Conference contribution

SN - 9781612847979

BT - AIAA/IEEE Digital Avionics Systems Conference - Proceedings

ER -

Autocoding control software with proofs I: Annotation translation

Abstract

Access to Document

Other files and links

Cite this