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

Daniel Godbout Béchir Ktari Mohamed Mejri

Published in: SoMeT (2006)

Keyphrases

declarative language
deductive databases
modeling language
formal model
real world
artificial intelligence
query translation
model theoretic
case study
data sources
information extraction
logic programming
machine translation
machine translation system
language resources
visual languages