Menu

Filtros : "Electronic Proceedings in Theoretical Computer Science" "ENGENHARIA DE SOFTWARE" Limpar

Filtros

Limitar por data

  • 1

1 - 2 (2 registros)

  • Trabalho de evento-anais periodico

    On structuring functional programs with monoidal profunctors (2022)

    Oliveira, Alexandre Garcia de; Jaskelioff, Mauro; Melo, Ana Cristina Vieira de

    Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: Workshop on Mathematically Structured Functional Programming - MSFP. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLIVEIRA, Alexandre Garcia de e JASKELIOFF, Mauro e MELO, Ana Cristina Vieira de. On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7. Acesso em: 10 nov. 2025. , 2022

    • APA

      Oliveira, A. G. de, Jaskelioff, M., & Melo, A. C. V. de. (2022). On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7

    • NLM

      Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2025 nov. 10 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7

    • Vancouver

      Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2025 nov. 10 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7

  • Trabalho de evento

    Generating complete and finite test suite for ioco: is it possible? (2014)

    Simão, Adenilso da Silva ; Petrenko, Alexandre

    Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: Workshop on Model-Based Testing. Unidade: ICMC

    Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Generating complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 10 nov. 2025.

    • APA

      Simão, A. da S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141

    • NLM

      Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.4204/EPTCS.141

    • Vancouver

      Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.4204/EPTCS.141
  • 1

1 - 2 (2 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025