Orientador: Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T06:12:35Z (GMT). No. of bitstreams: 1 Carvalho_ClaudioSergiodaRosde_M.pdf: 4046863 bytes, checksum: 9f43bdd999d8967273f98101a319ae69 (MD5) Previous issue date: 1989 / Resumo: A proposta deste trabalho é a apresentação dos aspectos principais da linguagem de programação MG, que foi engendrada com o objetivo de incorporar algumas facilidades, chamadas do baixo nível, da linguagem C à estrutura da linguagem Modula-2. Como evoluções de MC em relação a Modula-2 e C podem-se citar, entre outras, a inclusão de tratamento de exceções, vetores com limites abertas, subprogramas com número variável de parâmetros c processos. O resultado é uma linguagem simples e precisa, de propósito geral, mas adequada à programação de sistemas / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

O trabalho descreve uma extensão da linguagem COBOL e sua implementação, para permitir a manipulação de bancos de dados relacionais. Esta extensão é constituída por instruções que executam um subconjunto de operações de álgebra relacional. A implementação é feita através de um pré-processador, que reconhece e transforma as instruções pertencentes a extensão em rotinas COBOL inseridas no programa do usuário. / This work describes a COBOL extension that allows the manipulation of relational data bases. The extension is composed by instructions that execute a subset of relational algebra operations. The implementation is accomplished by a pre-processor that recognizes and translates the new instructions to COBOL routines that are included in to the user's program.

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

O trabalho desenvolvido e composto, basicamente,de três partes. Inicialmente, descreve-se a linguagem de programação PASCAL, independentemente de qualquer implementação. A seguir e apresentado um estudo sobre a implementação de PASCAL para o computador B-6700 sendo discutidas, para cada etapa de desenvolvimento, diversas opções alternativas. Por fim,apresenta-se uma serie de sugestões para a realização de novos trabalhos sobre o assunto. / This work describes an implementation of the programming language PASCAL on the B6700 computers. PASCAL is a high language known by its powerful definition and manipulation of structured data types. The work is presented in three parts. The first one consists of a description of the language PASCAL. The second part discusses the PASCAL implementation on a B6700 computer. Finally, some extensions to this work are suggested.

Das Hauptziel dieser Arbeit ist es, einen Ansatz fur die parallele Komposition von Graph- Grammatiken und eine Unfolding-Semantik genannte Semantik fiir Graph-Grammatiken bereitzustcllen, in der die Aspekte Nebenlaufigkeit und Kompositionalitat bzgl. der parallelen Komposition eine zentrale Rolle einnehmen. Die parallele Komposition von Graph-Grammatiken erlaubt die Komposition von Grammatiken bzgl. eines gemeinsamen (moglicherweise leeren) Anteils und basiert auf der parallelen und amalgamierten Komposition von Regeln der komponierten Grammtiken. Dariiber hinaus ist das Kompositionsergebnis syntaktisch und semantisch in geeigneter Weise mit den komponierten Grammatiken verkniipft. Die Unfolding-Semantik einer Graph-Grammatik ist eine echt nebenldufige, verzweigende Semantik, in der sowohl Zustande (Graphen) als auch Zustandsanderungen (Ableitungen) reprasentiert sind. Das Unfolding kann inkrementell konstruiert werden und es wird gezeigt, daß dies das gleiche Result liefert wie die Verklebung der deterministischen Berechnungen einer Grammatik Dartiberhinaus ist das Unfolding einer Graph-Grammatik selbst eine Graph- Grammatik, die einer speziellen Klasse von Graph-Grammatiken angehOrt: den Occurrence- Grammatiken. Hier wird diese Klasse axiomatisch definiert und die Elemente dieser Klasse kOnnen als Grammatiken gesehen werden, die (deterministische und nicht-deterministische) Berechnungen einer anderen Grammatik reprdsentieren. Die Semantik einer Grammatik, die aus der parallelen Komposition anderer Grammatiken entstanden ist, ist isomorph zur Komposition der Semantiken der komponierten Grammatiken. Dieses Kompatibilitatsresultat verbindet die parallele Komposition und die Unfolding Semantik in enger Weise. Da der Zweck der parallelen Komposition die Komposition nebenldufiger Systeme ist, stellt die Kompatibiliat von Komposition und Nebenlaufigkeitssemantik ein attraktives Ergebnis dar. / The main aims of this thesis are to provide an approach to the parallel composition of graph grammars and a semantics for graph grammars, called the unfolding semantics, in which the aspects of concurrency and compositionality with respect to the parallel composition play a central role. The parallel composition of graph grammar allows the composition of grammars with respect to a shared part (that may be empty), and is based on parallel and amalgamated composition of the rules of the component grammars. Moreover, the result of the composition is suitably syntactically and semantically related to the component grammars. The unfolding semantics of a graph grammar is a true concurrent, branching structure semantics in which states (graphs) as well as changes of states (derivations) are represented. The unfolding can be constructed incrementally, and we show that this yields the same result as a construction based on gluing of the deterministic computations of a grammar. Moreover, the unfolding of a graph grammar is itself a graph grammar that belong to a special class of graph grammars: the occurrence graph grammars. Here this class is defined axiomatically, and the members of this class can be seen as grammars that represent (deterministic and non-deterministic) computations of another grammars. The semantics of a grammar obtained as the parallel composition of other grammars is isomorphic to the composition of the semantics of the component grammars. As the purpose of the parallel composition is to be a composition for concurrent and reactive systems, the fact that this composition is compatible with a true concurrency semantics is an attractive result.

