UFMG::DCC::LLP - Programing Language Laboratory Publications

PUBLICATIONS


2017


Journal

  1. FERREIRA, Kecia A. M.; BIGONHA, Mariza A. S.; BIGONHA, Roberto S.; LIMA, Bernardo Nunes B.; Gomes, Bárbara M. ; MENDES, L. F. O.. A model for estimating change propagation in software. Software Quality Journal (Online), Volume 24, pages: 1-32, 2017.

International Conference

  1. SOUZA, Bruno L. ; SOUZA, Priscila; FERNANDES, E ; FERREIRA, Kecia A. M. ; BIGONHA, Mariza A. S. . FindSmells: Flexible Composition of Bad Smell Detection Strategies. In: 25th International Conference on Program Comprehension (ICPC), 2017, Buenos Aires - Argentina. Proceedings of IEEE/ACM 25th International Conference on Program Comprehension, 2017. v. 1. p. 1-4.

  2. FERNANDES, Eduardo; SOUZA, P.; FERREIRA, Kecia A. M. ; BIGONHA, Mariza A. S.; FIGUEIREDO, Eduardo M. L.. Detection Strategies for Modularity Anomalies - An Evaluation with Software Product Lines. In: 14th International Conference on Information Technology : New Generations ITNG 2017, 2017, Las Vegas. The ITNG proceedings will be published in the series: Advances in Intelligent Systems & Computing Series.. Nova York: Springer, 2017. p. 1-6.

National Conferences

  1. Carvalho, João F. N.; Souza, Bruno Luan; Araújo, Marcus R.; Bigonha, Mariza A. S.; The Register Allocation and Instruction Scheduling Challenge. In: XIII Simpósio Brasileiro de Sistemas de Informação - (SBSI), 2017. Anais do XX Simpósio Brasileiro de Linguagens de Programação - (CBSOFT-SBLP). Fortaleza - CE, v. 1. p. 1-9.

  2. SOUSA, Priscila; SOUZA, Bruno L.; FERREIRA, Kecia A. M.; BIGONHA, Mariza A. S.; Applying Software Metric Thresholds for Detection of Bad Smells. In: X Simpósio Brasileiro de Componentes, Arquiteturas e Reúso de Software (CBSOFT-SBCARS), 2017. Fortaleza CE, v. 1. p. 1-10.

  3. SOUZA, Bruno L. ; BIGONHA, Mariza A. S. ; FERREIRA, Kecia A. M. Evaluating Co-Occurrence of GOF Design Patterns with God Class and Long Method Bad Smells. In: XIII Simpósio Brasileiro de Sistemas de Informação - (SBSI), 2017. Anais do XIII Simpósio Brasileiro de Sistemas de Informação - (SBSI). Lavras - MG: Editora da UFLA. v. 1. p. 1-8.

