Macros como mecanismos de abstração em transformações textuais (2018)
- Authors:
- Autor USP: CEREDA, PAULO ROBERTO MASSA - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Subjects: LINGUAGENS FORMAIS; AUTÔMATOS FINITOS; TRANSFORMAÇÃO DE PROGRAMAS; GRAMÁTICA
- Language: Português
- Abstract: Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros.
- Imprenta:
- Data da defesa: 29.06.2018
-
ABNT
CEREDA, Paulo Roberto Massa. Macros como mecanismos de abstração em transformações textuais. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/. Acesso em: 11 maio 2024. -
APA
Cereda, P. R. M. (2018). Macros como mecanismos de abstração em transformações textuais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/ -
NLM
Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2024 maio 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/ -
Vancouver
Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2024 maio 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas