Many programs are executed according to the conventional, eager execution order, for which verification of execution costs is well-understood. However, there are other execution orders in use. One such order in common use is lazy execution or lazy evaluation, which is mostly demand-driven. Laziness supports better decompositions of algorithms, e.g., into modular producers and consumers, which enables compositional reasoning of answer correctness, but then timing correctness is more elusive. This thesis gives a formal method for verifying lazy timing, compositional with respect to program structure; it is an extension of a predicative programming theory. Predicative programming theories are formal methods that unify both specifications and programs as predicates or boolean-typed expressions over memory state and other quantities of interest. Their strengths are mathematical simplicity and support of program development and verification by incremental refinements. Among these theories, Hehner's a Practical Theory of Programming has the further strength of leaving termination and timing open rather than a built-in, and therefore is a flexible substrate for various timing schemes corresponding to various execution strategies. We use this substrate for our method for lazy timing. This thesis also proves soundness of the eager timing scheme in Hehner's work with respect to an eager operational semantics, and our lazy timing scheme with respect to a lazy operational semantics. Thus, if refinements promise an upper time bound, then execution actually stops within that time. Lastly, this thesis outlines a space of more operational semantics. It is possible ground for more execution strategies.

Many programs are executed according to the conventional, eager execution order, for which verification of execution costs is well-understood. However, there are other execution orders in use. One such order in common use is lazy execution or lazy evaluation, which is mostly demand-driven. Laziness supports better decompositions of algorithms, e.g., into modular producers and consumers, which enables compositional reasoning of answer correctness, but then timing correctness is more elusive. This thesis gives a formal method for verifying lazy timing, compositional with respect to program structure; it is an extension of a predicative programming theory. Predicative programming theories are formal methods that unify both specifications and programs as predicates or boolean-typed expressions over memory state and other quantities of interest. Their strengths are mathematical simplicity and support of program development and verification by incremental refinements. Among these theories, Hehner's a Practical Theory of Programming has the further strength of leaving termination and timing open rather than a built-in, and therefore is a flexible substrate for various timing schemes corresponding to various execution strategies. We use this substrate for our method for lazy timing. This thesis also proves soundness of the eager timing scheme in Hehner's work with respect to an eager operational semantics, and our lazy timing scheme with respect to a lazy operational semantics. Thus, if refinements promise an upper time bound, then execution actually stops within that time. Lastly, this thesis outlines a space of more operational semantics. It is possible ground for more execution strategies.

