We wrote an ACL2 to VHDL translator for our verification purpose. One major problem of translation between programming languages and the ACL2 language is the semantic gap caused by the translation; it is not easy to translate one language to another while precisely preserving its semantics. Our approach is to write a translator for a small subset of the ACL2 language for which there is no loss ...

Edith Wharton played a far more important role than is usually recognized in the transformation of French perceptions both American history and literature first two decades twentieth century. In this article, I trace different stages that transformation. At first, France, was hardly thought as an writer at all: she merely disciple Balzac Bourget who happened to be American. But by early 1920s b...

it is evident for everyone that translation is of importance in communication. the reason is due to the fact that translation is considered both as a building bridge and a common bond among various cultures and people around the world. many researchers and theorists in the translation field consider style in the literary translation as a significant subject. the present study tries to evaluate ...

English translations of texts associated with Arabic fiction remain largely unexplored from a sociological perspective. Drawing on Pierre Bourdieu’s sociology, this paper aims to examine the genesis of Arabic fiction translation into English as a socially situated activity. Works of Arabic fiction emerged in English translation in the early twentieth century. Since then, this intellectual field...