O pátio jesuítico no Palácio Anchieta: narrativas tipomorfológicas e paisagísticas na cidade de Vitória (ES)

A hipótese defendida nesta pesquisa se baseia na possibilidade de a arquitetura jesuítica implantada em terras brasileiras (século XVI) dialogar e agenciar, num mesmo corpo edificado, e de modo inter-relacionado, aspectos relativos à morfologia urbana, tipologia e paisagem. Lama explica que, como disciplina, a morfologia urbana agrega para si não somente o ambiente construído, mas os meios pelos quais este foi construído em sua interação com a forma urbana, ou seja, os “fenômenos sociais, econômicos e outros motores da urbanização” (LAMAS, 1992). Entender a forma urbana é entender seus elementos constituintes, “quer em ordem à leitura ou análise do espaço, quer em ordem à sua concepção ou produção” (LAMAS, 1992). Estudar a forma urbana significa compreender o lugar onde se insere a cidade e seus elementos constituintes, seus espaços e a inter-relação entre eles e seu contexto, em um espectro abrangente do que se denomina cidade, e urbano. A tipologia arquitetônica e a morfologia urbana estão interligadas no cerne de suas análises, considerando que ambas, segundo Pereira, estudam “duas ordens de fatos homogêneos” (PEREIRA, 2012); estudam elementos constituintes da cidade – arquitetônicos e espaciais – que se sobrepõem ou se complementam de acordo com a escala de análise utilizada. A arquitetura jesuítica do Brasil colonial modela de modo determinante a construção de distintos núcleos urbanos originários na costa brasileira no século XVI. Isso, por meio da implantação de tipologia edilícia que acompanha a doutrina jesuítica de localização e escolha do sítio para suas construções, preconizando segurança, visibilidade do entorno e facilidade de acesso por rios ou pelo mar. Essas construções, realizadas em áreas elevadas, marcaram, por conseguinte, no tempo e no espaço, a paisagem dos primeiros núcleos urbanos brasileiros. A pesquisa analisou um dos exemplares históricos da arquitetura jesuítica no Estado do Espírito Santo, especificamente na cidade de Vitória, capital e núcleo urbano original da colonização portuguesa neste Estado. A instalação dos jesuítas na antiga Vila da Vitória, no séc. XVI, através de sua igreja dedicada a São Tiago e de seu colégio anexo, marca a presença tipológica de uma arquitetura religiosa que influencia a própria morfologia da cidade – caracterizando esta arquitetura como um tipomorfológico - e, por reflexo, participa da construção de sua paisagem urbana secular. Entende-se que o antigo complexo jesuítico de São Tiago e atual Palácio Anchieta, sede governamental e prédio cultural capixaba, é uma arquitetura que permeia estas três grandes narrativas arquitetônicas e urbanas: a tipologia, a morfologia e a paisagem.

Cidades sob clichê imagético imaginação espacial e experimentações em poesias visuais

Esse trabalho procurou caracterizar o clichê imagético, articulando-o a exemplos relacionados às cidades provindas de pesquisas iconográficas realizadas no Google Imagens, dando-se, a partir desse contexto, se deram as rasuras dos clichês imagéticos por poesias visuais. A pesquisa iconográfica específica para a palavra “cidades” direcionou o estudo viabilizando a constatação deste clichê, que, por sua vez, foi enunciado como intermediador de imaginação espacial. As constatações empíricas sobre esta temática fez a pesquisa ser conduzida a cinco nomes de capitais brasileiras, que foram contrastadas com as imagens destas cidades caracterizadas fora do clichê imagético, sendo o formato padrão e estático da propagação das imagens foi o universo sobre o qual orbitou este estudo. Uma vez realizadas as observações sobre esta temática, passou-se à discussão poética referente às imagens captadas, e a partir de então foi feito um diálogo com artistas e poetas ao ponto de se delimitar uma justificativa para que poesias visuais fossem elaboradas rumando para outras grafias de mundo, passando, assim, a enfatizar novas possibilidades, para essas imagens identificadas como clichês. Então, este estudo visa possibilitar novas versões a serem produzidas sobre o mundo, optando pela temática “cidade” para melhor categorizar e referenciar a pesquisa iconográfica, direcionando a discussão acerca de espaços e paisagens urbanas. Para tanto, foram adotados os autores Deleuze e Guatarri, articulando seus diálogos com McLuhan e Watson, adentrando-se à dimensão do clichê e aparando-se na iconografia Google e na sua configuração repetida que então passa a evidenciar as características opostas das considerações elaboradas por Doreen Massey, para a imaginação espacial em seu processo fluídico, e não engessado. Pensando nas reverberações de dizeres que se contradizem dessas versões, a imaginação foi evidenciada para além desses processos, atentando-se, assim, às obras poéticas e artísticas de Manoel de Barros ou Valdelino Gonçalves, em que foram verificadas possibilidades de abertura de canais de diálogos com tais clichês, com poesias visuais, em um lançamento para a imaginação, rompendo-os. Em conclusão, foram observadas possibilidades de construções poéticas como dizeres de uma Geografia constituída no imaginário, mas que também possui suas significações perante a realidade, formuladas em rupturas com o dizer totalizante, repetido e homogêneo. Foram evidenciadas, então, essas características como contribuição aos estudos que tangem à temática “Geografia e Imagens”, possibilitando novas reverberações em universos de estudos para essa linha de pesquisa, que procura inovar nas percepções sobre o entendimento das imagens como canal de construção dos espaços geográficos de uma maneira geral.