Programa de Pós-Graduação em História. Departamento de História, Instituto de Ciências Humanas e Sociais, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-10-19T20:29:00Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EntreFormasHesitantes.pdf: 1945301 bytes, checksum: d7b71c901507318745da0a6fe8e5a686 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-10-26T13:00:52Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EntreFormasHesitantes.pdf: 1945301 bytes, checksum: d7b71c901507318745da0a6fe8e5a686 (MD5) / Made available in DSpace on 2015-10-26T13:00:52Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EntreFormasHesitantes.pdf: 1945301 bytes, checksum: d7b71c901507318745da0a6fe8e5a686 (MD5) Previous issue date: 2013 / Tendo como um dos eixos norteadores a reflexão acerca do gênero ensaio, e, subsumida a essa, a noção de ensaio histórico, propomos, mediante a obra Raízes do Brasil, de Sérgio Buarque de Holanda, relações entre essa forma de escrita e certa prática historiográfica da primeira metade do século XX brasileiro, perscrutando tanto suas interseções com outras modalidades discursivas – crítica da linguagem e inovações estéticas promovidas pelo Modernismo – quanto com os aspectos críticos do método histórico. Com o intuito de deslindar, na primeira parte da dissertação, certos aspectos contextuais da experiência temporal constituinte do controverso discurso modernista, procuramos evidenciar, mediante alguns dos seus textos de juventude, o modo como a atuação do crítico literário Sérgio Buarque conforma dimensões da escritura do seu livro primeiro. Já na segunda parte da dissertação, momento no qual melhor se estreita o trabalho com as fontes que respaldam estas reflexões, isto é, as primeiras três edições de Raízes do Brasil (1936, 1948, 1956), tencionamos realizar análises comparativas de algumas modificações textuais – em nível micro e macro – efetuadas pelo ensaísta ao longo das subsequentes publicações da obra. Considerando-a na historicidade que perpassa as edições em questão, sugerimos que ela condensa tensões que, se não caracterizaram, em âmbito mais amplo, o itinerário do ensaísmo como atividade propícia ao “regime historiográfico” brasileiro do período, ao menos resguardam ao autor posição epicentral no que tange às modulações da disciplina histórica no contexto da primeira metade do século XX brasileiro: “autor-ponte” entre o Modernismo e a historiografia acadêmica. Posição essa que se revela, ainda, em sua própria preocupação atualizadora do pensamento, resguardada por sua imbricada relação entre consciência histórica e política, e configurada, por sua vez, na constante reescrita de Raízes do Brasil. As modificações efetuadas nesse livro extrapolam o âmbito estilístico e esbarram em questões fundamentais, por exemplo, de alterações metafórico-conceituais, as quais revelam o seu cuidado incessante com o sentido da narrativa; sentido que, na configuração tropológica dessa obra seminal, jamais é alheio ao aparato de dispositivos formais utilizados. ______________________________________________________________________________________ / ABSTRACT: Having as a guiding principle some reflections about the essay genre, and, subsumed to this, the notion of the historical essay, we propose, through Sérgio Buarque de Holanda’s Roots of Brazil, relations between this form of writing and a certain historiographical praxis of the first half of the Brazilian twentieth century, scrutinizing both its intersections with other discursive modalities – linguistics criticism and aesthetics innovations promoted by the Modernist movement – and as the critical aspects of historical criticism. In order to disentangle, in the first part of the dissertation, certain contextual aspects of the experience of time constituent to the controversial modernist discourse, we intend to show, through some of his younger writings, how the role of Sérgio Buraque, the literary critic, conformed dimensions of the writing of his first book. In the second part of the dissertation, at which we work closer to the sources which support these reflections, i.e., the first three editions of Roots of Brazil (1936, 1948, 1956), we intend to carry out comparative analysis of some textual changes – in the micro and macro levels – made by the essayist over the subsequent publications of that work. Considering the historicity that permeates the editions in matter, we suggest that the book concentrates tensions, if not characterize, in the broader context, the itinerary of essay writing as a conductive practice to the Brazilian “historiographical regime” of the period, and at least enshrines the author’s epicentral position regarding the modulations of the historical discipline in the context of the first half of the Brazilian twentieth century: an “author-bridge” between Modernism and “professional history”. Position which is even revealed in his concern of upgrading thought, sheltered by their intertwined relationship between historical and political consciousness and configured, in turn, by the constantly rewriting of Root of Brazil. The changes made in this book go beyond the stylistic scope and run into fundamental matters, such as, metaphorical and conceptual changes, which reveal his care with unrelenting narrative meaning; meaning that, in the tropological configuration of this seminal work, is never unaware of the formal apparatus used.