Submitted by Camila Arndt Wamser (camilarndt@hotmail.com) on 2018-06-06T03:20:27Z No. of bitstreams: 1 TESE - últimas correções maio-junho 1.pdf: 6271434 bytes, checksum: b734d99c34b07a3a1defa1da94bfdc7b (MD5) / Approved for entry into archive by Priscila Carreira B Vicentini null (priscila@fclar.unesp.br) on 2018-06-06T13:16:09Z (GMT) No. of bitstreams: 1 wamser_ca_dr_arafcl.pdf: 6165425 bytes, checksum: d03481efdae3fdc2e9500d3e49727404 (MD5) / Made available in DSpace on 2018-06-06T13:16:09Z (GMT). No. of bitstreams: 1 wamser_ca_dr_arafcl.pdf: 6165425 bytes, checksum: d03481efdae3fdc2e9500d3e49727404 (MD5) Previous issue date: 2018-05-10 / Nossa hipótese de pesquisa é a de que o ensino, por meio das atividades epilinguísticas, proporciona ao aluno a apropriação da língua e a autonomia diante do seu uso. Desse modo, contrapõe-se ao método pautado na memorização das regras gramaticais e na separação da gramática e da produção textual. Sustentamo-nos teoricamente na Teoria das Operações Predicativas e Enunciativas, formulada pelo linguista francês Antoine Culioli e que prevê a materialidade da língua – o texto oral ou escrito – como unidade de trabalho do linguista, assim, entendemos que é também a unidade de trabalho do ensino de língua. Com essa concepção, não é possível a dissociação entre texto, léxico e gramática, logo o trabalho do professor é propiciar ao aluno a apropriação da linguagem e essa não pode ser confundida com descrição de língua no ensino. Assim, propõe-se a linguagem para a sala de aula por meio das atividades epilinguísticas. São também objetivos da pesquisa: determinar as operações e processos linguísticos desencadeados pela marca como; identificar a ausência do trabalho reflexivo nas atividades tradicionais do ensino das conjunções e do período composto, especificamente no que se refere à marca como; elaborar um modelo de aula que possa servir de parâmetro para o ensino por meio das atividades epilinguísticas. Para o alcance dos objetivos, dividimos nossa pesquisa em duas partes: uma de análise de enunciados sob os pressupostos da TOPE e outra de um trabalho de prática de ensino por meio de atividades epilinguísticas. A análise dos enunciados visa a encontrar, dentre a variação radical e ambiguidades geradas pela marca como, a invariância que permite essa variação e a passagem de um valor sintático-semântico a outro. Já para o desenvolvimento da parte prática, trabalhamos com três turmas do ensino fundamental na cidade de Caçador/SC no turno vespertino: duas de nono ano da Escola de Educação Básica Dra. Nayá Gonzaga Sampaio; e uma turma de sexto ano da Escola Municipal Pierina Santin Perret. Em uma das turmas de nono ano, realizamos atividades que agissem sob o nível epilinguístico dos alunos, enfatizando as operações desencadeadas pela marca como; na outra turma de nono ano, observamos a metodologia utilizada no ensino tido como tradicional, ou seja, pautado pelo ensino da norma, em suas classificações e regras. O trabalho realizado com a turma de sexto ano, também foi baseado nas atividades epilinguísticas e teve por objetivo demonstrar as diferenças de se propor esse tipo de método a crianças e a adolescentes. Os enunciados trabalhados tanto na análise quanto na prática foram os mesmos, pois somente podemos comprovar nossa tese relacionando esses dois momentos – análise e prática. Desse modo, o trabalho com a marca como mantém a coerência da nossa pesquisa e permite a superação da polarização entre teoria e prática no ensino. Assim, pretendemos comprovar que o ensino por meio das atividades epilinguísticas é mais relevante e significativo, pois possibilita ao discente a elaboração de uma metalinguagem operatória que lhe confere reflexão e autonomia diante dos fatos da língua. / This research is based on the hypothesis that teaching mother tongue language through epilinguistic activities provides the students with appropriation and autonomy regarding their uses of language. Thus, this method differs from the one based on the memorization of grammar rules and on the separation of grammar and textual production. Theoretically, the study is based on the Theory of Predicative and Enunciative Operations, created by Antoine Culioli. This theory considers the materiality of language, which means oral or written texts, as the unit of work for linguists, so we also understand that it should be the unit of work for teaching the language. From this conception, the dissociation between text, lexical, and grammar is not possible. The teacher's job is to propitiate intimacy with language to the students. Thereby language is brought into the classroom by epilinguistic activities. The aims of this research are: to determine the language operations and linguistics processes unleashed by the mark como ; to identify the absence of reflexive work in traditional activities of teaching of conjunction and subordinate clauses, specifically regarding the mark como; to elaborate a model of class that serve as parameter for teaching by epilinguistic activities. To reach out these aims, our research was divided into two parts: one of analysis of statements according to the theoretical and methodological assumptions of TOPE and another of a practical work of teaching by epilinguistic activities. The statement analysis was done to find the invariance between the variance and the ambiguities created by the mark like. This invariance allows not just the variance, but the passage from one syntactic-semantic value to another. To develop the practical part, we worked with three classes of elementary school in Caçador/SC city: two classes were in the ninth grade of Nayá Gonzaga Sampaio School and one was in the sixth grade of Pierina Santin Perret School. Both schools were public. In one of the ninth-year classes, we performed activities that act on the epilinguistic level of the students, emphasizing the operations unleashed by the mark como. In the other ninth grade, we observed the methodology used in traditional teaching, which means based on the grammar rules and in its classification lists. The work realized with the sixth grade was also based on the epilinguistic activities and aimed to demonstrate the differences of proposing this type of method to kids and to teenagers. The statements analyzed were the same for the classes applied to the students, because the only way to prove our hypothesis is relating these two moments – theory and practice. Thus, the work with the mark como keeps the coherence of our research and allows the overcoming of the polarization between theory and practice in teaching. Therefore, we intend to prove that teaching by epilinguistic activities is more relevant and significative, because it enables the elaboration of an operative metalanguage to the students which provides them reflection and autonomy regarding the facts of the language.

