Abstract
The French BOM1 (B with Optimised Memory) project has analysed issues related to code generation from B specifications. This analysis was built upon the shortcoming of the existing translators, and led to proposals to generate optimised code suitable for embedding in highly memory-constrained devices, such as smart cards. Two code translators have been developed: one targetting C, suitable for system or virtual machine development; the second targetting object oriented languages. This second translator enables the writing of Java Card2 applications. This paper presents results of the BOM project related to the Open-Source Java/Java Card translator. © Springer-Verlag 2003.
Cite
CITATION STYLE
Tatibouët, B., Requet, A., Voisinet, J. C., & Hammad, A. (2003). Java Card Code Generation from B Specifications. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 306–318. https://doi.org/10.1007/978-3-540-39893-6_18
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