A representação social de prática profissional para psicólogos clínicos da Grande Vitória/ES

Ao longo dos últimos trinta anos, os profissionais da Psicologia têm buscado conhecer suas práticas profissionais. Tem-se feito estudos e discussões referentes aos paradigmas que sustentam a profissão, às práticas e crenças sobre o psicólogo e sua prática. Dentre eles, percebe-se a relevância e a importância da psicologia clínica, entretanto, poucos são os estudos realizados com os profissionais inseridos nessa área. A pesquisa teve por objetivo investigar e analisar a representação social de prática profissional para psicólogos clínicos da Grande Vitória/ES. Foi utilizada a Análise Dimensional e Dinâmica das Representações Sociais (Teoria das Representações Sociais) para investigar as noções que compõem a prática. Foram entrevistados 18 psicólogos clínicos atuantes em consultório. Utilizou-se o software ALCESTE na análise. Trabalhou-se com os elementos das classes identificadas pelo Alceste para compor as dimensões da representação social. Constatou-se que os entrevistados construíram informações sobre a psicologia clínica e sua prática antes da entrada no curso ou cedo na formação. As teorias utilizadas na clínica são aspectos importantes nessa aproximação. As atitudes frente à prática são extremamente favoráveis, sendo desfavoráveis quando comparadas às crenças da população ou às práticas médicas, tocando em aspectos identitários. Quanto ao campo, reconheceu-se uma imagem dividida em duas: 1) Imagem das atribuições e da prática clássicas do psicólogo clínico; 2) Imagem dos problemas, das mudanças e das dificuldades. Foi possível identificar a representação social de prática profissional para os psicólogos clínicos, levantando questões importantes para a área da psicologia clínica e para a teoria das representações sociais.

A geografia dos acidentes de trânsito na Região Metropolitana da Grande Vitória (RMGV) – ES

Esta dissertação aborda a espacialização dos acidentes de trânsito notificados entre os anos de 2005 e 2013 nos municípios de Fundão, Serra, Vitória, Cariacica, Vila Velha, Viana e Guarapari, que juntos compõem a Região Metropolitana da Grande Vitória (RMGV). Para o cumprimento deste propósito, realizou-se um diagnóstico temporal e espacial dos acidentes de trânsito ocorridos nessa região, analisando-se o acelerado crescimento da frota veicular, a situação da atual infraestrutura viária e o crescimento demográfico. Além disso, foram listadas as principais variáveis de risco responsáveis por ocasionar acidentes de trânsito. Quanto à fundamentação teórica, foi construída a partir da Geografia dos Transportes, que forneceu subsídios para contextualizar a importância da análise espacial geográfica sobre o fenômeno aqui tratado. Na sequência, estimaram-se os custos gerados por esse fenômeno, chegando à cifra de mais de R$ 900 milhões de custos associados aos acidentes de trânsito da RMGV em 2013. Utilizando-se de técnicas de geoestatística e de geoprocessamento, identificaram-se as áreas de concentração de acidentes de trânsito na RMGV, conforme as tipologias de colisões e choques, capotamentos e tombamentos e atropelamentos. Logrou-se, como conclusão, que 1) além do crescimento em quantidade e concentração das ocorrências, houve também, no decorrer da série histórica, o espraiamento dos registros de acidentes de trânsito na RMGV, e 2) os acidentes, conforme sua tipologia, concentram-se em diferentes áreas da região estudada.