O trabalho descreve uma extensão da linguagem COBOL e sua implementação, para permitir a manipulação de bancos de dados relacionais. Esta extensão é constituída por instruções que executam um subconjunto de operações de álgebra relacional. A implementação é feita através de um pré-processador, que reconhece e transforma as instruções pertencentes a extensão em rotinas COBOL inseridas no programa do usuário. / This work describes a COBOL extension that allows the manipulation of relational data bases. The extension is composed by instructions that execute a subset of relational algebra operations. The implementation is accomplished by a pre-processor that recognizes and translates the new instructions to COBOL routines that are included in to the user's program.

Das Hauptziel dieser Arbeit ist es, einen Ansatz fur die parallele Komposition von Graph- Grammatiken und eine Unfolding-Semantik genannte Semantik fiir Graph-Grammatiken bereitzustcllen, in der die Aspekte Nebenlaufigkeit und Kompositionalitat bzgl. der parallelen Komposition eine zentrale Rolle einnehmen. Die parallele Komposition von Graph-Grammatiken erlaubt die Komposition von Grammatiken bzgl. eines gemeinsamen (moglicherweise leeren) Anteils und basiert auf der parallelen und amalgamierten Komposition von Regeln der komponierten Grammtiken. Dariiber hinaus ist das Kompositionsergebnis syntaktisch und semantisch in geeigneter Weise mit den komponierten Grammatiken verkniipft. Die Unfolding-Semantik einer Graph-Grammatik ist eine echt nebenldufige, verzweigende Semantik, in der sowohl Zustande (Graphen) als auch Zustandsanderungen (Ableitungen) reprasentiert sind. Das Unfolding kann inkrementell konstruiert werden und es wird gezeigt, daß dies das gleiche Result liefert wie die Verklebung der deterministischen Berechnungen einer Grammatik Dartiberhinaus ist das Unfolding einer Graph-Grammatik selbst eine Graph- Grammatik, die einer speziellen Klasse von Graph-Grammatiken angehOrt: den Occurrence- Grammatiken. Hier wird diese Klasse axiomatisch definiert und die Elemente dieser Klasse kOnnen als Grammatiken gesehen werden, die (deterministische und nicht-deterministische) Berechnungen einer anderen Grammatik reprdsentieren. Die Semantik einer Grammatik, die aus der parallelen Komposition anderer Grammatiken entstanden ist, ist isomorph zur Komposition der Semantiken der komponierten Grammatiken. Dieses Kompatibilitatsresultat verbindet die parallele Komposition und die Unfolding Semantik in enger Weise. Da der Zweck der parallelen Komposition die Komposition nebenldufiger Systeme ist, stellt die Kompatibiliat von Komposition und Nebenlaufigkeitssemantik ein attraktives Ergebnis dar. / The main aims of this thesis are to provide an approach to the parallel composition of graph grammars and a semantics for graph grammars, called the unfolding semantics, in which the aspects of concurrency and compositionality with respect to the parallel composition play a central role. The parallel composition of graph grammar allows the composition of grammars with respect to a shared part (that may be empty), and is based on parallel and amalgamated composition of the rules of the component grammars. Moreover, the result of the composition is suitably syntactically and semantically related to the component grammars. The unfolding semantics of a graph grammar is a true concurrent, branching structure semantics in which states (graphs) as well as changes of states (derivations) are represented. The unfolding can be constructed incrementally, and we show that this yields the same result as a construction based on gluing of the deterministic computations of a grammar. Moreover, the unfolding of a graph grammar is itself a graph grammar that belong to a special class of graph grammars: the occurrence graph grammars. Here this class is defined axiomatically, and the members of this class can be seen as grammars that represent (deterministic and non-deterministic) computations of another grammars. The semantics of a grammar obtained as the parallel composition of other grammars is isomorphic to the composition of the semantics of the component grammars. As the purpose of the parallel composition is to be a composition for concurrent and reactive systems, the fact that this composition is compatible with a true concurrency semantics is an attractive result.