The diploma thesis deals with the distinction of attributive and predicative adjectives in contemporary Czech. Although this distinction is very important for defining adjectives as a word class in many languages, there was only little attention paid to it in Czech so far. This thesis is based on the work of František Čermák Lexikon a sémantika (2010). It is strongly inspired by english tradition of linguistics, which is also a reason, why he introduces a new term predicative adjectives in Czech. The thesis is divided into two parts. The first part contains theoretical description of predicative and attributive function of adjectives. It is based on information contained in czech and foreign grammarbooks, handbooks or research papers. The goal is to summarize these separate information. The theoretical part deals with the basic characteristic of both types of adjectives, it focuses also on description of their semantics, word form and valency, which depends on it. This part contains definitions of some questionable points or inaccuracies of these descriptions too. The second part of this thesis is given to corpus research. The questionable points or inaccuracies of the descriptions defined in the first part of this thesis are examined on the material of Czech national corpus, concretely the corpus SYN2010....

The goal of this work is to describe the domain of predicative possession in South Saami, a Finno-Ugric language spoken in Sweden and Norway. Data has been elicited from native speakers of South Saami, and the analysis has been carried out within a general functional-typological framework. In South Saami, four different predicative possessive constructions are used: (1) a habeo-verb construc­tion, (2a) a genitive possessive without copula, (2b) a genitive possessive with copula, and (3) a locational possessive. The latter is not described in the grammars. The have-possessive and the genitive possessives occur frequently and are used to encode all notions of possession. The use of the locational possessive is restricted to inanimate possessors. Distri­bution of the constructions varies among the speakers. Examples for the have-possessive construction present the greatest structural variation. The four possessive constructions are set within a typological context. / Denna studie beskriver predikativ possession i sydsamiska, ett finsk-ugriskt språk som talas i Sverige och Norge. Materialet till studien eliciterades från sex sydsamiska modersmålstalare. Analysen genomfördes inom en typologisk-funktionalistisk inriktning. Analysen visar att i sydsamiskan används fyra olika konstruktioner för att uttrycka predikativt ägande: (1) en habeo-verbkonstruktion, (2a) en genitivkonstruktion utan kopula, (2b) en genitivkonstruktion med kopula, och (3) en lokativkonstruktion. Den senare omnämns inte i de existerande gramma­tiska beskrivningarna, och konstruktionen är begränsad till inanimata ägare. Verbkonstruk­tionen och de båda genitiv­konstruktionerna före­kommer frekvent i materialet och används för alla possessiva relationer. Fördelningen av de olika konstruktionerna varierar hos talarna. Den största strukturella variationen återfinns i habeo-verbkonstruktionen. De fyra possessivkonstruktionerna sätts i uppsatsen in i en typologisk kontext.

Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relational predicates. This theory is intended to provide a single framework in which any programming paradigms, languages, and features, can be modelled, compared and contrasted. The UTP already has models for several programming formalisms, such as imperative programming, higher-order programming (e.g. programing with procedures), several styles of concurrent programming (or reactive systems), class-based object-orientation, and transaction processing. We believe that the UTP ought to be able to represent all significant computer programming language formalisms, in order for it to be considered a unifying theory. One gap in the UTP work is that of object-based object-orientation, such as that presented in Abadi and Cardelli's untyped object calculi (sigma-calculi). These sigma-calculi provide a prominent formalism of object-based object-oriented (OO) programs, which models programs as objects. We address this gap within this dissertation by presenting an embedding of an Abadi--Cardelli-style object calculus in the UTP. More formally, the thesis that his dissertation argues is that it is possible to provide an object-based object rientation to the UTP, with value- and reference-based objects, and a fully abstract model of references. We have made three contributions to our area of study: first, to extend the UTP with a notion of object-based object orientation, in contrast with the existing class-based models; second, to provide an alternative model of pointers (references) for the UTP that supports both value-based compound values (e.g. objects) and references (pointers), in contrast to existing UTP models with pointers that have reference-based compound values; and third, to model an Abadi-Cardelli notion of an object in the UTP, and thus demonstrate that it can unify this style of object formalism.