O patrimônio arquitetônico da saúde : discussões sobre a história da arquitetura hospitalar do século XIX

O Patrimônio Cultural da Saúde consiste nos bens materiais e imateriais que expressam o processo da saúde individual e coletiva nas suas dimensões científica, histórica e cultural. Com a inserção do Brasil, através da COC-Fiocruz e do Ministério da Saúde, na Rede Latino-americana de Patrimônio Cultural da Saúde, iniciou-se o incentivo ao estudo da história da medicina e da arquitetura hospitalar, buscando também a proteção e a salvaguarda da memória das edificações hospitalares históricas. O século XIX foi marcado pela construção de várias edificações voltadas para o controle e reclusão dos pobres, essas instituições eram: a Casa de Correção, a Santa Casa da Misericórdia, o Hospício de Pedro II, o Asilo da Mendicidade e as Instituições de acolhimento de Menores. Dessas edificações destacam-se a Santa Casa da Misericórdia, o Hospício de Pedro II e o Asilo da Mendicidade que formam o Patrimônio Arquitetônico da Saúde tombado em nível federal. O Hospital da Santa Casa da Misericórdia foi construído em 1840-1852 sob os modernos preceitos da medicina do século XIX. A edificação até hoje mantém o uso hospitalar e apresenta um estado de conservação bom em seu exterior. Porém as condições internas foram consideradas ruins devido à falta de salubridade e higiene nos ambientes. O Hospital da Santa Casa é um Hospital de Referência, realiza atendimentos ambulatoriais, cirúrgicos e de internação. O Hospício de Pedro II foi criado para atender exclusivamente os alienados do Império. O estilo neoclássico e a monumentalidade da edificação o fizeram ser reconhecido como Palácio dos Loucos. O hospício funcionou até 1944 e quatro anos depois a edificação foi cedida à Universidade do Brasil, que adaptou sua arquitetura ao uso educacional. A edificação apresenta estado de conservação regular, com exceção da área central composta pela Capela que está ruim, devido ao incêndio de 2011. O Palácio dos Loucos tornou-se Palácio Universitário, modificando sua identidade através das mudanças que foram feitas em sua arquitetura. O Asilo da Mendicidade foi criado em 1876 para fechar o pentágono asilar. A edificação panóptica buscava a efetiva observação e controle dos internos. A edificação funcionou como Asilo para mendigos até 1920, quando transformou-se em Hospital de São Francisco de Assis. Posteriormente o hospital seria transferido para a Universidade do Brasil, que funcionou como hospital escola até 1978. O Hospital foi desativado e ficou sem uso por dez anos, quando enfim voltou a funcionar como um estabelecimento destinado aos mais pobres. O conjunto da edificação é o que apresenta o pior estado de conservação, considerado de ruim a péssimo. Comprovou-se com essa pesquisa que o mais importante para a preservação das características arquitetônicas e artísticas do bem é a manutenção do uso, seja ele qual for. Os novos usos devem ser adequados também às características e à capacidade da arquitetura em questão. Através de reformas e planos adequados, os hospitais oitocentistas, que hoje se apresentam como Patrimônio Arquitetônico da Saúde, podem manter um uso similar para o qual foi construído, como uma edificação voltada à promoção da saúde da população.

Avaliação do teste Quantiferon TB Gold in tube no diagnóstico de infecção latente pelo Mycobacterium tuberculosis em profissionais de saúde da atenção básica

