No one seems to be against freedom of speech. We have profound disagreements, nonetheless, about what people should be allowed to say. Superficially, these disagreements seem to be independent of our own personal views on larger moral issues such as the desirability of state neutrality and the possibility of promoting certain views of the good life. This perception, however, misrepresents the deeper connections that one's views on free speech have with one's interpretation of political morality; connections which shape the very way in which one reasons about free speech. In order to understand these connections, it is important to be conscious of the rich and complex history of the very notion of freedom of speech. While sometimes represented as a modern ideal, the very fabric of the modern view on free speech is the result of earlier social practices and of competing moral claims. To understand how we think about free speech today it is not enough to look into our own world. Some aspects can only be made vivid by revisiting the history of this notion. But not only that. Aside from reconstructing the history of the modern notion of freedom of speech, we also have to grasp the place of liberalism in shaping our views on these matters. Questions of paternalism, neutrality, and the good life, and of liberalism's relationship to these ideas, are all important in defining what it means to have free speech. Any articulation of free speech which disregards these points would be missing an important aspect of the discussions surrounding what we should be allowed to say. To reason about free speech, we need to go beyond the normal justifications for the freedom of speech. Truth, democracy, and autonomy are the familiar reasons for defending freedom of speech, but they are not the defining aspects of one's free speech reasoning. For that, we need to look elsewhere. This is what the argument in the thesis is set to do: to explore and explain how our free speech reasoning is shaped by historical experiences and by the gradual evolution of a certain view of the moral world. By engaging in a reconstruction of the different forms of reasoning on these issues, the argument sets out a systematic account of the competing ways of reasoning about free speech. The argument has four parts. In Part One, I set out the history of the social practices and moral claims which gave birth to the modern idea of freedom of speech and claim that they are still an integral part of what it means to have free speech. Part One shows how some of the normative positions (liberties, claim-rights, and immunities) which are thought to be part of the freedom of speech were the result of certain historical experiences. Then, in Part Two, I introduce some key theoretical distinctions with regard to liberalism, which provide the argumentative platform for the rest of the thesis. In developing the distinction among different strands of the liberal tradition, the variable role and meanings of principles of neutrality is of particular significance. Part Three then goes on to connect the different strands of the liberal tradition with the justifications for valuing freedom of speech, showing how opposing versions of the arguments for a defense of free speech reflect underlying assumptions about political morality. Finally, Part Four explores the three core aspects of the modern view on free speech: the formalization of moral reasoning, the role of a set of individual rights in the identification of neutral reasons, and the place of one's view on political morality in the delimitation of the meaning of the freedom of speech. It is not the purpose of the argument to defend one particular form of reasoning over the others, but to examine the different argumentative resources that are available within competing strands of the contemporary debate. Put simply, this thesis seeks to show that - and the ways in which - our free speech reasoning is fundamentally shaped by our deeper views about political morality.

Aliasing complicates both formal and informal reasoning and is a particular problem in object-oriented languages, where variables denote references to objects rather than object values. Researchers have proposed various approaches to the aliasing problem in object-oriented languages, but all use reference semantics to reason about programs. This thesis describes the design and implementation of Tako—a Java-like language that facilitates value semantics by incorporating alias-avoidance. The thesis describes a non-trivial application developed in the Tako language and discusses some of the object-oriented programming paradigm shifts involved in translating that application from Java to Tako. It introduces a proof rule for procedure calls that uses value semantics and accounts for both repeated arguments and subtyping. / Master of Science