Cette thèse s'inscrit dans le champ de la linguistique classique. Elle aborde l'étude du fonctionnement syntaxique du préverbe i en créole réunionnais. Un inventaire précis de ses emplois d'un point de vue descriptif est fait afin de déterminer ses conditions d'apparition et les conditions où il n'apparaît pas. Deux grandes catégories d'hypothèses sont confrontées : les hypothèses à base sémantique et les hypothèses à base purement syntaxique. Il s'agit de démontrer le bien-fondé de la seconde approche et les point faibles de la première. Les théories déjà publiées sur le problème du i sont examinées. Pour mieux saisir la valeur du i réunionnais, une comparaison des structures des créoles à base lexicale française est réalisée : le créole réunionnais qui est au premier plan de notre recherche ; les créoles mauricien et seychellois de la région de l'océan Indien et les créoles martiniquais, guadeloupéen et haïtien de la région de l'océan Atlantique. / This thesis is part of the field of classical linguistics. It deals with the study of the syntactic functioning of the preverb i in Reunion creole. A precise inventory of its uses from a descriptive point of view is made in order to determine its conditions of appearance and the conditions in which it does not appear. Two major categories of hypotheses are confronted: seamantic-based hypotheses and purely syntactical hypotheses. This is to demonstrate the merits of the second approach and the weak points of the first. Already published theories on the problem of i are examined. To better understand the value of Reunionese i, a comparaison of the structures of French-based creole languages is carried out: Reunion creole which is at the forefront of our reseach; Mauritian and Seychellois Creoles in Indian ocean region and Martinican, Guadeloupe and Haitian creoles of the Atlantic ocean region