O trabalho descreve uma extensão da linguagem COBOL e sua implementação, para permitir a manipulação de bancos de dados relacionais. Esta extensão é constituída por instruções que executam um subconjunto de operações de álgebra relacional. A implementação é feita através de um pré-processador, que reconhece e transforma as instruções pertencentes a extensão em rotinas COBOL inseridas no programa do usuário. / This work describes a COBOL extension that allows the manipulation of relational data bases. The extension is composed by instructions that execute a subset of relational algebra operations. The implementation is accomplished by a pre-processor that recognizes and translates the new instructions to COBOL routines that are included in to the user's program.

O trabalho desenvolvido e composto, basicamente,de três partes. Inicialmente, descreve-se a linguagem de programação PASCAL, independentemente de qualquer implementação. A seguir e apresentado um estudo sobre a implementação de PASCAL para o computador B-6700 sendo discutidas, para cada etapa de desenvolvimento, diversas opções alternativas. Por fim,apresenta-se uma serie de sugestões para a realização de novos trabalhos sobre o assunto. / This work describes an implementation of the programming language PASCAL on the B6700 computers. PASCAL is a high language known by its powerful definition and manipulation of structured data types. The work is presented in three parts. The first one consists of a description of the language PASCAL. The second part discusses the PASCAL implementation on a B6700 computer. Finally, some extensions to this work are suggested.