Introdução: Os ensaios de liberação do interferon- γ (ELIG) surgiram como uma alternativa para o diagnóstico de infecção latente pelo Mycobacterium tuberculosis (ILTB). Neste estudo, nós comparamos o desempenho de um dos ELIG, teste Quantiferon TB Gold in tube – QFT, com a prova tuberculínica (PT) em dois pontos de corte (≥ 5 mm e ≥ 10 mm), em profissionais de saúde da atenção básica à saúde (ABS). Métodos: Estudo transversal realizado em profissionais de saúde da ABS de quatro capitais nacionais com alta incidência de TB. O resultado do teste QFT foi comparado com o resultado da PT nos pontos de corte ≥ 5mm e ≥ 10 mm. Resultados: Foram incluídos 632 profissionais de saúde. Ao considerar o ponto de corte ≥ 10 mm para a PT, a concordância entre QFT e a PT foi de 69% (k = 0,31) e para o ponto de corte ≥ 5 mm, a concordância entre os testes foi de 57% (k = 0,22). Devido a baixa concordância entre a PT e o QFT, nós avaliamos os possíveis fatores associados com a discordância entre eles. Ao comparar o grupo PT- / QFT- com o grupo PT+ / QFT-, no ponto de corte ≥ 5 mm, a idade entre 41-45 [OR = 2,70, IC 95%: 1,32-5,51] e 46-64 [OR = 2,04, IC 95%: 1,05-3,93], presença de cicatriz vacinal do BCG [OR = 2,72, IC 95%: 1,40-5,25] e trabalhar apenas na ABS [OR = 2,30, IC 95 %: 1,09-4,86] apresentaram associação estatística significativa. Para o ponto de corte ≥ 10 mm, a presença de cicatriz vacinal do BCG [OR = 2,26, IC 95%: 1,03-4,91], ter tido contato domiciliar com paciente portador de tuberculose ativa [OR = 1,72, IC 95%: 1,01-2,92] e ter feito a PT anteriormente [OR = 1,66, IC 95%: 1,05-2,62] revelaram associação estatística significativa. Curiosamente, a discordância observada no grupo PT- / QFT + não apresentou associação estatistica com nenhuma das variáveis consideradas, independentemente do ponto de corte da PT. Conclusões: Apesar de termos identificado que a vacina BCG contribuiu para a discordância entre os testes, as recomendações brasileiras para o início do tratamento da ILTB não devem ser alteradas devido as limitações do QFT.

Análise sociolinguística da aprendizagem dos clíticos de 3º pessoa por crianças do 4º ano do ensino fundamental

Diversas pesquisas apontam um contínuo desuso dos clíticos de 3ª pessoa (lhe, o, a, os, as e suas variantes) na modalidade oral do Português Brasileiro (PB), sendo substituídos pelo pronome reto, pelo objeto nulo ou pela repetição do sintagma a que eles fazem referência. Por outro lado, os clíticos de 3ª pessoa aparecem comumente em textos escritos veiculados pela mídia, bem como nos estilos mais formais da língua falada, o que faz com que esses elementos constem dos programas da disciplina Língua Portuguesa, nas escolas brasileiras. Dessa feita, esta pesquisa tem por objetivo descrever esse processo de aprendizagem do ponto de vista linguístico e social, procurando investigar como as crianças interpretam o uso dessas formas – e, por conseguinte, da variedade padrão da língua –, e se e/ou como a escola favorece a aprendizagem dessas formas. Para respondermos a essas perguntas, procedemos a uma pesquisa sociolinguística, que analisa os fatores linguísticos e sociais que poderiam influenciar essa aprendizagem. Para tanto, os clíticos de 3ª pessoa foram trabalhados gradualmente durante um ano letivo. Assim, o corpus desta pesquisa compõe-se de textos escritos livremente e de testes de compreensão – que visava verificar a compreensão dos clíticos presentes em textos infantis – e de desempenho – que consistia na substituição de expressões pelos clíticos adequados. Os dados foram colhidos em uma turma de 4º ano do Ensino Fundamental durante 10 meses letivos, numa escola pública de Belo Horizonte, Minas Gerais, cujos alunos pertencem a diferentes níveis socioeconômicos. Os resultados obtidos revelam que: i) o contexto em que o clítico é inserido contribui significativamente para a sua compreensão; ii) com relação aos fatores extralinguísticos, os alunos, independentemente de sua origem social e sexo/gênero, apresentam dificuldades em compreender os clíticos; entretanto, há uma leve tendência de um melhor aproveitamento quanto aos meninos da classe socioeconômica favorecida

Modelagem e simulação de um secador intermitente de fluxos contracorrentes para frutos do cafeeiro