Made available in DSpace on 2014-06-11T19:22:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-08-20Bitstream added on 2014-06-13T20:09:20Z : No. of bitstreams: 1 salomao_mh_me_sjrp.pdf: 880828 bytes, checksum: 1acf7804cf3583279a73a79a2dcffae2 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / A atuação de processos de redução e de supressão de segmentos consonantais em fenômenos redundantes, como a concordância nominal, tende a suprimir marcas de pluralidade, provocando a possibilidade de ambiguidade referencial. Um fenômeno fonológico que reflete o processo gramatical de concordância é o da supressão de /S/, que pode afetar a marcação de pluralidade em contexto nominal. Com base nisso, o objetivo deste trabalho é o de submeter a um tratamento variacionista, de base quantitativa, dados de marcação variável de plural no SN e no SA em contexto de predicativo, obtidos em córpus coletado na região de São José do Rio Preto. O trabalho procura examinar se a marcação de pluralidade nos predicativos pode ser explicada com base em motivações exclusivamente formais, ou exclusivamente funcionais, ou ainda, com base na interação entre ambas, que consistiriam, assim, em motivações em competição (DU BOIS, 1985). A análise dos resultados mostra, por um lado, que um princípio funcional, como o as Condições de Distintividade de Kiparsky (1972), atua positivamente na marcação variável de pluralidade, mas não tem força suficiente para governar isoladamente o processo. Mostra, por outro, que as motivações formais, gerenciadas pelo Princípio do Paralelismo Formal, também exercem influência significativa na marcação variável de plural no predicativo, mas não como força predominante, na medida em que se submete a uma influência significativa das variáveis extralinguísticas escolaridade e idade. Esse comportamento dos dados não permite dar a esse princípio o poder explanatório que Labov (1996) lhe atribui, isto é, como a atuação mecânica de forças inerentemente internas ao sistema linguístico. Por essa razão, a explicação mais plausível para a marcação variável de pluralidade nos predicativos, na variedade estudada... / Both the reduction and the suppression of consonantal segments when those occur in contexts of nominal agreement tends to drop plural markers, thus creating referential ambiguities. Amongst those phenomena reflecting a process of grammatical agreement is the suppresion of /S/ in spoken Portuguese, which characterizes a phonological phenomenon that may affect plurality marking in the NP. Considering that, the present work employs a variationist and quantitative method to analyse data containing instances of predicative variable plural marking both in the NP and AP taken from a corpus collected in the area of São José do Rio Preto. This research aims to attest to whether plurality marking in the predicative context can be explained in terms of exclusively formal or exclusively functional motivations, or else, in terms of the interaction between these two kinds of motivations, thus consisting in competing motivations (DU BOIS, 1985). On the one hand, the analysis of the results evinces that a functional principle such as Kiparsky‟s Distinctiveness Conditions (1972) acts in a positive way in the variable plural marking; yet it alone does not suffice to govern the entire process. On the other hand, this work demonstrates that formal motivations governed by the Principle of Formal Parallelism have a significant influence on predicative plural marking, but not in a predominant fashion, inasmuch as the latter is subject to significant influence of extralinguistic variables such as „education‟ and „age‟. The situation of the data do not authorize that such a principle be bestowed the explanatory power that Labov (1996) ascribes to it, i.e., that idea of a mechanical acting of inherent forces whithin the inner linguistic system. For that reason, the most plausible explanation is that the predicative plural marking in the variety under scrutiny constitutes a process influenced... (Complete abstract click electronic access below)

The main aim of this study is to examine how characterizations of persons in books for children and adolescents relate to traditional sex role patterns and to determine if there is any difference in this respect between books for girls and books for boys as well as between popular books and quality books.Eight books for girls, eight books for boys, and four books for both girls and boys are examined. From these books 8,268 adjectives, adverbs, and participles which characterize persons or aspects of persons were excerpted. These excerpts have been categorized with regard to syntactic function into attributive adjectives, predicative adjectives, and adverbials, and with regard to meaning as to membership in semantic fields on different levels.The most frequent syntactic category in the material is "predicative" (42.8%), followed by "attributive" (33.4%). Female characters are more often described by predicative adjectives than are male characters, while the opposite is true of attributive adjectives. The choice of syntactic category seems to be determined more by what property or state the lexical item refers to, however, than by the sex of the character described.The semantic fields with the largest number of excerpts are MENTAL PROPERTIES AND STATES (32.9%), SOCIABILITY (15.0%), DRESS AND APPEARANCE (14.7%), and PACE AND MOVEMENTS (11.4%). These fields also dominate within the different categories of books and the descriptions of female and male characters respectively.Traditional sex role patterns are most obvious in characterizations of role characters with respect to their role in society and their relation to other people. Female characters are, e.g., almost exclusively described with respect to their private lives, while male characters are described in terms of their position in society. In the books for boys male characters are attributed a negative or rejecting attitude to their environment, while female characters are attributed a more positive or accepting attitude.The most traditional impression of the opposite sex is conveyed by the books for boys-to the extent that any such impression is conveyed at all by these books. The books for boys have very few female characters and very few descriptions of them. In general, male characters dominate in the books and it is clearly shown that to be a boy or man is more highly regarded than to be a girl or woman.No general differences between popular books and quality literature emerged from the analyses performed. Traditional sex role patterns are equally pronounced in the two types of books, even if there are differences between individual books. / digitalisering@umu

