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.

Medicalizing gender: from intersex to DSD, from the laboratory to patient groups

The subject of this research, the medicalization of the gendered body, is a shifting object. It has changed its medical name from Intersex to DSD (Disorders -or Divergence- of Sex Development), since the beginning of this research project. Loosely speaking it addresses the gendered components of the body, and their subsequent consideration. Drawing closer, it addresses how modern medicine treats people who manifest variations of one of the gendered components of the body, inserting their bodies into pathological categories now called DSD. This shifting terrain of different modes of viewing the gendered body has grown to include many variations, no longer solely interested in the mythical hermaphrodite. The locus of this investigation is in the interaction between these patient groups and doctors in Italy.

Verso una sociologia della sostenibilità: il caso delle Città in Transizione. Prospettive e limiti di un percorso bottom-up

Oggetto di indagine del lavoro è il movimento ambientalista e culturale delle Città in Transizione che rappresentano esperimenti di ri-localizzazione delle risorse volte a preparare le comunità (paesi, città, quartieri) ad affrontare la duplice sfida del cambiamento climatico e del picco del petrolio. A partire dal Regno Unito, la rete delle Transition Towns si è in pochi anni estesa significativamente e conta oggi più di mille iniziative. L’indagine di tale movimento ha richiesto in prima battuta di focalizzare l’attenzione sul campo disciplinare della sociologia dell’ambiente. L’attenzione si è concentrata sul percorso di riconoscimento che ha reso la sociologia dell’ambiente una branca autonoma e sul percorso teorico-concettuale che ha caratterizzato la profonda spaccatura paradigmatica proposta da Catton e Dunlap, che hanno introdotto nel dibattito sociologico il Nuovo Paradigma Ecologico, prendendo le distanze dalla tradizionale visione antropocentrica della sociologia classica. Vengono poi presentate due delle più influenti prospettive teoriche della disciplina, quella del Treadmill of Production e la più attuale teoria della modernizzazione ecologica. La visione che viene adottata nel lavoro di tesi è quella proposta da Spaargaren, fautore della teoria della modernizzazione ecologica, secondo il quale la sociologia dell’ambiente può essere collocata in uno spazio intermedio che sta tra le scienze ambientali e la sociologia generale, evidenziando una vocazione interdisciplinare richiamata anche dal dibattito odierno sulla sostenibilità. Ma le evidenze empiriche progressivamente scaturite dallo studio di questo movimento che si autodefinisce culturale ed ambientalista hanno richiesto una cornice teorica più ampia, quella della modernità riflessiva e della società del rischio, in grado di fornire categorie concettuali spendibili nella descrizione dei problemi ambientali e nell’indagine del mutamento socio-culturale e dei suoi attori. I riferimenti empirici dello studio sono tre specifiche realtà locali in Transizione: York in Transition per il Regno Unito, Monteveglio (Bo) e Scandiano (Re) in Transizione per l’Italia.

Intercultural Performance and Dialogue. From Richard Schechner Performance Studies Onwards

Attraverso un excursus storico, teorico e metodologico, questa tesi di dottorato analizza la nascita, gli sviluppi e l’attuale dimensione costitutivo-identitaria dei Performance Studies, un ambito di ricerca accademica che, nato negli Stati Uniti alla fine degli anni Settanta, ha sempre palesato una natura restia nei confronti di qualunque tentativo definitorio. Se i Performance Studies concepiscono la performance sia come oggetto d’analisi sia come lente metodologica, e se, come evidenziato da Richard Schechner, praticamente tutto può essere “elevato a performance” e quindi indagato secondo le categorie analitiche di questa disciplina, ecco allora che, con uno slittamento transitivo e “meta-metodologico”, questa ricerca dottorale ha scelto come proprio oggetto di studio i Performance Studies stessi, osservandoli “as performance” e avvalendosi degli strumenti metodologici suggeriti dal suo stesso oggetto d’analisi. Questo lavoro indaga come l’oggetto di studio dei Performance Studies sia, seguendo la teoria schechneriana, il “behaved behavior”, e dunque come di conseguenza, il repertorio, prima ancora che l’archivio, possa essere considerato il fedele custode delle “pratiche incorporate”. Soffermandosi su esempi di “reenactment” performativo come quelli messi in atto da Marina Abramović e Clifford Owens, così come sui tentativi condotti dalla sezione dell’Intangible Cultural Heritage dell’UNESCO, suggerisce validi esempi di “archiviazione” della performance. L’elaborato prende poi in esame casi che esemplificano la proficua identificazione tra “studiare performance” e “fare performance”, sottolinea il ruolo cruciale e imprenscindibile determinato dal lavoro di ricerca sul campo inteso come “osservazione partecipante”, ed evidenzia il costante coinvolgimento sociale e politico assunto dai Performance Studies. Questa dissertazione affronta e supporta l’efficacia dei Performance Studies nel proporsi come uno strumento innovativo in grado di analizzare un mondo sempre più performativo nelle sue dinamiche. La loro natura tanto interdisciplinare quanto interculturale sembra farne una lente adeguata attraverso cui promuovere livelli diversi di performance dialogica tra culture localmente distinte ma globalmente assimilabili.