Abstract | ||
---|---|---|
This paper presents the results of the RNTL BOM project, which aimed to develop an approach to generate efficient code from B formal developments. The target domain is smart card applications, in which memory and code size is an important factor. The results detailed in this paper axe a new architecture of the translation process, a way to adapt the B-0 language in order to include types of the target language and a set of validated optimizations. An assessment of the proposed approach is given through a case study, relative to the development of a Java Card Virtual Machine environment. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-45236-2_7 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
code generation,embedded systems,B method,smart cards | Architecture,Virtual machine,Programming language,Code size,Computer science,Smart card,Code generation,B-Method,Embedded C,Software development | Conference |
Volume | ISSN | Citations |
2805 | 0302-9743 | 31 |
PageRank | References | Authors |
1.63 | 11 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Didier Bert | 1 | 255 | 34.23 |
Sylvain Boulmé | 2 | 50 | 5.69 |
Marie-Laure Potet | 3 | 190 | 21.34 |
Antoine Requet | 4 | 211 | 18.37 |
Laurent Voisin | 5 | 415 | 21.72 |