This dissertation has, as its general objective, a search for linguistic and socio-historical information on Muquém, a community which is regarded as reminiscent of Quilombo dos Palmares, located in União dos Palmares, Alagoas. As regards to the historical search, this work aims at verifying the African role in its linguistic and socio-cultural formation, having, as our basis, the national project proposal for Brazilian Portuguese History (PHPB) and the Linguistics Socio-Historical perspective (MATTOS e SILVA, 2004). As for the linguistic matter, this research has, as its objective, the checking on variation on agreement between subject and its predicative in the current discourse of that community, trying to offer, then, a better understanding on the characteristics of this linguistic phenomenon and their possible changes, using, for such work, the apparatus of the Quantitative Sociolinguistics (Labov, 1994, 2008 [1972]). Before the collected information, it is conjectured that a) the African culture had influence both in the language and in the culture of the Muquém community, b) the use of the non-formal variant will entail a percentage bigger than the one presented in the studies of the urban speech (SCHERRE, 1991; DIAS, 1996; SALGADO, 2008) and c) a change in progress could be occurring toward a greater use of the standard variant. The corpus taken for analysis consists of recorded interviews developed with 12 habitants of the community just mentioned above. As possible conditioning extralinguistic factors, male and female gender and age, subdivided as follows: group I from 10 until 30 years old; group II from 31 until 50 years old; and group III over 50 years old, were chosen. The chosen linguistic factors were: kinds of subject, kinds of predicative, verbal agreement, intervening material between verb and predicative, number nominal agreement in SN subject, reference to the speaker in the discourse and semantic characterization of the subject. The results of the VARBRUL program only showed the following extralinguistic factors verbal agreement, kinds of subject and reference to the speaker in the discourse as statistically active in the variation of agreement between subject and predicative. Based on socio-historical facts related to the origin of the community and to the level of variation in the agreement of that linguistic structure, the importance of the African presence, to the language and culture of that community, was acknowledged. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta dissertação apresenta como objetivo geral buscar informações sócio-histórica e linguística sobre Muquém, uma comunidade considerada remanescente do Quilombo dos Palmares, localizada no município de União dos Palmares, Alagoas. Sobre a busca histórica, este trabalho verifica a participação africana na sua formação sociocultural e linguística, apresentando como base a proposta do projeto nacional Para a História do Português Brasileiro (PHPB) e a perspectiva da Sócio-História Linguística (MATTOS e SILVA, 2004). Sobre a questão linguística, esta pesquisa analisa a variação de concordância entre sujeito e predicativo do sujeito na fala atual dessa comunidade, tentando oferecer um melhor entendimento sobre as características desse fenômeno linguístico e sobre suas possíveis mudanças, utilizando, para isso, o aparato da Sociolinguística Quantitativa (LABOV, 1994, 2008 [1972]). Diante das informações coletadas, hipotetiza-se que a) a cultura africana exerceu influência na cultura e na língua da comunidade Muquém, b) o uso da variante não padrão apresentará uma porcentagem maior do que foi apresentada nos estudos de fala urbana (SCHERRE, 1991; DIAS, 1996; SALGADO, 2008) e c) poderia estar ocorrendo uma mudança em progresso em direção ao maior uso da variante padrão. O corpus tomado para análise consiste em gravações de entrevistas feitas com 12 moradores da comunidade enfocada. Como possíveis fatores extralinguísticos condicionantes, foram escolhidos sexo, masculino e feminino, e idade, subdividido em: Faixa I - de 10 a 30 anos, Faixa II - de 31 a 50 anos e Faixa III mais de 50 anos. Os fatores linguísticos escolhidos foram: tipos de sujeito, tipos de predicativo do sujeito, concordância verbal, material interveniente entre o verbo e o predicativo, concordância nominal de número no SN sujeito, referência ao falante no discurso e caracterização semântica do sujeito. Os resultados do programa VARBRUL apontaram como estatisticamente atuantes na variação de concordância entre sujeito e predicativo apenas os fatores linguísticos concordância verbal, tipos de sujeito e referência ao falante no discurso. Com base em fatos sócio-históricos relacionados à origem da comunidade e ao grau de variação na concordância dessa estrutura linguística, foi reconhecida a importância da presença africana para a cultura e a língua dessa comunidade.