Este trabalho foi realizado com o objetivo de desenvolver um modelo computacional para simular a secagem de frutos café em um secador intermitente de fluxos contracorrente, empregando a linguagem de simulação EXTEND™ e o Modelo de Thompson (THOMPSON; PEART; FOSTER, 1968). Para validação do modelo desenvolvido foram utilizados dados experimentais obtidos por Silva (1991), em que foram empregados três níveis de temperatura do ar de secagem de 60, 80 e 100 °C. O modelo desenvolvido foi validado, sendo constatados desvios absolutos de 1,8% b.u e 1,1 kg e erros relativos de 11% e 1,6% na previsão dos parâmetros teor de água final e consumo de lenha, respectivamente. O modelo validado foi empregado na condução de experimentos tipo comparação de cenários. O primeiro experimento refere a alterações do ciclo operacional em que foram alterados os tempos de movimentação e de parada do fluxo da massa de grãos. E o segundo refere à alteração da configuração do secador quanto às alturas das câmaras de secagem e descanso. O ciclo operacional com os tempos de movimentação de um minuto e de parada de dezesseis minutos, para a temperatura do ar de secagem de 100 °C, proporcionou o melhor desempenho, sendo constatado tempo secagem de 12,3 h, consumo de lenha de 109,5 kg, consumo específico de energia de 7660 kJ.kg-1 de água evaporada, e capacidade de secagem de 87,86 kg.h-1. Quanto à configuração do secador, o melhor desempenho ocorreu para altura da câmara de secagem de 2,3 m usando a temperatura do ar de secagem de 100 °C, em que foram simulados tempo de secagem de 12,0 h, consumo de lenha de 106,5 kg, consumo específico de energia, de 7433 kJ.kg-1 de água evaporada, e capacidade de secagem de 90 kg.h-1. Desse modo, na condução da secagem de frutos de café em um secador intermitente de fluxos contracorrentes é recomendado o ciclo operacional com tempos de movimentação de um minuto e o de parada de dezesseis minutos, e não empregar a câmara de descanso. Essa conclusão está fundamentada em índices de desempenho do secador. Ressalta-se que não foram simulados os impactos nos parâmetros de qualidade.

O paradoxo da cidade monitorada : vigilância limitada e espaços públicos fragilizados a partir do estudo do sistema das câmeras do município de Vila Velha - ES

A dissertação aborda a fragilização dos espaços públicos num contexto de utilização de câmeras de vigilância, temática que será problematizada a partir da vigilância exercida pelas câmeras do município de Vila Velha – ES. Partimos da hipótese de que vivemos cercados por objetos técnicos que continuamente produzem informações sobre os sujeitos sociais e os seus espaços como forma de controle. As câmeras representam o exemplo mais conhecido desses objetos, embora sejam apresentadas pelos discursos das administrações públicas como ferramentas de auxílio à segurança. Utilizando como metodologia a observação participante para acompanhamento do trabalho realizado “por trás” das câmeras, concluímos que uma série de fatores desmistificam esses discursos: as câmeras que não são monitoradas, a ausência de manutenção dos equipamentos do sistema, os baixos salários e as condições trabalhistas daqueles que operam as câmeras, a ausência de articulação com os demais setores da prefeitura, a falta de credibilidade das câmeras com a polícia, etc. Por outro lado, ao fazermos um trabalho “na frente” das câmeras, observando o cotidiano de três áreas vigiadas nos bairros Praia da Costa, Glória e Riviera da Barra, bem como entrevistando transeuntes, moradores e comerciantes, concluímos que a maneira surpreendentemente indiferente com que as pessoas lidam com a vigilância é alimentada quando descobrimos que elas não oferecem a segurança pretendida. Se as câmeras não auxiliam a segurança pública, a sua utilização tem um efeito perverso na fragilização dos espaços públicos de Vila Velha, considerando que a vigilância representa ameaças potenciais e reais às condições que o pressupõem: a pluralidade e a liberdade, pois as câmeras atualizam um estado de vigilância permanente alimentando o estigma sobre determinados grupos sociais, que, por sua vez, são os alvos favoritos da vigilância, o que permite às câmeras, ainda, a potencial função de controle socioespacial direto (função admitida inclusive pelos cidadãos entrevistados) sobre os espaços vigiados; e a individualidade dos cidadãos, que é acintosamente violada. As câmeras, portanto, ao pretenderem garantir qualidade de vida à população (oferecendo segurança), produzem o efeito exatamente inverso

