Daniel Godbout, Béchir Ktari, Mohamed Mejri. A Formal Translation From an Imperative Language With Array to a Declarative Language. In Hamido Fujita, Mohamed Mejri, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada. Volume 147 of Frontiers in Artificial Intelligence and Applications, pages 319-339, IOS Press, 2006.
@inproceedings{GodboutKM06,
title = {A Formal Translation From an Imperative Language With Array to a Declarative Language},
author = {Daniel Godbout and Béchir Ktari and Mohamed Mejri},
year = {2006},
tags = {translation},
researchr = {https://researchr.org/publication/GodboutKM06},
cites = {0},
citedby = {0},
pages = {319-339},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada},
editor = {Hamido Fujita and Mohamed Mejri},
volume = {147},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-673-7},
}