Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Dark humour as a culture specific phenomenon: a study in screen translation

The present study aims at analyzing how dark humour as a cinematic genre travels cross-culturally through a specific mode of audiovisual translation, i.e. dubbing. In particular, it takes into consideration the processes involved in dubbing humour from English into Italian as observed in the English- and Italian-language versions of ten British and American dark comedies from the 1940s to the 2000s. In an attempt to identify some of the main mechanisms of the dark humour genre, the humorous content of the films was analyzed in terms of the elements on which specific scenes are based, mainly the non-verbal and verbal components. In the cases in which verbal elements were involved, i.e. the examples of verbally expressed humour, the analysis was concerned with whether they were adapted into Italian and to what effect. Quantification of the different kinds of dark humour revealed that in the sample of dark comedies verbal dark humour had a higher frequency (85.3%) than non-verbal dark humour (14.7%), which partially disconfirmed the first part of the research hypothesis. However, the significance of contextual elements in the conveying of dark humour, both in the form of Nsp VEH (54.31%) and V-V (V+VE) (21.68%), provided support for the hypothesis that, even when expressed verbally, dark humour is more closely linked to context-based rather than purely linguistic humour (4.9%). The second part of the analysis was concerned with an investigation of the strategies adopted for the translation of verbal dark humour elements from the SL (English) into the TL (Italian) through the filter of dubbing. Four translational strategies were identified as far as the rendering of verbal dark humour is concerned: i) complete omission; ii) weakening; iii) close rendering; and iv) increased effect. Complete omission was found to be the most common among these strategies, with 80.9% of dark humour examples being transposed in a way that kept the ST’s function substantially intact. Weakening of darkly humorous lines was applied in 12% of cases, whereas increased effect accounted for 4.6% and complete omission for 2.5%. The fact that for most examples of Nsp VEH (84.9%) and V-AC (V+VE) (91.4%) a close rendering effect was observed and that 12 out of 21 examples of V-AC (PL) (a combined 57%) were either omitted or weakened seemed to confirm, on the one hand, the complexity of the translation process required by cases of V-AC (PL) and V-AC (CS). On the other hand, as suggested in the second part of the research hypothesis, the data might be interpreted as indicating that lesser effort on the translator/adaptor’s part is involved in the adaptation of V-AC (Nsp VEH) and V-V (V+VE). The issue of the possible censorial intervention undergone by examples of verbal dark humour in the sample still remains unclear.

Estro linguistico e problemi traduttivi in Mr Alfred M. A. di George Friel

My work is focused on George Friel, a distinguished Scottish writer known for his witty style bristling with puns and more or less literary allusions. In particular I proposed an annotated translation of what can be considered his masterpiece “Mr Alfred M.A.” in which wordplay has a central role for its plot. In the first part of my thesis I outlined the fundamental features of Friel’s writing: the wide variety of registers and styles, the rhythm and irony. Additionally I pointed out the strategies that the translator has to face when translating this text. Finally I identified the number of problems which may arise while translating Friel’s “Mr Alfred M.A.” into Italian with particular concern on the strategies of supplementation and explicitation for wordplay.

Letteratura e realia. Le espressioni culturo-specifiche nelle traduzioni italiane della Wendeliteratur

Il presente lavoro affronta il problema della traduzione dei termini culturo-specifici nella letteratura contemporanea di lingua tedesca ambientata nella DDR. L’analisi della produzione narrativa della Wendeliteratur consente di osservare come il lessico e le espressioni tipiche della DDR vengano utilizzati nelle opere letterarie in funzione citazionale per denotare e connotare la realtà della Germania dell’Est. Attraverso un approccio integrato che coniuga i contributi teorici degli studi sulla traduzione con gli aspetti della pratica traduttiva il lavoro indaga il tema dei realia attraverso una presentazione delle ricerche esistenti, propone una classificazione specifica per i realia della DDR e procede a una ricognizione delle strategie e dei procedimenti traduttivi concreti, che consente di evidenziare le diverse scelte adottate dai traduttori. Attraverso un’analisi ermeneutica dei testi e lo strumento dell’isotopia come indicatore di coerenza le traduzioni italiane delle opere della Wendeliteratur sono oggetto di un’analisi critica. I risultati dell’analisi vengono infine utilizzati come riferimento per la traduzione dei realia nel racconto di F.C. Delius, Die Birnen von Ribbeck.

Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Tradurre la letteratura russa contemporanea per l'infanzia

Questo lavoro affronta la traduzione della letteratura per l'infanzia. La prima parte teorica si divide tra l'analisi di cosa si intenda per traduzione per l'infanzia, quali siano le problematiche e le particolarità che la caratterizzano, e un'analisi delle specificità della traduzione dal russo all'italiano, con un approfondimento della letteratura russa contemporanea per l’infanzia. La seconda parte, pratica, analizza le traduzioni della stessa dottoranda per calare in esempi pratici le possibilità teoriche analizzate nella prima parte. Vengono affrontati brani dei maggiori scrittori contemporanei, come G. Oster, M. Moskvina, M. Borodickaja, Ju. Nečiporenko e altri. Caratteristiche fondanti la letteratura per l’infanzia sono l’interazione tra parola e immagine, il ruolo della lettura a voce alta e l’importanza del suono, i nomi parlanti, il doppio destinatario, l’adattamento, il rispetto dei canoni morali e estetici imposti dalla società, il carattere pedagogico. Gli aspetti teorici esaminati sono il traduttore come lettore e la ricerca di un equivalente funzionale come strategia traduttiva. This thesis is about translation of children’s literature. In the first section, I explore the meanings of translating for children, and which are its issues and peculiarities; the specificities in translation from Russian into Italian; the background of contemporary Russian Children’s Literature (G. Oster, M. Moskvina, M. Boroditskaya, Yu. Nechiporenko). In the second part I analyze my translations, in order to give some practical examples of the theoretical strategies I explored in the first section. Relevant characteristic of children’s literature are: its pedagogical character, interaction between word and image, double addressee, the importance of reading aloud, adaptation, respect of moral and aesthetic canons imposed by the society. The theoretical aspects examined in this thesis involve the issue of the translator seen as reader, and the search of functional equivalents as dominant translation strategy.

Yves Bonnefoy traduttore di Shakespeare: il poeta e la prova del dialogo

Contemporary French poet Yves Bonnefoy has always been attracted by English poetry, especially by Shakespeare’s work. Translating Shakespeare’s plays and sonnets has been a fundamental experience for him. The contact with a different culture, a different language and a different sort of poetry has been an important moment in his poetic experience. The dialogue between the French and the Elizabethan poet, which started in the 1950s, hasn't stopped yet and it offers some interesting perspectives to study Bonnefoy's work from a new point of view. Translation – which is first of all a poetic experience to him – is in fact the chance to get in touch with somebody else's poetry and to establish a dialogue with his poetic universe. Such a dialogue requires on the one hand an ‘ethic’ attitude on the translator's part, that is an attentive listening and a deep understanding of the original text. However, Bonnefoy has to create a new ‘poetic’ text in his own language. This is why the ‘seeds’ of his own poetry are also present in his translated texts, in which it is possible to clearly distinguish both the presence of the French poet’s own voice and his attempt to open his ‘speech’ to the specific quality of the Shakespearean poetry. On the other hand, such a deep contact with Shakespeare's work has changed the French poet, contributing to the development and maturity of his own poetry. Indeed, the Elizabethan poet is present in his work in different ways, in his critical essays as well as in his poems. Against this background, the aim of the present study is to define the complex dialogic forms and the osmotic relationships between the poetic experience and the experience of translation, which are considered two different moments of the same ontological research by the French poet.

La traduction des textes de théatre. Analyse comparée des réalités contemporaines française et italienne

The aim of the present study is to address contemporary drama translation by comparing two different scenarios, namely France and Italy. For each country, the following areas are described: publications of translated drama texts, their promotion and dissemination, the legal framework concerning copyright in publication and performance contracts. Moreover, the analysis highlights that the translation process of drama texts is part of a working cycle networking different professional figures, such as dramatic authors, directors, actors and publishers. Within this cycle, the translator is in a middle and central position at the same time, a sort of border zone between different contexts, i.e. the source language and culture and the target language and culture. As regards translation-related issues, on the basis of theoretical approaches that can be applied to drama translation, a number of translators’ opinions, statements, positions and practices are compared, thus highlighting an idea of drama translation wavering between translation and adaptation. Drama translators seem to follow these two orientations simultaneously, in compliance with translation ethics and the functional needs of target texts. Such ambivalence is due to the desire and difficulty of translating the specific nature of drama texts, i.e. translating textual elements that are linked, eventually, to stage performance. Indeed, the notion of text or form fidelity is replaced by the notion of fidelity to the theatrical value of a text, in terms of fidelity to its theatrical nature and rhythmical tension. The analysis reveals that drama translators work together with theatre operators, and that in many cases translators are authors, directors or actors themselves. These drama skills enable translators to apply relevant strategies when translating elements that generate rhythm, thus choosing from deleting, reproducing or recreating.