Technical Reports

  1. SOUZA, Bruno L. ; BIGONHA, Mariza A. S. ; FERREIRA, Kecia A. M. A systematic literature mapping on the relationship between design patterns and bad smells: Papers Summary. In: LLP002/2017 of the Programming Language Laboratory, 2017. p. 1-8.

  2. SOUZA, Bruno L. ; BIGONHA, Mariza A. S. ; FERREIRA, Kecia A. M. A Tool for Detection of Co-Occurrences between Design Patterns and Bad Smells. In: LLP001/2017 of the Programming Language Laboratory, 2017. p. 1-8.

    2016


    1. Cristiano Maffort, Marco Tulio Valente, Ricardo Terra, Mariza Bigonha, Nicolas Anquetil, Andre Hora. Mining Architectural Violations from Version History. In Empirical Software Engineering Journal (EMSE), Springer. Invited for a special issue with best papers from WCRE 2013. Pages 854-895, Vol. 31, Issue 3, 2016.

    2. Carlos Camarão, Lucília Figueiredo, Rodrigo Ribeiro, Ambiguity and Constrained Polymorphism, Science of Computer Programming 124(1), 1--19, August 2016.

    National Conferences

    1. Rodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos, Optional Type Classes for Haskell. SBLP'2016, (20th Brazilian Symposium on Programming Languages), Marília, SP, September 19-23, 2016.

    2. Raul Lopes, Rodrigo Ribeiro, Carlos Camarão, Certified Derivative-Based Parsing of Regular Expressions, SBLP'2016, (20th Brazilian Symposium on Programming Languages), Marília, SP, September 19-23, 2016.

    2015


    Journal

    1. Leonardo V. S. Reis; Vladimir O. Di Iorio; Roberto S. Bigonha. An on-the-fly grammar modification mechanism for composing and defining extensible languages.. Computer Languages, Systems & Structures , v. 42, p. 46-59, 2015.

    International Conference

    1. Tarcísio G. S. Filó, Mariza A. S. Bigonha, Kecia Aline Marques Ferreira, A Catalogue of Thresholds for Object-Oriented Software Metrics, Proceedings do International Conference on Advances and Trends in Software Engineering - SOFTENG2015, Barcelona, Espanha, Abril, 2015. Trabalho premiado como Best Paper Award no SOFTENG 2015.

    National Conferences

    1. Francisco Demontiê, Junio Cezar, Mariza Bigonha, Frederico Campos, Fernando Pereira. Automatic Inference of Loop Complexity through Polynomial Interpolation, XIX Simpósio Brasileiro de Linguagens de Programação, CBSOFT- SBLP 2015, Belo Horizonte - MG. Esse artigo foi premiado com o 3o Lugar na Categoria de Melhores Artigos do XIX SBLP, em 09/2015.

    2. Junio Cezar Ribeiro da Silva, Francisco Demontiê dos Santos Junior, Mariza Bigonha e Fernando Quintão Pereira. Asymptus - A Tool for Automatic Inference of Loop Complexity, Seção de Ferramentas do CBSOFT 2015, Belo Horizonte,MG.

    3. Rodrigo Ribeiro, Carlos Camarão, A Mechanized Textbook Proof of a Type Unification Algorithm, SBMF'2015, (18th Brazilian Symposium on Formal Methods), Belo Horizonte, September 21-25, pp. 84-98, 2015.

    4. Adelaine Gelain, Cristiano Vasconcellos, Rodrigo Ribeiro, Carlos Camarão, Type Inference for GADTs and Anti-unificationSBLP'2015, (19th Brazilian Symposium on Programming Languages), Belo Horizonte, September 21-25, LNCS 9325, 16-30, 2015.

    2014


    Book

    1. BIGONHA, ROBERTO S; MEDEIROS, C. B. ; MAMMANA, C. Z. ; SANTOS, C. S. ; MENASCE, D. A. ; WAGNER, F. R. ; MARTINS, L. C. ; SILVEIRA, P. M. ; REIS, R. A. L. . Memórias da Sociedade Brasileira de Computação. 1. ed. Porto Alegre, RS: SBC, 2014. v. 1. 144p .

    Journal

    1. Tarcísio G.S. Filó, Mariza A.S. Bigonha, Kecia A.M. Ferreira, Statistical Dataset on Software Metrics in Object-Oriented Systems, Software Engineering Notes (SEN) ACM SIGSOFT, V.39 I.5, p. 1-6, September 2014.

    2. CESAR COUTO; MARCO TULIO VALENTE; PEDRO PIRES; ANDRE HORA; NICOLAS ANQUIEL; ROBERTO S. BIGONHA. BugMaps-Granger: a tool for visualizing and predicting bugs using Granger causality tests., Journal of Software Engineering Research and Development, v. 2, p. 1, 2014.

    3. LEONARDO V.S. ; BIGONHA, ROBERTO S. ; DI IORIO, VLADIMIR O. ; AMORIM, LUIS EDUARDO S. The formalization and implementation of Adaptable Parsing Expression Grammars., Science of Computer Programming (Print) , v. 96, p. 191-210, 2014.

    4. COUTO, CESAR; PIRES, PEDRO; VALENTE, MARCO TULIO; BIGONHA, ROBERTO S.; ANQUETIL, NICOLAS. Predicting software defects with causality tests., The Journal of Systems and Software , v. 93, p. 24-41, 2014.

    International Conference

    1. REIS, L. V. S. ; IORIO, V. O. ; BIGONHA, ROBERTO S . Defining the syntax of extensible languages. In: 29th Annual ACM Symposium on Applied Computing - SAC '14, 2014, Gyeongju, Korea. Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York: ACM Press. New York: ACM Press, 2014. p. 1570-1576.

    National Conferences

    1. Francisco dos Santos Junior Demontiê, Filipe de Lima Arcanjo, Mariza A.S. Bigonha, Um Algoritmo para Emparelhamento de Chamadas de Função, CBSOFT 2014, SBLP-2014, Maceió 10/2014.

    2. Tarcísio G. S. Filó, Mariza A. S. Bigonha, Kecia Aline Marques Ferreira, RAFTool - Ferramenta de Filtragem de Métodos, Classes e Pacotes com Medições Incomuns de Métricas de Software, WAMPS 2014, SOFTEX, páginas: 242-248, Campinas-SP, dezembro de 2014.

    3. Tarcísio G. S. Filó, Mariza A. S. Bigonha, Kecia Aline Marques Ferreira, Um Método de Extração de Valores Referência para Métricas de Softwares Orientados por Objetos, CBSOFT - WTDSoft - Anais do IV Workshop de Teses e Dissertações do CBSoft (WTDSoft 2014), Maceió 10/2014.

    4. Henrique N. Gomes, Flávio Madureira, Mariza Bigonha, Kecia A.M. Ferreira, Um Método para Identificação de Bad Smells a partir de Diagramas de Classes, 2nd Workshop on Software Visualization, Maintenance, and Evolution (VEM 2014) CBSoft 2014, Maceió-Alagoas.

    5. REIS, L. V. S.; IORIO, V. O.; BIGONHA, R. S.. A Mixed Approach for Building Extensible Parsers. In: Brazilian Symposium on Programming Language, 2014, Maceió, Alagoas. Proceedings of the 18th SBLP, 2014. p. 1-15.

    Technical Report

    1. Henrique N. Gomes, Flávio Madureira, Mariza Bigonha, Kecia A.M. Ferreira, UMLSmells - Ferramenta para Auxiliar na Identificação de Bad Smells em Software a partir de Modelos UML, Relatório Tecnico interno do DCC, fevereiro de 2014.

    2013


    Journals

    1. Rodrigo Ribeiro, Lucília Figueiredo, Carlos Camarão, Mechanized Metatheory for a Lambda-Calculus with Trust Types Journal of the Brazilian Computer Society, 19(4), 433-443, 2013.

    2. Rodrigo Ribeiro, Carlos Camarão, Ambiguity and Context-Dependent Overloading Journal of the Brazilian Computer Society, 19(3), 313-324, 2013.

    3. Rodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Terminating Constraint Set Satisfiability and Simplification Algorithms for Context-Dependent Overloading Journal of the Brazilian Computer Society, 19(4), 423-432, 2013.

    4. RIMSA, ANDREI ; D'AMORIM, MARCELO ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BIGONHA, ROBERTO S. Efficient static checker for tainted variable attacks. Science of Computer Programming (Print) , v. 1, p. 1016-1030, 2013.

    5. Terra, Ricardo; MIRANDA, LUIS FERNANDO; VALENTE, MARCO TULIO; BIGONHA, ROBERTO S.. Qualitas.class corpus. Software Engineering Notes, v. 38, p. 1-4, 2013.

    6. TERRA, R.; Valente, Marco Tulio; CZARNECKI, KRZYSZTOF; BIGONHA, Roberto S.. A recommendation system for repairing violations detected by static architecture conformance checking. Software, Practice & Experience (Print) , v. 45, p. 315-342, 2013.

    International Conferences

    1. Cristiano Maffort, Marco Tulio Valente, Nicolas Anquetil, Andre Hora, and Mariza Bigonha. Heuristics for Discovering Architectural Violations.. In Proceedings do 20th Working Conference on Reverse Engineering (WCRE), Koblenz-Landau, Germany, pages 222-231, 2013.

    2. Cristiano Maffort, Marco Tulio Valente, Mariza Bigonha, Andre Hora, Nicolas Anquetil, and Jonata Menezes. Mining Architectural Patterns Using Association Rules. In 25th International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 375-380, 2013.

    3. Terra, Ricardo; BRUNET, J.; MIRANDA, D.; VALENTE, M. T. O.; SEREY, D.; CASTILHO, D.; BIGONHA, R. S.. Measuring the Structural Similarity between Source Code Entities. In: 25th International Conference on Software Engineering and Knowledge Engineering, 2013, Boston, USA. 25th International Conference on Software Engineering and Knowledge Engineering. Boston, 2013. v. 1. p. 1-6.

    National Conferences

    1. Henrique N. Gomes, Mariza Bigonha, Kecia A.M. Ferreira, Identificação de Bad Smells em Softwares a partir de Modelos UML, Anais do Congresso Brasileiro de Software: Teoria e Prática, WTDSoft. Brasilia DF, 2013, p.1-6.

    2. Cristiano Maffort; Marco Tulio Valente; Mariza Bigonha; Leonardo Humberto Silva; Gladston Aparecido. ArchLint: Uma Ferramenta para Detecção de Violações Arquiteturais usando Histórico de Versões. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), - WTDSoft. Brasilia DF:, p.1-6, 2013.

    3. Cesar Couto, Pedro Pires, Túlio Valente, Roberto Bigonha, André Hora, Nicolas Anquetil, BugMaps-Granger: A Tool for Causality Analysis Between Source Code Metrics and Bugs, Sessão de Ferramentas, Congresso Brasileiro de Software: Teoria e Pratica, 2013. Prêmio Melhor Artigo.

    2012


    Journals

    1. Kecia A.M. Ferreira, Mariza A.S. Bigonha, Roberto S. Bigonha, Luiz F.O. Mendes, Heitor C. Almeida. Identifying Thresholds for Object-Oriented Software Metrics, The Journal of Systems and Software, DOI 10.1016/j.jss.2011.05.044, ISSN 01641212, Vol. 85 S.2, Pages. 244-257, 2012.

    International Conference

    1. Kecia A. M. Ferreira, Mariza A. S. Bigonha, Roberto S. Bigonha, Roberta C. das Neves, The Evolving Structures of Software Systems, 3rd International Workshop on Emerging Trends in Software Metrics (WETSom 2012) Satellite workshop of ICSE 2012, Zurich - Switzerland. Pages 10.

    2. COUTO, César F. M.; VALENTE, M. T. O.; BIGONHA, R. S. ; ANTEQUIL, N.. Uncovering Causal Relationships Between Software Metrics and Bugs. In: European Conference on Software Maintenance and Reengineering, 2012. CSMR, 2012. p. 23-232.

    3. Terra, Ricardo; VALENTE, MARCO TULIO; CZARNECKI, KRZYSZTOF; BIGONHA, ROBERTO S.. Recommending Refactorings to Reverse Software Architecture Erosion. In: 2012 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, Szeged. 2012 16th European Conference on Software Maintenance and Reengineering. v. 1. p. 335-340.

    National Conferences

    1. Kecia A. M. Ferreira, Mariza A. S. Bigonha, Roberto S. Bigonha, Roberta C. das Neves, A Generic Macroscopic Topology of Software Networks, CBSoft 2012 - Simpósio Brasileiro de Engenharia de Software, Natal RN. Trabalho premiado em 5o Lugar como melhor artigo do SBES2012.

    2. Kecia A. M. Ferreira, Roberta C. das Neves, Mariza A.S.Bigonha, Identificação de Padrões de Características Estruturais em Software Orientado a Objetos, publicado nos Anais do XI Simpósio Brasileiro de Qualidade de Software. Fortaleza-CE, 2012, p.15.

    3. Cristiano Maffort, Marco Túlio O. Valente, Mariza A. S. Bigonha, Detecção de Violações Arquiteturais usando Histórico de Versões, Anais do XI Simpósio Brasileiro de Qualidade de Software (SBQS). Fortaleza, Ceará, 2012, p.15.

    4. Reis, Leonard V. S.; BIGONHA, R. S.; IORIO, V. O.. Adaptable Parsing Expression Grammar. In: Brazilian Symposium on Programming Language, 2012, Nata, RS. Lectures Notes in Computer Science. Berlin: Springer Berlin Heidelberg, 2012. p. 72-86.

    5. Terra, Ricardo; VALENTE, M. T. O.; BIGONHA, R. S.; CZARNECKI, K.. DCLFix: A Recomendation System for Repairing Architectural Violations. In: III CBSoft - Sessão de Ferramentas, 2012, Natal, RS. Proceedings of the III SBSoft, 2012. v. 1. p. 1-6.

    6. Terra, Ricardo; VALENTE, M. T. O.; BIGONHA, R. S.. An Approach for Extracting Modules from Monolithic Software Architectures. In: IX Workshop de Manutenção de Software Moderna, 2012, Fortaleza, CE. Anais IX Workshop de Manutenção de Software Moderna. Porto Alegre, RS: SBC, 2012. p. 1-8.

    Technical Report

    1. Roberta C. Neves, Mariza A.S. Bigonha, Kecia A.M.Ferreira, K3B - Experimentos em Larga Escala usando CONNECTA, Relatório Técnico de Iniciação Científica, interno do DCC, fevereiro/2012.

    2011


    International Conferences

    1. Marcos Rodrigo Sol Souza, Christophe Guillon, Fernando M. Q. Pereira , Mariza A. S. Bigonha, Dynamic Elimination of Overflow Tests in a Trace Compiler, CC - ETAPS, 2011, Saarbrücken, Alemanha; Proceedings of European Joint Conferences on Theory and Practice of Software, ETAPS, LNCS 6601, 2011, V. 1, p.: 2-21.

    2. André Tavares, Quentin Colombet, Mariza Bigonha, Christofen Guillon, Fernando Pereira, Fabrice Rastello, Decoupled Graph-Coloring Register Allocation with Hierarquical Aliasing, Anais do SCOPES2011, 14th International Workshop on Software and Compilers for Embedded Systems, St Goar/Germany.

    3. Newton Vieira, Isabel Barbosa, Carlos Camarão, From Proof Trees to Justificatory Answering, EPIA'2011 (15th Portuguese Conference on Artificial Intelligence), Lisboa, October 10-13, 2011.

    4. IORIO, V. O.; Reis, Leonard V. S.; BIGONHA, R. S. ; VALENTE, M. T. O.. Weave Time Macros. In: workshop on Domain-Specific Aspect Languages, 2011, Porto de Galinhas, PE. Proceedings of the Sixth Annual Workshop on Domain-Specific Aspect Languages. New York: ACM, 2011. v. 6. p. 1-3.

    National Conferences

    1. Kecia M. Ferreira, Mariza A. S. Bigonha, Roberto. S. Bigonha, Heitor C. Almeida, Roberta C. das Neves, Métrica de Coesão de Responsabilidade - A Utilidade da Métrica de Coesão na Identificação de Classes com Problemas Estruturais, publicado nos Anais do Simpósio Brasileiro de Qualidade de Software, 2011. p.9-24.

    2. Kecia Ferreira , Mariza Bigonha, Roberto S. Bigonha, Bárbara M. Gomes, Software Evolution Characterization - A Complex Network Approach, Anais do Simpósio Brasileiro de Qualidade de Software. 2011. p.41-56. Artigo premiado no SBQS 2011 como melhor artigo do simpósio.

    3. Marco Silva, Carlos Camarão, Controlling the Scope of Instances in Haskell, SBLP'2011, (15th Brazilian Symposium on Programming Languages), São Paulo, July 29-30, 2011.

    4. Elton Máximo Cardoso, Carlos Camarão, Lucília Figueiredo, First Class Overloading via Intersection Type Parameters, SBLP'2011, (15th Brazilian Symposium on Programming Languages), São Paulo, July 29-30, 2011.

    5. COUTO, César F. M.; VALENTE, M. T. O.; BIGONHA, R. S.. Avaliação de Causalidade entre Métricas de Qualidade Interna e Defeitos. In: X Simpósio Brasileiro de Qualidade de Software, 2011, Curitiba, PR. Anais do X SBQS. Porto Alegre,RS: SBC, 2011. v. 1. p. 279-294.

    Technical Report

    1. Bárbara Malta Gomes, Mariza A.S. Bigonha, Kecia A.M.Ferreira, K3B - Experimentos em Larga Escala usando CONNECTA, Relatório Técnico de Iniciação Científica, interno do DCC, fevereiro/2011.

    2010


    National Conferences

    1. Marcos Rodrigo Sol Souza, Fernando Magno Q. Pereira, Mariza A.S. Bigonha, Removing Overflow Tests Via Run-Time Partial Evaluation. Anais do XIV SBLP ocorrido em 2010. Este artigo foi premiado com o 1o Lugar na Categoria Melhor Artigo do XIV Simpósio Brasileiro de Linguagens de Programação Salvador-BA, em 29/09/2010.

    2. André L. C. Tavares, Fernando M. Q. Pereira, Mariza A.S. Bigonha, Efficient SSI Conversion, Anais do no XIV SBLP de 2010, p.41-54, 2o Lugar na Categoria Melhor Artigo do SBLP/2010.

    3. Terra, Ricardo; Almeida, Jussara; BIGONHA, R. S.; VALENTE, M. T. O.. Análise Comparativa do Código Gerado por Compiladores Java e C++. In: 14th Brazilian Symposium on Programming Languages, 2010, Salvador, Bahia. Anais do 14th Brazilian Symposium on Programming Languages. Porto Alegre, RS: Sociedade Brasileira de Computação, 2010. v. 2. p. 69-82.

    4. MILANES, A.; BIGONHA, R. S.. Moonlight Chords. In: IV Seminário sobre Linguagens e Ferramentas para Programação Multithread, Paralela e Distribuída, 2010, Salvador, Bahia, Brasil. Anais do IV Seminário sobre Linguagens e Ferramentas para Programação Multithread, Paralela e Distribuída. Salvador, Bahia: Sociedade Brasileira de Computação, 2010. v. 7. p. 25-32.

    Technical Report

    1. Heitor Corrêa de Almeida, Mariza A.S.Bigonha, Kecia A.M. Ferreira. Projeto Connecta - Conectidade em Módulos, Relatório Técnico de Iniciação Científica, interno ao DCC, Concluído em 22/04/2010.

    2009


    Books Published Chapters

    1. Carlos Camarão, Mateus Galvão, Newton Vieira, SAT and Planning: an Overview. Chapter in Intelligent Systems in Operations Management, IGI-Global, editor Barin Nag, 2009.

    Journal

    1. SIMÃO, Adenilso ; MALDONADO, José Carlos ; da Silva Bigonha, Roberto . A transformational language for mutant description. Computer Languages, Systems & Structures , v. 35, p. 322-339, 2009.

    International Conference

    1. Vladimir Oliveira Di Iorio, Leonardo V. dos Santos Reis, Roberto da Silva Bigonha, Mariza A. S. Bigonha, A Proposal for Extensible AspectJ, Proceedings do 4th Workshop on Domain-Specific Aspect Languages, 2009, Charlottesville, Virginia, USA: ACM, 2009, p.21 - 24.

    National Conferences

    1. Kecia A. M. Ferreira, Mariza A. S. Bigonha, Roberto da Silva Bigonha, Luiz Felipe O. Mendes, Heitor C. Almeida, Valores Referência para Métricas de Software Orientado por Objeto, Anais do Simpósio Brasileiro de Engenharia de Software, p.62-72, Fortaleza, 2009.

    2. Mariza A.S.Bigonha, Fabricio Rastello, Fernando M. Quintão Pereira e Roberto S. Bigonha. A Coalessing Algorithm for Aliased Registers, COLIBRI - COLóquio em Informática: BRasil/INRIA, 2009, Bento Gonçalves -RS.

    3. Leonardo V. dos Santos Reis, Roberto S. Bigonha, Mariza A. S. Bigonha, Vladimir O Di Iorio, Rodolfo C. Ladeira. XAJ: An Extensible Aspect-Oriented Language, Anais do Workshop on Aspect-Oriented Software Development - LA-WASP-2009. Fortaleza-CE, p.57 - 62.

    4. Carlos Camarão, Rodrigo Ribeiro, Lucília Figueiredo, Cristiano Vasconcellos, A Solution to Haskell's Multi-paramemeter Type Class Dilemma, SBLP'2009 (13th Brazilian Symposium on Programming Languages), Gramado, August 19-21, pgs. 5-18, 2009.

    Technical Report

    1. Kecia A. Ferreira; Mariza A.S. Bigonha; Roberto S. Bigonha, Predição de Esforço de Manutenção, RT LLP001/2009, LLP, DCC-ICEx-UFMG, 2009.

    2008


    Books

    1. CABRAL, M. I. C. ; NUNES, D. ; BIGONHA, Roberto S. ; COSTA, T. ; Wagner, Flávio R. ; OLIVEIRA, J. M. . A Trajetória dos Cursos de Graduação da Área de Computação e Informática. 1. ed. Porto Alegre: SBC, 2008. v. 1. 135p .

    Journals

    1. Leonardo T. Passos, Mariza A. S. Bigonha, Roberto S. Bigonha, An LALR Parser Generator Supporting Conflict Resolution, Journal of Universal Computer Science (Online), JUCS, Volume 14, páginas 3447-3464, 2008, também publicado nos Anais do XII SBLP 2008, páginas 33-46.

    2. Kecia A. M. Ferreira, Mariza A. S. Bigonha, Roberto S. Bigonha, Reestruturação de Software Dirigido por Conectividade para Redução de Custo de Manutenção, Revista de Informática Teórica e Aplicada. , v.XV, p.1 - 25, 2008.

    3. PINHEIRO, D. P.; MAIA, M. A.; PRATES, R. O.; BIGONHA, Roberto S.. Assessing Program Comprehension Tools with the Communicability Evaluation Method. , INFOCOMP (UFLA), v. 1, p. 31-40, 2008.

    4. TIRELO, F.; BIGONHA, R. S.; SARAIVA, J.. Disentangling Denotational Semantics Definitions. , Journal of Universal Computer Science (Online) , v. 14, p. 3592-3607, 2008.

    National Conferences

    1. PINHEIRO, D. P.; MAIA, M. A.; PRATES, R. O.; BIGONHA, R. S.. Assessing Program Comprehension Tools with the Communicability Evaluation Method. In: V Workshop de Manutenção de Software Moderna (WMSWM), 2008. SBQS 2008. Porto Alegre, RS: SBC. p. 1-9.

    2. TIRELO, F.; BIGONHA, R. S.; SARAIVA, J. A. B.. Disentangling Denotational Semantics Definitions. In: Brazilian Symposium on Programming Languages, 2008, Fortaleza, Ce. Proceeding of the XII Brazilian Symposium on Programming Languages. Porto Alegre, RS: SBC, 2008. v. 1. p. 143-156.

    3. Terra, Ricardo; BIGONHA, R. S.. Ferramentas Para Análise Estática de Códigos Java. In: III Encontro Brasileiro de Teste de Software, 2008, Recife, PE. Material do Encontro III EBTS, 2008. v. 1. p. 1-5.

    4. BRAGA, T. H.; MAIA, M. A.; BIGONHA, R. S.. Recovering and Checking Software Architecture Properties Based on Execution Tree Analysis. In: Brazilian Symposium on Software Components, Architectures and Reuse,, 2008, Porto Alegre, RS. Second Brazilian Symposium on Software Components, Architectures and Reuse,. Porto Alegre, RS: SBC, 2008. v. 1. p. 10-22.

    2007


    Journals

    1. Leonardo T. Passos, Mariza A. S. Bigonha, Roberto S. Bigonha, A Methodology for Removing LALR(1) Conflicts, Journal of Universal Computer Science (Online), JUCS, Volume 13, páginas 753-766, 2007. Artigo também publicado nos Anais do XI SBLP, 2007.

    2. Eduardo S. Cordeiro, Roberto S. Bigonha, Mariza A. S. Bigonha, Fábio Tirelo. Optimized Compilation of Around Advice for Aspect Oriented Programs, Journal of Universal Computer Science Online, V.13, p.737-7752, 2007. Artigo completo também publicado nos Anais do XI SBLP, p.61-74. Natal,RN.

    3. Carlos Camarão, Cristiano Vasconcellos, Lucília Figueiredo, João Nicola, Open and Closed Worlds for Overloading: a definition and support for coexistence, Journal of Universal Computer Science 13(6), 854-873, 2007.

    National Conference

    1. PINHEIRO, D. P.; RIBEIRO, R. G.; OLIVEIRA, Ademir A.; MAIA, M. A.; BIGONHA, Roberto da Silva, Compreensão de Programas Apoiada por Uma Linguagem de Consulta em Código Fonte. , In: IV Workshop de Manutenção Moderna de Software, 2007, Porto de Galinhas. Anais do IV SWMSwM 2007. Porto Alegre, RS: Sociedade Brasileira de Computação, 2007.

    2006


    International Conference

    1. Kristian Magnani,Mariza A. S. Bigonha e Roberto S. Bigonha. A Framework for Optimizations in Abstract State Machines, Proceedings of CLEI'2006, Latin America Conference on Informatics, Santiago, Chile 2006.

    National Conference

    1. Mário C.C. Lobato, Roberto da Silva Bigonha, Mariza A. S. Bigonha, Um Arcabouço de Compilação Orientado por Aspectos, Anais do X Simpósio Brasileiro de Linguagens de Programação, 2006, Itatiaia, p.189 - 202.

    Abstract


    Expanded Summary Published in Proceedings of Conference

    1. COUTO, César F. M.; PIRES, P.; VALENTE, M. T. O.; BIGONHA, R. S.; Hora, André ; ANTEQUIL, N.. BugMaps-Granger: A Tool for Causalitty Ana;ysis between Source Code Metrics and Bugs. In: IV Congresso Brasileiro de Software: Teoria e Prática - Sessão de Ferramentas, 2013, Brasília, D. IV Congresso Brasileiro de Software: Teoria e Prática, 2013. v. 1. p. 1.

    2005


    Published Book

    1. BIGONHA, Roberto S.; FERNANDES, A. O. ; Coelho, C. J. . Lei de Informática e Propriedade Intelectual. In: Amintas Neto; Rogério Panigassi. (Org.). Propriedade Intelectual: O Caminho Para o Desenvolvimento. São Paulo, SP: Câmara Brasileira do Livro, 2005, v. , p. 13-26.

    Journal

    1. Vladimir O. Di Iorio, Roberto S. Bigonha, Mariza A. S. Bigonha, Alcione Oliveira, Eliseu C. Miguel, What's the name of the game? Formal specification of Artificial Intelligence Games, Versão estendida do artigo publicado no SBMF. Electronic Notes in Discrete Mathematics, v.130, p.129-150, 2005.

    International Conference

    1. Kristian Magnani,Mariza A. S. Bigonha e Roberto S. Bigonha, Fabíola F. Oliveira, Vladimir O. Di Iorio. An Infrastructure for Implementing Compilers for Concurrent Abstract State Machine Languages, Proceedings of XXXI Latin American Informatics Conference, Cali - Colombia, 2005. p.881-891.

    2004


    Published Books

    1. VALENTE, M. T. O. ; Pereira, Fernando M.Q. ; BIGONHA, Roberto S. ; BIGONHA, Mariza A. S. . A Coordination Model for Ad Hoc Mobile Systems. Lecture Notes in Computer Science (LNCS) Springer-Verlag. Berlin 2004, v. 2790, p. 1074-1081. Revised version from WCSF2002.

    2. Fábio Tirelo, Roberto Bigonha, Mariza Bigonha, Marco Túlio O. Valente, Desenvolvimento de Software Orientado por Aspectos, JAI, XXIII Jornada de Atualizações em Informática, SBC, Salvador, 2004, p. 56-96.

    Journal

    1. Fernando Pereira, Marco Tulio Valente, Roberto Bigonha and Mariza Bigonha. Arcademis: A Framework for Object Oriented Communication Middleware Development. Software - Practice and Experience, Vol. 36, Issue 5, Pages 495-512, 2006.

    2. Fernando Pereira, Marco Tulio Valente, Wagner Pires, Roberto Bigonha and Mariza Bigonha. Tactics for Remote Method Invocation. . In Journal of Universal Computer Science, vol. 10, issue 7, pages 824-842, 2004.

    3. OLIVEIRA, Ademir A.; BRAGA, T. H.; MAIA, M. A.; BIGONHA, R. S.. MetaJ: An Extensible Environment for Metaprogramming in Java. Journal of Universal Computer Science (Online) , http://www.jucs.org, v. 10, n.7, p. 872-891, 2004.

    International Conference

    1. Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos, Constraint-set satisfiability for Overloading, ACM Press Conf. Proceedings of PPDP'04 , 67-77, 2004.

    National Conferences

    1. Fabíola F. Oliveira, Roberto S. Bigonha, Mariza A.S. Bigonha, Otimização de Código em Ambiente de Semântica Formal Executável Baseado em ASM, VIII Simpósio Brasileiro de Linguagens de Programação,2004, Niteroi-RJ, p.172-185.

    2. Luciana L. Ambrosio, Mariza A. S. Bigonha, Roberto S. Bigonha, Alocação de Registradores Baseada em Crescimento de Domínios Ativos e Combinação de Registradores. Anais do Simpósio Brasileiro de Linguagens de Programação de 2004, páginas 157-171.

    3. Vladimir O. Di Iorio, Roberto S. Bigonha, Mariza A. S. Bigonha, Eliseu C. Miguel, Alcove P. Oliveira What's the name of the game? Formal Specification of Artificial Intelligence Games, Proceedings of the Brazilian Symposium on Formal Methods. São Paulo: SBC, 2004, p.92-107.

    4. Fernando M. Q. Pereira, Marco Túlio O. Valente, Roberto S. Bigonha, Mariza A. S. Bigonha, Arcademis: A Java-Based Framework for Middleware Development, Proceedings of the XXII Brazilian Symposium on Computer Network. IEEE,2004, Gramado-RS, p.539-552.

    5. OLIVEIRA, Ademir A.; BRAGA, T. H.; MAIA, M. A.; BIGONHA, R. S.. IMetaJ: An Extensible Environment for Metaprogramming in Java. In: Brazilan Symposium on Programming Language, 2004, Niterói, RJ, Brazil. Proceeding of the VIII Brazilian Symposium on Programmming Languaes. Porto Alegre, RS, Brazil: Sociedade Brasileira de Computação, 2004. v. 1. p. 46-60.

    6. LIBORIO, S. R.; BIGONHA, R. S.. Compilador Reflexivo Para Adaptações de Programas a Configurações de Recursos Limitados. In: VIII Simpósio Brasileiro de Linguagens de Programação, 2004, Niterói, RJ, Brasil. Anais do VIII Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, RS: Sociedade Brasileira de Computação, 2004. p. 242-256.

    2003


    Published Book

    1. Programação de Computadores em Java
      Carlos Camarão, Lucília Figueiredo, LTC, 2003. Book in Portuguese.

    Journal

    1. Wendell F. Taveira, Marco Túlio O. Valente, Mariza A. S. Bigonha, Roberto S. Bigonha, Asynchronous Remote Method Invocation in Java, Journal of Universal Computer Science (Online). V.9, p.761 - 775, 2003.

    2. Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues, Mímico: A Monadic Combinator Parser Generator Journal of the Brazilian Computer Society, 9(1):27-40, 2003.

    International Conference

    1. Vladimir O. Di Iorio, Alcione P. Oliveira, Eliseu C. Miguel, Roberto S. Bigonha, Mariza A. S. Bigonha, Utilização de Máquinas de Estado Abstratas em Aplicações de Inteligência Artificial e Jogos, Anais da XXIX Conferência Latino Americana de Informática, 2003, p.1-15.

    2. Marco Tulio Valente, Fernando Pereira, Roberto Bigonha and Mariza Bigonha. A Coordination Model for Ad Hoc Mobile Systems. In 9th European Conference on Parallel Processing (Europar), Klagenfurt. Lecture Notes in Computer Science (LNCS) Springer-Verlag. V.2790. pages 1074 - 1081. Revised version from WCSF2002. 2003.

    National Conferences

    1. Wendell F. Taveira, Marco T.O. Valente, Mariza Bigonha, Roberto Bigonha, Chamada Assíncrona de Métodos Remotos em Java , Anais do VII Simpósio Brasileiro de Linguagens de Programação. Ouro Preto-MG. 2003, p.78-91.

    2. Fernando Pereira, Marco Túlio O. Valente, Roberto S. Bigonha, Mariza A. S. Bigonha, Chamada Remota de Métodos na Plataforma J2ME/CLDC, Revista Científica Periódica - Telecomunicações, Volume 07, Número 1, ISSN 1516-2338, Santa Rita do Sapucaí, p.21 - 31, Julho/2004. Este artigo também foi publicado nos Anais do Workshop de Comunicação sem fio e Computação Móvel, {\bf classificado entre os cinco melhores artigos do evento}, 2003.

    3. Cristiano Vasoncellos, Carlos Camarão, Lucília Figueiredo, Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell , SBLP'2003 (7th Brazilian Symposium on Programming Languages), Ouro Preto, May 28-30, 2003. Revised version in Journal of Universal Computer Science, 9(8), 973-990

    Technical Reports

    1. Fernando Magno Quintão Pereira, Marco Túlio de Oliveria Valente, Roberto da Silva Bigonha A Three Layer view of Arcademis, Technical Report LLP 003/2003, 22 pages, Laboratório de Linguagens de Programação, UFMG, 2003.

    2. Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha Arcademis: a Java-Based Framework for Middleware Development, Technical Report LLP 002/2003, 16 pages, Laboratório de Linguagens de Programação, UFMG, 2003.

    2002


    Journal

    1. Lucília Figueiredo, Carlos Camarão A View on Abstract and Extensible Types Revista Colombiana de Computación, 3(1), 21-40, 2002.

    International Conferences

    1. Fernando Pereira, Marco Tulio Valente, Roberto Bigonha and Mariza Bigonha. A Java-based Simulator for Ad Hoc Mobile Distributed Systems. In 2nd International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI), Springer Verlag Lecture Notes in Computer Sciences Series, pages 227-236, 2002.

    National Conferences

    1. Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Fernando Magno Quintão Pereira. A Coordination Model for Ad Hoc Mobile Systems and its Formal Semantics. Anais do IV Workshop de Comunicação Sem Fio e Computação Móvel (WCSF), p. 58-67, 2002.

    2. Fernando M. Q. Pereira, Marco Túlio O. Valente, Roberto S. Bigonha, Mariza A. S. Bigonha, Uma Linguagem para Coordenação de Aplicações em Redes Moveis Ad-Hoc, Anais do VI Simpósio Brasileiro de Linguagens de Programação. Rio de Janeiro, PUC-RIO, p.152 - 165, 2002.

    3. SIMÃO, Adenilso ; MALDONADO, José Carlos ; BIGONHA, R. S. . Using Denotational Semantics in the Validation of the Compiler for a Mutation-Oriented Language. In: 5th Worshop on Formal Methods, 2002, Gramado, RS. Proceedings of the 5th WMF, 2002. p. 4-19.