The Composite design pattern is commonly employed in object-oriented languages to design a system of objects that form a part-whole hierarchical structure with composite objects formed out of primitive objects. The client does not differentiate between a composite object and a primitive object. The composite hierarchy effectively forms a tree-like hierarchical grouping of objects. From a software engineering perspective, there are at least two problems with the Composite pattern. First, it does not maintain a separation of concerns between the structure of the objects in a system and the objects themselves. The objects that comprise the system contain information about their relationship to other objects. This limits the ability of programmers to reuse the system's structural information. Secondly, there is no mechanism for encapsulating the system as a whole. This makes it difficult to specify and reason about global system properties. This thesis presents two tree components that can be used as alternatives to the Composite design pattern in systems that are traditionally implemented with the pattern. Both components are data structures that can contain arbitrary objects and maintain the structure of those objects as an ordered-tree. Since the components encapsulate only the tree structure, they only need to be specified and verified once, and they are available for black-box reuse. The first component is a traversable tree that maintains a conceptual "cursor" position. Methods are provided for inserting and removing objects at the cursor position, and for moving the cursor throughout the tree. The second component extends the traversable tree. A formal specification for each tree component is presented in the Tako language — a Java-like language with alias avoidance that is designed to facilitate specification and verification. A case study is presented that shows how the indexed tree can be used and reasoned about in an application — a text-based adventure game. Finally, a similar application is developed in Java, once using the composite pattern and once using the indexed tree data structure, and object-oriented metrics are given for both systems. / Master of Science

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2017-08-22T16:51:39Z No. of bitstreams: 2 Dissertação - Ana Clara Araújo Gomes da Silva - 2017.pdf: 4600211 bytes, checksum: 1db7798a4333fe327ab9c0b9b4889c48 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2017-09-04T19:53:16Z (GMT) No. of bitstreams: 2 Dissertação - Ana Clara Araújo Gomes da Silva - 2017.pdf: 4600211 bytes, checksum: 1db7798a4333fe327ab9c0b9b4889c48 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-09-04T19:53:17Z (GMT). No. of bitstreams: 2 Dissertação - Ana Clara Araújo Gomes da Silva - 2017.pdf: 4600211 bytes, checksum: 1db7798a4333fe327ab9c0b9b4889c48 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-17 / The deficiency in some reasoning patterns of students has been measured and revealed by several studies. This deficiency is often reflected in low rates of academic performance, high dropout rates, and negatively influencing students’ interest in computer courses. In recent work, Pessoni [96] has shown that among more than thirty cognitive development assessment methods studied, Lawson’s Classroom Test of Scientific Reasoning (LCTSR) would be a candidate for application in university students according to the criteria defined. The LCTSR was translated and applied in a series of student groups of the undergraduate courses of the Institute of Informatics of the Federal University of Goiás. Starting from the results obtained by Pessoni, the objectives of this research work are: 1. Systematic Review of Literature - RSL; 2. Application of the Scientific Reasoning Examination - ERC in students of Computing in Southwest Goiania; 3. Phylogenetic systematics to evaluate ERC. Analyze the patterns of reasoning of interest groups, then develope and conduct efficient and effective activities that promote the cognitive development of individuals is one of the objectives of the research group. It is believed that this work contributes to a further step in this direction. / A deficiência em alguns padrões de raciocínio dos estudantes tem sido medida e revelada por diversos estudos. Essa deficiência muitas vezes se reflete em baixas taxas de rendimento, altas taxas de evasão e influenciam negativamente no interesse dos discentes pelos cursos da Computação. Em trabalho recente, Pessoni [96] mostrou que, entre mais de trinta métodos de avaliação do desenvolvimento cognitivo estudados, o Lawson’s Classroom Test of Scientific Reasoning (LCTSR) seria um candidato para aplicação em estudantes universitários segundo os critérios definidos. O LCTSR foi traduzido e aplicado em uma série de grupos de estudantes dos cursos de graduação do Instituto de Informática da Universidade Federal de Goiás. Partindo dos resultados obtidos por Pessoni, este trabalho de pesquisa teve como objetivos: 1. Revisão Sistemática da Literatura - RSL; 2. aplicação do Exame do Raciocínio Científico - ERC em estudantes de Computação do Sudoeste Goiano; 3. Sistemática Filogenética para avaliar o ERC. Analisar os padrões de raciocínio dos grupos de interesse, para então, elaborar e conduzir atividades eficientes e eficazes que promovam o desenvolvimento cognitivo dos indivíduos é um dos objetivos do grupo de pesquisa. Acredita-se que este trabalho contribui para mais um passo nessa direção.