A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.

Active Translation into English and Italian of Hosseini's adaptation of the Persian epic,"Shahname"

This thesis proposes a translation from Persian into Italian and English of an ancient Persian epic called Shahname, or literally “The Book of Kings,” by Ferdosi, first published in the 11th century CE. The translation proposed, however, is not based on the original book by Ferdosi, which is written all in verse, but rather, an edited, shorter, and simplified version written in prose, by Mohamad Hosseini, first published in 2013. Nonetheless, in his version, Hosseini included some of the verses from the original poems in order to show the value and the beauty of Ferdosi’s writing. Many translations of Ferdosi’s book have been made into English, but only one translation has been made into Italian, by one Italo Pizzi, in 8 volumes, all in verse, in 1886. This thesis analyses and discusses the choices made for the two translations presented into English and Italian. My project is not only to propose translations of Hosseini’s version, but to also introduce the reader to the Persian culture, and to the life of the most famous Iranian epic writer, Ferdosi, and his masterpiece, Shahname.