A dimensão urbana da arquitetura : ambientes de transição

The present work aims to discuss the urban dimension of architecture and to investigate the role of the architectural spaces in the quality of life in between buildings and their environments. It investigates the transitional spaces between building and thoroughfare; building, thoroughfare and built environments located on the ground level of the buildings, and the potential they have to modify (individually or in groups) the environment where they are. For that, the research studies aspects of the architecture that urban buildings (individually or in groups) have and the inference of the morphology, building type and urban environment quality within the extended context of the Brazilian contemporary city. The analysis of the relation between building, thoroughfare and adjacent surroundings will be performed by the lights of, the evolution they have suffered since European urban spatial interventions that took place in the 19th Century; the morphological rupture on the traditional modern city of the 20th Century; the Brazilian experience focused on edifices, by showing analysis of a group of buildings, in their majority, iconic examples of Brazilian architecture from the 1930s onwards; and finally by an extensive investigation on the micro areas that have been selected in the Camburi region, in the city of Vitória-ES, focused on the characteristics of their architectural complex. As a preliminary conclusion, it can be stated that architecture cannot determine the quality in urban life and in its environments by itself, but because of its architectural and urban configuration of space, it may contribute to quality of environment in its surroundings

A constituição do Instituto de Educação de Vitória/ES e a formação de professores primários no Espírito Santo (1971-2000)

Investiga o processo de transição da Escola Normal para outro espaço físico sob a forma de Instituto de Educação e os desdobramentos dessa mudança na formação de professores no Espírito Santo, segundo as diretrizes instituídas pela Lei nº. 5.692/71, durante o Regime Ditatorial Brasileiro (1964-1985). O recorte temporal inicia-se em 1971, quando ocorreu a transição, e encerra-se no ano 2000, momento em que o Instituto passa a denominar-se Escola Estadual de 2º grau Professor Fernando Duarte Rabelo. Privilegia, como interlocutores teóricos, os historiadores Carlo Ginzburg (1986, 2006), Marc Bloch (2001) e Michel de Certeau (2004) e toma, como corpus documental, propostas curriculares do Estado, portarias, matérias de jornais, fotografias de eventos realizados pela instituição e entrevistas com sujeitos que atuaram naquele espaço como professoras, diretora e aluna. As fontes foram interrogadas a partir das seguintes questões: como se deu a transição da Escola Normal D. Pedro II para o Instituto de Educação de Vitória? Que motivos levaram a essa transição? Como se configurou a formação de professores no Instituto de Educação? Quais os desdobramentos das mudanças ocorridas, em se tratando da formação de professores capixabas? Pareceram intrigantes silêncios e lacunas observados em relação à transição da Escola Normal para o Instituto de Educação e aos motivos que desencadearam essa mudança. Das falas das professoras, depreende-se que decisões sobre a transferência do espaço físico e as modificações no currículo vieram prontas, de cima para baixo. O discurso da modernização alardeia a técnica e o tecnicismo e anuncia novidades. A Escola Normal e as suas tradições passam a habitar o passado como algo que se apaga em nome do avanço técnico. Ainda que sutilmente, o cheiro do cafezinho gratuito e do mingau fizessem espargir o aroma da saudade de um outro tempo em que o lanche dos professores da Escola Normal era um encontro “solene”. Conclui-se que a abrupta descontinuidade da Escola Normal, cujo prédio passou a abrigar a atual Escola Estadual Maria Ortiz, possivelmente não se esgota nas questões de ordem técnico-pedagógica que os documentos deixam explícitas. Entretanto, tendo em vista o cronograma limitado desta pesquisa e a lacuna das fontes, não foi possível explorar outras possibilidades de resposta.

Implementação de formulações do método dos elementos de contorno para associação de placas no espaço

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2016.

Contrasts in the basins of attraction of structurally identical iterative root finding methods

A numerical comparison is performed between three methods of third order with the same structure, namely BSC, Halley’s and Euler–Chebyshev’s methods. As the behavior of an iterative method applied to a nonlinear equation can be highly sensitive to the starting points, the numerical comparison is carried out, allowing for complex starting points and for complex roots, on the basins of attraction in the complex plane. Several examples of algebraic and transcendental equations are presented.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs