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

Daniel Godbout, Bchir Ktari, Mohamed Mejri

Browse the full SoMeT paper archive.