A Formal Translation From an Imperative Language With Array to a Declarative Language

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.

Abstract

Abstract is missing.