Technical Reports

  1. Fernando Magno Quintão Pereira Uma Comparação entre Formalismos Utilizados para Especificações Semânticas, Technical Report LLP 001/2002, 9 pages, Laboratório de Linguagens de Programação, UFMG, 2002.

  2. Fernando Magno Quintão Pereira and Wendell Figueiredo Taveira A Java Based Simulator for the PeerSpaces Coordination Language, Technical Report LLP 002/2002, 13 pages, Laboratório de Linguagens de Programação, UFMG, 2002.

2001


Journal

  1. Marco Tulio O.Valente, Roberto S. Bigonha, Mariza A. S. Bigonha. An Algorithm for Dynamic Reconfiguration of Mobile Agents, Journal of Computer Science and Technology., v.1, p.1-12, 2001.

International Conferences

  1. Marco Tulio O.Valente, Roberto S. Bigonha, Mariza A.S. Bigonha, Antonio Alfredo F. Loureiro, Supporting Disconected Operation in a Mobile Object System, Proceedings do 7th Ecoop Workshop on Mobile Object Systems: Development of Robust and High Confidence Agent Applications, 2001, Budapeste-Hungria, p.1-12, 2001.

  2. Marco Tulio O.Valente, Roberto S. Bigonha, Antonio Alfredo F. Loureiro, Mariza A. S. Bigonha. Disconnected Operation in a Mobile Computation System, Anais do ICSE Workshop on Software Engineering and Mobility, co-located with ACM/IEEE International Conference on Software Engenering, 2001, Toronto, Canada, p.1-12.

  3. Aabdel A. Ed-Dbali, Pierre Deransart, Mariza A. S. Bigonha, José Siqueira e Roberto S. Bigonha, HyperPro An Integrated Documentation Environment for CLP, Proceedings of the Eleventh Workshop on Logic Programming Environments, WLPE'01, 2001, Paphos, Cyprus.

  4. Aabdel A. Ed-Dbali, Pierre Deransart, HyperPro Un environment Integre de Documentation pour la PLC, Proceedings do Journees Francophones de Programmation en Logique et Programmation par Constraintes (JFPLC), Pags.:1-12. Francês, 2001.

  5. Lucília Figueiredo, Carlos Camarão, Principal Typing and Mutual Recursion International Workshop on Functional and Logic Programming (WFLP'2001), Kiel, Germany, September 13-15, 2001.

  6. Hermann O. Rodrigues, Carlos Camarão, JEDI: An Interactive Interpreter for Java CACIC'2001, (VII Argentine Congress on Computer Science) El Calafate, Argentine, 15-20 October, 2001.

  7. Pedro Ivo Alexandre de Oliveira, Carlos Camarão Adapting Web Contents to Wap Devices using Haskell XXI International Conference of the Chilean Computer Science Society (SCCC'2001), Punta Arenas, Chile, November 5-9, 2001.

National Conferences

  1. Fabíola Oliveira, Roberto Bigonha, Mariza Bigonha, Marco R. Costa, Compilador da Linguagem Funcional Orientada por Objetos Script para C. Anais do V Simposio Brasileiro de Linguagens de Programação, 2001, Curitiba, p.48-63.

  2. Fernando M. Q. Pereira, Roberto S. Bigonha, Vladimir Oliveira Di Iorio, Mariza A. S. Bigonha, Avaliação Parcial de Programas usando CMIX/II, Anais do V Simposio Brasileiro de Linguagens de Programação, 2001, Curitiba, p.16 - 31, publicado também como RT LLP001/2001, Laboratório de Linguagens de Programação, DCC-ICEx-UFMG, 2001.

  3. Marco Tulio O.Valente, Roberto S. Bigonha, Mariza A.S. Bigonha, Antonio Alfredo F. Loureiro, Mobilidade de Grupos de Objetos em um Sistema para Programação Distribuida na Internet, Anais do V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba, p.221 - 235.
  4. Carlos Camarão, Lucília Figueiredo, A Monadic Combinator Compiler Compiler SBLP'2001, (5th Brazilian Symposium on Programming Languages), Curitiba, May 23-25, 2001.

  5. IORIO, V. O.; BIGONHA, R. S.. Extensões de Geração para Máquinas de Estado Abstratas. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba, Pr. Anais do V SBLP, 2001. v. I. p. 124-139.

  6. BARANAUSKAS, Cecília; SALLES, J. P.; BIGONHA, R. S.. Bringing Interface Design and Software Development Processes Together: How Organizational Issues Impact Products's Usability. In: IHC 2001: IV Workshop sobre Fatores Humanos em Sistemas Computacionais, 2001, Florianópolis, SC. Anais do IHC 2001, 2001. p. 61-72.

Summary Published in Proceedings of Conference

  1. SALLES, J. P.; BARANAUKAS, M. C. C.; BIGONHA, R. S.. Looking Inside: Undertanding Communication in the Organizational Context of Software Design. In: IFIP WG8.1 Working Conference on Organizational Semiotics: Evolving a Science of Information Systems, 2001, Montreal, Canada. Proceedings of the IFIP TC8/WG8.1 WCOS. Devener, The Netherlands: Luwer, B.V., 2001. v. 1. p. 301-304.

Technical Reports

  1. Reuber Guerra Duarte, Mariza Bigonha, Interpretador para a Máquina Abstrata TAM, Relatório Técnico do Laboratório de Linguagens de Programação do DCC-UFMG, LLP003/2001

  2. Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Vladimir O. Di Iorio & Mariza A. S. Bigonha, An Avaliação Parcial de Programas usando CMIX/II, Technical Report LLP 001/2001, 38 pages, also published in the Proceedings of SBLP 2001 - Curitiba PA, Laboratório de Linguagens de Programação, UFMG, 2001.

  3. Fernando Magno Quintão Pereira, Compilação de um Programa Escrito em uma Linguagem Qualquer para Haskell, Technical Report LLP 002/2001, 18 pages, Laboratório de Linguagens de Programação, UFMG, 2001.

  4. Mariza A. S. Bigonha, Reuber Guerra Duarte, Máquina Abstrata TAM - Manual do Usuário, Technical Report LLP 003/2001, Laboratório de Linguagens de Programação, UFMG, 2001.

  5. Fernando Magno Quintão Pereira, Implementação de um Gerador de Interpretadores de Uso Geral, Technical Report LLP 004/2001, 50 pages, Laboratório de Linguagens de Programação, UFMG, 2001.

2000


Journal

  1. Marco Tulio O.Valente, Roberto S. Bigonha, Antonio Alfredo F. Loureiro, Mariza A. S. Bigonha. Object Oriented Languages with Abstractions for Mobile Computation, Eletronic Notes on Theoretical Computer Science, v.38, p.1-12,2000. Elsevier Science.

  2. SALLES, J. P. ; BARANAUSKAS, Cecília ; BIGONHA, R. S. . Towards a communication model applied to the interface design process. Knowledge-Based Systems , v. 14, p. 455-459, 2000.

International Conferences

  1. Mariza Bigonha, Wendell F. Taveira, Roberto Bigonha e Fabíola Oliveira. Compilador da Linguagem Funcional Orientada por Objetos Script para Haskell. Anais da XXVI Conferencia Latinoamericana de Informatica, CLEI2000, p.1-12.

  2. Marco Tulio O.Valente, Roberto S. Bigonha, Mariza A. S. Bigonha. Um Algoritmo para Configuração Dinâmica de Agentes Móveis, Anais do IV Congreso Argentino de Ciencias de la Computacion, 2000, p.1265 - 1277.

  3. Mariza A. S. Bigonha, José Siqueira, Roberto S. Bigonha, Aabdel A. Ed-Dbali, Pierre Deransart, Fabricio Schmidt, Flávia P. Ribeiro, Sistema de Indexação e Projeções de HyperPro, Anais do V Congreso Argentino de Ciencias de la Computacion, 2000, Ushuaia, p.335 - 347

  4. IORIO, V. O.; BIGONHA, R. S.; MAIA, M. A.. A self-applicable partial evaluator for asm. In: International Workshop opn Abstract State Machine, 2000, Monte Veritá, Switzland. Proceedings of IWASM'2000, 2000. v. 1. p. 115-130.

  5. SALLES, J. P.; BARANAUSKAS, Cecília; BIGONHA, R. S.. A communication model for interface design process. In: Workshop on Semiotic Approaches to User Interfaces, 2000. Proceedings of CHI 2000, 2000. v. 1. p. 1-4.

National Conferences

  1. Marco Tulio O.Valente, Roberto S. Bigonha, Antonio Alfredo F. Loureiro, Mariza A. S. Bigonha. Introduzindo Abstrações para Computação Móvel em Linguagens Orientadas por Objeto, Anais do IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife, p.15 - 28.

  2. Marco Tulio O.Valente, Roberto S. Bigonha, Antonio Alfredo F. Loureiro, Mariza A. S. Bigonha. Linguagens para Computação Móvel na Internet, Anais do IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife, p.1-35.

  3. Vladimir O. Di Iorio, Roberto S. Bigonha, Mariza A. S. Bigonha, Avaliação Parcial de Programas, Tutorial publicado como Anexo dos Anais do IV SBLP. Centro de Informatica da UFPE, 2000. Tutorial. p.1-32. Também publicado como RT LLP005/2000, Laboratório de Linguagens de Programação, DCC-UFMG.

  4. Carlos Camarão, Lucília Figueiredo, ML Has Principal Typings
    SBLP'2000 (4th Brazilian Symp. on Prog. Lang.), Recife, May 17-19, pgs. 231-244, 2000.

  5. TIRELO, F. ; BIGONHA, R. S. . Técnicas de Otimização de Programas Baseados em Máquinas de Estado Abstratas. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife, PE. Anais do IV SBLP, 2000. v. 1. p. 144-157.

Summary Published in Proceedings of Conferences

  1. Nahur Fonseca, Mariza Bigonha, et all. Um Ambiente para Desenvolver Programas em machinas Baseado no Paradigma do Estilo Literario, Publicado nos Resumos da Oitava Semana de Iniciação Científica da UFMG, p.189, 1999. Também publicado como RT LLP009/2000.

  2. Fabíola F. Oliveira, Roberto S. Bigonha, Mariza A. S. Bigonha, Marco R. Costa, Implementação da Linguagem Funcional Script. Resumo publicado nos Anais do IV Congreso Argentino de Ciencias de la Computacion. , 2000, Ushuaia, p.539 - 539.

Technical Reports

  1. Gustavo Guerra Garcia, Mariza Bigonha, Interpretador para um subconjunto da linguagem Java (Tiger), . Relatório Técnico interno do DCC. dezembro de 2000.

  2. Marco Túlio O. Valente, Roberto S. Bigonha, Antônio A. L. Ferreira & Mariza A. S. Bigonha, Especificação Formal das Abstrações Para Computação Móvel, Tutorial, Technical Report LLP 01/2000, Laboratório de Linguagens de Programação, UFMG, 2000.

  3. Marco Túlio O. Valente, Roberto S. Bigonha, Antônio A. L. Ferreira & Mariza A. S. Bigonha, Introduzindo Abstrações Para Computação Móvel em Linguagens Orientadas por Objetos, Tutorial, Technical Report LLP 02/2000, 15 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

  4. Marco Túlio O. Valente, Roberto S. Bigonha, Antônio A. L. Ferreira & Mariza A. S. Bigonha, Linguagens para Computação Móvel na Internet, Tutorial, Technical Report LLP 03/2000, 37 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

  5. Vladimir O. Di Iorio & Roberto S. Bigonha, An ASM Implementation of a Self-applicable Partial Evaluation, Tutorial, Technical Report LLP 04/2000, 34 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

  6. Vladimir O. Di Iorio, Roberto S. Bigonha & Mariza A. S. Bigonha, Tutorial: Avaliação Parcial de Programas, Tutorial, Technical Report LLP 05/2000, 34 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

  7. Mariza A. S. Bigonha, José Siqueira, Roberto S. Bigonha, AbdelAli Ed-Dbali, Pierre Deransart, Fabrício M. Schmidt & Flávia Peligrinelli Sistema de Indexação e Projeção de HyperPro, Tutorial, Technical Report LLP 06/2000, 14 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

  8. Juliana P. Salles, Roberto S. Bigonha, Maria Cecília C. Baranauska, Um Modelo Fractal de Comunicação Aplicado ao Design de Interface, Technical Report LLP 08/2000, 22 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

  9. Mariza A. S. Bigonha, Nahur M. Fonseca, Um Ambiente para Desenvolvimento de Programas em Machina ..., Tutorial, Technical Report LLP 09/2000, Laboratório de Linguagens de Programação, UFMG, 2000.

  10. Mariza A. S. Bigonha, José Siqueira, Roberto S. Bigonha, AbdelAli Ed-Dbali, Pierre Deransart, Fabrício M. Schmidt & Flávia Peligrinelli Functionalities and Utilities of the HyperPro System, Tutorial, Technical Report LLP 10/2000, 14 pages, Laboratório de Linguagens de Programação, UFMG, 2000.

1999


Journal

  1. Marco Tulio O.Valente, Roberto S. Bigonha, Antonio Alfredo F. Loureiro, Mariza A. S. Bigonha. Linguagens para Computação Móvel na Internet, RITA. , v.6, p.7 - 48, 1999.

International Conference

  1. Mark Alan Junho Song, Roberto S. Bigonha, Mariza A. S. Bigonha, Uma Ferramenta para Automação do Processo de Projeto e Implementação de Classes em Ambientes Orientados por Objetos, Anais do XXV Conferência Latinoamericana de Informática - CLEI - PANEL99, 1999.

  2. Carlos Camarão, Lucília Figueiredo, Type Inference for Overloading without Restrictions, Declarations or Annotations, FLOPS'99 , Tsukuba, Japan, Nov 1999. Springer-Verlag LNCS 1722, 37-52.

  3. MAIA, M. A.; IORIO, V. O.; BIGONHA, R. S.. An asm-based approach for Mobile Systems. In: ASM Web Page, 1999, Tolouse. Proceedings of ASM'99, 1999. v. 1. p. 1-21.

National Conference

  1. Mariza A. S. Bigonha, Aabdel A. Ed-Dbali, Roberto S. Bigonha, Flávia P. Ribeiro, Pierre Deransart, José Siqueira. Projection of HyperPro Document, Anais do III SBLP. UFRGS, 1999, p.171 - 187.

  2. Lucília Figueiredo, Carlos Camarão, A Type with a View, III Brazilian Symposium on Programming Languages (SBLP'99), Porto Alegre, Brasil, pgs. 33-44, 1999.

  3. Carlos Camarão, Lucília Figueiredo, Elaine Pimentel, Sistemas de Tipos em Linguagens de Programação. III Brazilian Symposium on Programming Languages (SBLP'99), Porto Alegre, Brasil, 1999.

  4. MAIA, M. A.; BIGONHA, R. S.. Interaction based-semantics for mobile objects. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 93-107.

  5. MAIA, M. A.; BIGONHA, R. S.. Rules for verification of interactive systems. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 207-212.

  6. IORIO, V. O.; BIGONHA, R. S.. Avaliação Parcial de máquinas de estado abstratas. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBPL'99, 1999. v. 1. p. 207-212.

  7. TIRELO, F.; MAIA, M. A.; BIGONHA, R. S.. ; IORIO, V. O.. Máquinas de Estado Abstratas (Tutorial). In: III Simpósio Brasileiro de Liguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 1-30.

  8. VALENTE, M. T. O.; BIGONHA, R. S.. ; MAIA, M. A.; LOUREIRO, Antônio F.. Especificação de agentes móveis usando máquinas de estado abstratas. In: I Workshop de Comunicação sem Fio, 1999, Belo Horizonte,MG. Anais do WCSF'99, 1999. v. 1. p. 123-131.

  9. VALENTE, M. T. O.; BIGONHA, R. S.. ; MAIA, M. A.; LOUREIRO, Antônio F.. Application of asm to the specification of mobile systems. In: I Workshop de Comunicação sem Fio, 1999, Belo Horizonte,MG. Anais do WCSF'99, 1999. v. 1. p. 60-69.

  10. MAIA, M. A. ; BIGONHA, R. S. . Unificando os modelos de computação móvel e componentes de software via máquinas de estados interativas. In: II Workshop Brasileiro de Métodos Formais, 1999, Florianópolis. Anais do WMF'99, 1999. v. 1. p. 70-78.

Summary Published in Proceedings of Conferences

  1. Wendell F. Taveira, Mariza Bigonha, Roberto Bigonha. Compilador da Linguagem Funcional Orientada por Objetos Script para Haskell, Wendell F. Taveira, Mariza Bigonha, Roberto Bigonha. Resumos da Oitava Semana de Iniciação Científica da UFMG, p.192, 1999.

  2. Fabricio Schmidt, Mariza A. S. Bigonha, José Siqueira, Roberto S. Bigonha, Aabdel A. Ed-Dbali, Pierre Deransart, Flávia P. Ribeiro, Índices e Projeções Baseadas em Índices para o Sistema HyperPro Básico, publicado nos Resumos da Oitava Semana de Iniciação Científica da UFMG, página 191, 1999.

  3. Marco R. Costa, Mariza A. S. Bigonha e Roberto S. Bigonha. Compilação de um Cálculo Lambda Estendido para Supercombinadores, Resumos da Primeira Semana de PÓs-Graduação da UFMG, página 80, 1999.

Technical Reports

  1. Wendell F. Taveira, Mariza Bigonha, Roberto Bigonha. Um Compilador para uma Linguagem Funcional Orientada por Objetos, Relatório Técnico interno do DCC com os resultados da iniciação científica, setembro de 1999.
  2. Cristiano B.Tibiriçá, Função Delimitadora, Technical Report LLP 01/99, Laboratório de Linguagens de Programação, UFMG, 1999.

  3. Marcelo A. Maia & Roberto S. Bigonha, Interaction-Based Semantics for Mobile Objects, Technical Report LLP 02/99, Laboratório de Linguagens de Programação, UFMG, 1999.

  4. Flávia P. Ribeiro & Mariza A. S. Bigonha, HyperPro: Sistema de Programas e Documentação em um Ambiente de Programação Baseado no Paradigma de Estilo Literário, Technical Report LLP 03/99, 58 pages, Laboratório de Linguagens de Programação, UFMG, 1999.

  5. Yedda A. Duarte Silva & Mariza A. S. Bigonha, Tabela de Símbolos: Implementação e Avaliação e Diferentes Paradigmas de Programação, Technical Report LLP 04/99, Laboratório de Linguagens de Programação, UFMG, 1999.

  6. Mariza A. S. Bigonha, Linguagens para Descrição Arquiteturas de Computadores e Geradores de Código, Technical Report LLP 005/99, Laboratório de Linguagens de Programação, UFMG, 1999.

  7. Roberto S. Bigonha, Fábio Tirelo, Marcelo A. Maia Marcelo L. Silva, Marco T. O. Valente, Mariza A. S. Bigonha & Vladimir O. Di Iorio, Projeto Machina, Technical Report 07/99, 38 pages, Laboratório de Linguagens de Programação, UFMG, agosto de 1999.

  8. Fábio Tirelo, Roberto S. Bigonha, Marcelo A. M.A. & Vladimir O. Di Iorio, Machina: A Linguagem de Especificação de ASM, Technical Report 08/99, 40 pages, Laboratório de Linguagens de Programação, UFMG, agosto de 1999.

  9. Wendell F. Taveira & Mariza A. S. Bigonha & Roberto S. Bigonha, Compilador da Linguagem Funcional Orientada por Objetos Script para Haskell, Technical Report 09/99, 67 pages, Laboratório de Linguagens de Programação, UFMG, agosto de 1999.

  10. Arthur Almeida, José Lamas, Mariza A. S. Bigonha & Roberto S. Bigonha, Construção e Geração de Hierarquia de Classe a Partir de Código Java, Technical Report 10/99, 35 pages, Laboratório de Linguagens de Programação, UFMG, agosto de 1999.

  11. Marcelo A. Maia & Roberto S. Bigonha, An ASM-Based Approach for Mobile Systems, Technical Report LLP 12/99, 21 pages, Laboratório de Linguagens de Programação, UFMG, 1999.

  12. Roberto S. Bigonha, Script 2.0: An Object Oriented Language for Denotational Semantics, Technical Report LLP 013/99, 50 pages, Laboratório de Linguagens de Programação, UFMG, 1999.

  13. Vladimir O. Di Iorio, Roberto S. Bigonha & Marcelo A. Maia, A Self-Applicable Partial Evaluator for ASM, Technical Report LLP 14/99, 21 pages, Laboratório de Linguagens de Programação, UFMG, 1999.

  14. Fábio Tirelo, Marcelo A. Maia, Vladimir O. Di Iorio & Roberto S. Bigonha, Máquinas de Estado Abstratas, (Technical Report 15/99 (.ps)), 32 pages, (Slides.ps), III Simpósio Brasileiro de Linguagens de Programação, Porto Alegre, RS, Brazil, May 1999.

1998


International Conference

  1. Mariza A. S. Bigonha, José Lucas Rangel Netto, Roberto S. Bigonha, A Generator of Code Generator for Superscalar Architectures, Anais do XXIV Conferência Latinoamericana de Informática - CLEI - PANEL98, Pages: 49-60, 1998.

  2. MAIA, M. A. ; IORIO, V. O.; BIGONHA, R. S.. Interactive abstract state machines. In: 5th Workshop on Abstract State Machines, 1998, Magdeburg. Germany. Proceedings of WAST'98, 1998. v. 1. p. 37-49.

National Conferences

  1. Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, and Roberto da Silva Bigonha. An interactive abstract machine. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais do WMF'98, 1998. v. 1. p. 106-110.

Technical Reports

  1. Erika Hamacek Pinto e Mariza A. S. Bigonha, Gerador de Analisadores Lexicos $GAL^{sic}$ para ambiente Windows, Relatório Técnico interno do DCC, em junho de 1998.

  2. Wendell F. Taveira, Mariza Bigonha, Um Interpretador para uma Linguagem Funcional Orientada por Objeto, Relatório Técnico interno do DCC, dezembro de 1998.

1997


International Conference

  1. Mariza A. S. Bigonha, Patrícia Costa, Roberto S. Bigonha, Avaliação de Técnicas de Compactação Aplicáveis à Programas em Linguagens Funcionais em Arquiteturas Superescalares, Anais do 3nd. Congreso Argentino de Ciencias de la Computacion. Universidad Nacional de La Plata, 1997. v.02. p.1038-1054.

National Conferences

  1. MAIA, M. A. ; BIGONHA, R. S.. Objetos concorrentes em máquinas de estados abstratos. In: II Simpósio Brasileiro de Linguagens de Programação, 1997, Belo Horizonte, MG. Anais do SBLP'97, 1997. v. 1. p. 126-138.

1996


International Conference

  1. Mariza A. S. Bigonha, Roberto S. Bigonha, Valeska Russo e Marco R. Costa, An Environment for Language Implementation called SIC, Anais do 2nd. Congreso Argentino de Ciencias de la Computacion, San Luis, 1996.

National Conferences

  1. Mariza A. S. Bigonha, José Lucas Rangel Netto, Roberto S. Bigonha, Alocação de Registradores a Dado de Tamanho Variável e Escalonamento de Instruções. Anais do I Simpósio Brasileiro de Linguagens de Programação, p.73-87, 1996.

  2. Pierre Deransart, Roberto S. Bigonha, Patrick Parot, Mariza Bigonha, José Siqueira.A Literate Logic Programming System, Anais do I Simpósio Brasileiro de Linguagens de Programação, Belo Horizonte, setembro/1996.

  3. VALENTE, M. T. O. ; BIGONHA, R. S.. Covariância x contravariância: A solução ita. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte, MG. Anais do SBLP'96, 1996. v. 1. p. 333-345.

  4. MAIA, M. A.; BIGONHA, R. S.. Implementando uma linguagem funcional pura com uma máquina-g estendida. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do SBLP'96, 1996. v. 1. p. 141-154.

Summary Published in Proceedings of Conferences

  1. Pierre Deransart, Roberto S. Bigonha, Patrick Parot, Mariza A. S. Bigonha, José Siqueira, A Hypertext Based Environment to Write Literate Logic Programs, Anais do JICSLP'96, Bonn, Germany, em setembro de 1996. Este artigo também foi publicado como um relatório técnico, RT15/96, do Departamento de Ciência da Computação - UFMG em maio de 1996.

Technical Reports

  1. Valeska Russo e Marco R. Costa, Transporte do sistema SIC do MS-DOS para Windows, Relatório Interno do DCC. Julho/1996.

  2. Mariza A. S. Bigonha, Roberto S. Bigonha, Marco R. Costa e Valeska Russo, SIC: Sistema de Implementação de Compiladores - Manual do Usuário, Versão C 1.0, Relatório Técnico do Laboratório de Linguagens de Programação, DCC-ICEx-UFMG, RT 020-1996.

  3. Mariza A. S. Bigonha, Patrícia Costa, Roberto S. Bigonha, Estudo das Técnicas de Compactação Aplicáveis as Linguagens Funcionais visando Arquiteturas Superescalares, Relatório Técnico interno do DCC, dezembro de 1996.

1995


National Conference

  1. Mariza A. S. Bigonha, José Lucas Rangel Netto, Roberto S. Bigonha, Sistema Gerador de Geradores de Código para Arquiteturas Superescalares. Anais do VII Simpósio Brasileiro de Arquiteturas de Computadores e Processamento de Alto Desempenho, 1995.

  2. MAIA, M. A. ; BIGONHA, R. S.. Implementação de Polimorfismo de inclusão em linguagem funcional pura. In: XXII Seminário Integrado de Software e Hardware, 1995. Anais do SEMISH'95, 1995. v. 2. p. 863-876.

1994


National Conference

  1. Mariza A. S. Bigonha, José Lucas Rangel Netto, Linguagens para Descrição de Arquiteturas de Computadores. Anais do VI Simpósio Brasileiro de Arquiteturas de Computadores, p.137-153, 1994.

  2. NUNES, D. ; BIGONHA, R. S. ; SETZER, V. W. ; COSTA, T.. Curriculos de Referência da SBC para Cursos de Graduação Plena em Computação. In: II Workshop sobre Educação em Informática, 1994, Caxambú, MG. Anais do II Workshop sobre Educação em Informática, 1994. v. 1. p. 1-8.

1993


National Conference

  1. SILVA JUNIOR, J. L. ; BIGONHA, R. S.. Semântica Denotacional Legível. In: VII Simposio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro, RJ. Anais do VII Simposio Brasileiro de Engenharia de Software, 1993. p. 30-45.

  2. RODRIGUES, W. A. ; BIGONHA, R. S.. Uma Experiência na Implementação de Um Sistema de Tipos Fortes e Polimórficos. In: VII Simposio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro, RJ. Anais do VII Simposio Brasileiro de Engenharia de Software, 1993. p. 46-61.

1992


Technical Reports

  1. Mariza A. S. Bigonha, Esquemas de Escalonamento de Instruções para a Arquitetura RISC/6000, Série de Monografias em Ciência da Computação Número 9/92, do Departamento de Informática da PUC-Rio, 1992.

  2. Mariza A. S. Bigonha, Geração e Otimização de Código: Levantamento dos Problemas e Restrições Impostas pelas Arquiteturas RISC e Indicativos de Soluções, Série de Monografias em Ciência da Computação Número 10/92, do Departamento de Informática da PUC-Rio, 1992.

  3. Mariza A. S. Bigonha, Esquemas de Escalonamento de Instruções para a Arquitetura RISC/6000, Série de Monografias em Ciência da Computação Número 9/92, do Departamento de Informática da PUC-Rio, 1992.

1990


Technical Report

  1. Mariza A. S. Bigonha, Otimização de Código usando Técnicas de Inteligência Artificial, Série de Monografias em Ciência da Computação Número 13/90, do Departamento de Informática da PUC-Rio, 1990.

1989


National Conference

  1. BIGONHA, R. S.; MARTINS, R. T.. Uma Experiência em Compilação Incremental de Linguagens LALR(1). In: IX Congresso Nacional da SBC, 1989, Uberlândia, MG. Anais do IX Congresso Nacional da SBC, 1989. p. 83-97.

  2. MARTINS, R. T.; BIGONHA, R. S.. Compilação Inteligente para Sistemas Multimodulares. In: IX Congresso Nacional da SBC, 1989, Uberlândia, MG. Anais do IX Congresso Nacional da SBC, 1989. p. 66-82.

  3. BIGONHA, R. S.. Window 4: Janelas e Menus em Turbo Pascal 4.0. In: XXII Congresso Nacional de Informática, 1989, São Paulo, SP. Anais do XXII Congresso Nacional de Informática, 1989. p. 212-219.

  4. VECCHIO, L. H. A.; BIGONHA, R. S.; CAMPOS, I. M.. O Paradigma de Programação Orientada a Objetos em Turbo Pascal. In: IX Congresso Nacional da SBC, 1989, Uberlândia, MG. Anais IX Congresso Nacional da SBC, 1989. p. 162-170.

Technical Reports

  1. Roberto S. Bigonha e Mariza A.S. Bigonha, Manual de Uso do NET 3.0, DCC-ICEx-UFMG, 1989.

  2. Mariza A. S. Bigonha, Roberto S. Bigonha, SIC: Sistema de Implementação de Compiladores, Série de Monografias do DCC Número T007/89, 1989.

1988

National Conference

  1. Mariza A. S. Bigonha, Roberto S. Bigonha, SIC - Uma Ferramenta para Implementação de Linguagens, Anais do XXI Congresso Nacional de Informática, SUCESU, 1988. v.01. p.426 - 431.

  2. Roberto S. Bigonha; Newton A. C. Lages, João Eduardo R.Dantas; Rodolfo Schwaners; Mariza A. S. Bigonha; Beatriz G. Mintz, Aquisição e Análise de Sinais Multi-Frequenciais Compelidos, Anais do VI Simpósio Brasileiro de Telecomunicações, 1988, Campina Grande, Paraíba, p. 87-92.

  3. PEREZ-ALCAZAR, J. J. ; LAENDER, A. H. F.; BIGONHA, R. S.. A Abordagem Funcional para Banco de Dados e a Linguagem LBF. In: XXI Congresso Nacional de Informática da Sucesu, 1988, São Paulo, SP. Anais do XXI Congresso Nacional de Informática da Sucesu, 1988. p. 267-272.

1987

National Conference

  1. BIGONHA, R. S.; MARTINS, R. T.. Compilação Incremental de Linguagens LR(1). In: XIV SEMISH, 1987, Salvador, BA. ANAIS DO XIV SEMISH, 1987. p. 188-199.

Technical Reports

  1. Roberto Bigonha, Newton Lages, João Dantas, Rodolf Schwaners, Mariza Bigonha e Beatriz Mintz, CDM: Coletor de Dados MFC - Manual do Usuário, RT/1987.

  2. Roberto Bigonha, Newton Lages, João Dantas, Rodolf Schwaners, Mariza Bigonha e Beatriz Mintz, CDM: Coletor de Dados MFC - Manual de Sistema, RT/1987.

1986


International Conference

  1. PEREZ-ALCAZAR, J. J. ; LAENDER, A. H. F. ; BIGONHA, R. S.. Diseno de un Lenguaje para Bases de Datos Funcionales. In: ANAIS DA XII CONFERENCIA LATINOAMERICANA DE INFORMATICA, 1986, Montevideo, Uruguai. ANALES DA XII CONFERENCIA LATINOAMERICANA DE INFORMATICA, 1986. p. 97-116.

National Conference

  1. Mariza A. S. Bigonha, Roberto S. Bigonha, SIC - Um Sistema de Suporte a Implementação de Compiladores, Anais do XIII SEMISH, VI Congresso da Sociedade Brasileira de Computação, p.429-453. Olinda, Recife, julho de 1986.

  2. PEREZ-ALCAZAR, J. J.; LAENDER, A. H. F.; BIGONHA, R. S.. LBF: Uma Linguagem para Bancos de Dados Funcionais. In: XIII SEMISH (SBC), 1986. ANAIS DO XIII SEMISH, 1986. p. 317-330.

Technical Reports

  1. Mariza A. S. Bigonha, Roberto S. Bigonha, SIC: Sistema de Implementação de Compiladores - Manual do Usuário, Série de Monografias do DCC Número T02/86, 57 páginas, 1986.

  2. Mariza A.S. Bigonha, Pascal S - Manual do Usuário, RT No 001/1986, DCC, 78 páginas. Publicado em: 14/04/1986.

  3. Mariza A.S. Bigonha, Entrada e Saída Básica não Blocante (NFIOS), Relatório Técnico do DCC RT No 002/1986, em 23/04/1986, 99 páginas.

  4. Roberto S. Bigonha e Mariza A.S. Bigonha, NET Sistema Extrator de NETLIST, Série de Monografias do DCC, No T03/86, 1986.

1985


National Conferences

  1. Mariza A. S. Bigonha, Roberto S. Bigonha, Uma Experiência na Implementação de um Recuperador de Erro LR(1), Anais do V Simpósio sobre Desenvolvimento de Software Básico. Belo Horizonte: UFMG, 1985, p.158-171.

1983


National Conferences

  1. Roberto S. Bigonha, Mariza A. S. Bigonha, Um Método de Compactação de Tabelas LR(1), Anais do III Seminário sobre Software Básico para Micros. 1983, p.141 - 157.

1982


National Conferences

  1. AVRITZER, Alberto; BIGONHA, R. S.. MICROZUNIX: Um Sistema de Multiprocessamento e Tempo Real. In: II SEMINARIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO PARA MICROS, 1982, São Paulo, SP. Anais do II SEMINARIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO PARA MICROS, 1982. p. 151-175.

1977


National Conferences

  1. MATA, J. M.; BIGONHA, R. S.. LIPA; Linguagem Intermediária para Tradução de Linguagens AlgorÍtmicas. In: IV Seminário Integrado de Software e Hardware, 1977, Belo Horizonte, MG. Anais do V Seminário Integrado de Software e Hardware, 1977. p. 802-817.

  2. DINIZ, M. T. G. ; BIGONHA, R. S.. FOPA : Linguagem de Formatos do PADE. In: IV Seminário Integrado de Software e Hardware, 1977, Belo Horizonte, MG. Anais do IV SEMISH, 1977. p. 590-619.

  3. PADUA, Clarindo I. P. S. ; BIGONHA, R. S.. TRAPA: Tradutor da Linguagem AlgorÍtmica do PADE. In: IV Seminário Integrado de Software e Hardware, 1977, Belo Horizonte, MG. Anais do IV SEMISH, 1977. p. 780-801.

1976


National Conferences

  1. PAULA FILHO, W. P. ; BIGONHA, R. S.. SAPPA: Um Sistema para Construção de Software de Sistemas. In: III Seminário para Desenvolvimento Integrado de Solftware e Hardware, 1976, Porto Alegre, RS. Anais do III Semish, 1976. p. 132-156.

1974


Journal

  1. BIGONHA, R. S.; PADUA, Clarindo I. P. S.. Técnicas para Manipulação Eficiente de Arquivos de Acesso Direto em PL/I. Boletim Informativo do CECOM, Belo Horizonte, MG, v. 4, n.2, p. 47-51, 1974.

  2. BIGONHA, R. S.; PADUA, Clarindo I. P. S.. Economia de Memória na Declaração de Procedimentos em PL/I. Boletim do CECOM, Belo Horizonte, MG, v. 4, n.4, p. 195-199, 1974.

  3. BIGONHA, R. S.. Algoritmo Para Construção de Tabelas de Símbolos para Linguagens de Estrutura de Blocos. Boletim Informativo do Cecom, v. 4, n.4, p. 189-194, 1974.

img

Last update: May 04th, 2017.