Luis Cernuda: la realizzazione del desiderio

Le traduzioni di Luis Cernuda, poeta spagnolo della Generazione del '27, da testi poetici di autori francesi, tedeschi ed inglesi, la cui scelta è dettata da ragioni di coerenza artistica, non hanno valore secondario rispetto alla produzione poetica autoriale. Nel presente studio si delinea l'uniformità del percorso creativo di Luis Cernuda nel ruolo duplice ed apparentemente contraddittorio di poeta-traduttore, attraverso un tracciato spazio-temporale, al contempo realistico e metaforico, che si svolge lungo gran parte della vita del misconosciuto poeta sivigliano. Ad una preliminare presentazione analitica del concetto di traduzione, della funzione che la stessa riveste nel genere letterario specifico della poesia e nell'attività creativa di Cernuda, segue l'analisi comparativa delle traduzioni cernudiane con le rispettive fonti straniere. L'argomento si svolge in tre capitoli successivi, organizzati rispettando lo svolgimento cronologico del percorso traduttorio cernudiano, svolto in parallelo alla produzione poetica personale. Il secondo capitolo verte sulla traduzione da testi poetici in francese. Il terzo capitolo, sul periodo immediatamente successivo agli anni della sperimentazione francese, analizza lo studio della poesia tedesca e della sperimentazione in traduzione. Tale incontro si propone anche come momento di scissione definitiva dalla lirica romanza, piuttosto esornativa, e di accostamento alla più essenziale lirica germanica. Il quarto capitolo raccoglie le versioni poetiche da autori inglesi, che si contraddistinguono per la grande somiglianza alla poesia di Cernuda nelle scelte contenutistico-formali. Le conclusioni vertono sulla coesione perseguita nel tradurre, per cui contenuto e forma acquisiscono pari importanza nella “ricreazione poetica” realizzata da Cernuda.

Gadda neobarocco. Corrispondenze fra Barocco storico e Barocco moderno

Nei primi due capitoli mi occupo del recupero del Barocco in ambito novecentesco e delle diverse letture e interpretazioni del Barocco e del Neobarocco, concetto che nasce dalla riflessione sul Barocco lungo tutto il Novecento. Riflessione che è stata anche una rivendicazione, a livello estetico, ma non solo, di una attualità o contemporaneità del Barocco, che accomuna tutta la riflessione sulla scoperta della cultura di un secolo, da Wölfflin a Benjamin, da Riegl a Anceschi. Si tratta anche di un rapporto fra Barocco storico e Neobarocco: se la stessa rivalutazione e riscoperta dell’arte del XVII secolo, dalla fine dell’Ottocento e lungo tutto il Novecento, ha coinciso con la sua costruzione terminologica ed ermeneutica, di questa nuova categoria è lo stesso approccio intellettuale contemporaneo che può definirsi, nella più ampia accezione, «neobarocco». Nel terzo capitolo, invece, ho approfondito il rapporto fra Gadda e il Barocco, partendo dal concetto di allegoria moderna di Walter Benjamin. Fondamentale per la mia ricerca è stato il libro di Gilles Deleuze, La piega. Leibniz e il barocco, che ha visto nell’opera del filosofo Leibniz (studiato anche dal proprio Gadda) la chiave di lettura per capire il Barocco nelle sue diverse manifestazioni. E anche il libro di Robert Dombroski, Gadda e il barocco, in cui si parte appunto dal concetto di barocco/neobarocco come punto di approccio per studiare il barocco di Gadda. Infatti, lo stile di Gadda risponde al canone barocco che il poststrutturalismo ha riaccolto nel vivo del dibattito estetico, si pensi ai contributi di Roland Barthes e di Severo Sarduy e, posteriormente, all’opera proprio di Deleuze. Nell’ultimo capitolo, poi, faccio un’analisi di Gadda traduttore di opere del Seicento spagnolo, opere che vengono da lui riscritte grazie alla rielaborazione del passato attraverso il suo linguaggio neobarocco.

Spagnolo Tecnico Semplificato

L’obiettivo della presente dissertazione è quello di creare un nuovo linguaggio controllato, denominato Español Técnico Simplificado (ETS). Basato sulla specifica tecnica del Simplified Technical English (STE), ufficialmente conosciuta come ASD-STE100, lo spagnolo controllato ETS si presenta come un documento metalinguistico in grado di fornire ad un redattore o traduttore tecnico alcune regole specifiche per produrre un documento tecnico. La strategia di implementazione conduce allo studio preliminare di alcuni linguaggi controllati simili all’inglese STE, quali il Français Rationalisé e il Simplified Technical Spanish. Attraverso un approccio caratteristico della linguistica dei corpora, la soluzione proposta fornisce il nuovo linguaggio controllato mediante l’estrazione di informazioni specifiche da un corpus ad-hoc di lingua spagnola appositamente creato ed interrogato. I risultati evidenziano un metodo linguistico (controllato) utile a produrre documentazione tecnica priva di ogni eventuale ambiguità. Il sistema ETS, infatti, si fonda sul concetto della intelligibilità in quanto condizione necessaria da soddisfare nell’ambito della produzione di un testo controllato. E, attraverso la sua macrostruttura, il documento ETS fornisce gli strumenti necessari per rendere il testo controllato univoco. Infatti, tale struttura bipartita suddivide in maniera logica i dettami: una prima parte riguarda e contiene regole sintattiche e stilistiche; una seconda parte riguarda e contiene un dizionario di un numero limitato di lemmi opportunamente selezionati. Il tutto a favore del principio della biunivocità dei segni, in questo caso, della lingua spagnola. Il progetto, nel suo insieme, apre le porte ad un linguaggio nuovo in alternativa a quelli presenti, totalmente creato in accademia, che vale come prototipo a cui far seguire altri progetti di ricerca.

La revisione della traduzione editoriale dall'inglese all'italiano tra ricerca accademica, professione e formazione: stato dell'arte e prospettive future

Quando si parla di traduzione, si pensa spesso solo al risultato di un processo, valutato e analizzato come tale. Sembra ci si dimentichi del fatto che, prima di arrivare a quel risultato finale, il traduttore applica più o meno consapevolmente tutta quella serie di strumenti di analisi, critica, correzione, rilettura, riformulazione e modifica che rientrano nell’attività di revisione. A questa prima fase, di cui ogni traduttore fa esperienza nel lavorare alla propria traduzione, segue di norma una fase successiva in cui la traduzione è rivista da un’altra figura professionale della filiera editoriale (di solito, e auspicabilmente, un altro traduttore) e infine altre fasi ancora del processo di lavorazione e pubblicazione del testo tradotto. Oltre a essere un’attività cruciale di ogni attività di traduzione e processo editoriale, la revisione riveste anche un fondamentale ruolo didattico nella formazione dei traduttori. L’idea alla base di questo progetto di ricerca nasce dal bisogno di triangolare riflessioni e dati concreti sulla revisione provenienti dalla ricerca accademica, dalla pratica professionale e dall’esperienza didattico-formativa, in un triplice approccio che informa l’intero progetto, di cui si illustrano i principali obiettivi: • formulare una nuova e chiara definizione sommativa del termine “revisione” da potersi utilizzare nell’ambito della ricerca, della didattica e della prassi professionale; • fornire una panoramica tematica, critica e aggiornata sulla ricerca accademica e non-accademica in materia di revisione; • condurre un’indagine conoscitiva (tramite compilazione di questionari diversificati) sulla pratica professionale della revisione editoriale in Italia, allo scopo di raccogliere dati da traduttori e revisori, fornirne una lettura critica e quindi individuare peculiarità e criticità di questa fase del processo di lavorazione del libro tradotto; • presentare ipotesi di lavoro e suggerimenti su metodi e strumenti da applicare all’insegnamento della revisione in contesti didattici e formativi.