Luís Afonso Correia Soares da Silva Carvalho

Student - Programa Doutoral em Informática

  • DI - Departamento de Informática
    Faculdade de Ciências e Tecnologia/UNL
    Edifício II
    Campus de Caparica
    2829-516 Caparica

    Portugal

Calculated based on number of publications stored in Pure and citations from Scopus
20222023

Research activity per year

Fingerprint

Dive into the research topics where Luís Afonso Correia Soares da Silva Carvalho is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Semantic Versioning for Python Programs

    Carvalho, L., 22 Oct 2023, SPLASH 2023: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Vasconcelos, V. T. (ed.). New York: ACM - Association for Computing Machinery, p. 13-15 3 p. (SPLASH: Systems, Programming, and Applications).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    12 Downloads (Pure)
  • A Dialogue Interface for Low Code Program Evolution

    Carvalho, L., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Springer, p. 357-360 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13274 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Derivations with Holes for Concept-Based Program Synthesis

    Costa Seco, J., Aldrich, J., Carvalho, L., Toninho, B. & Ferreira, C., Nov 2022, Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Scholliers, C. & Singer, J. (eds.). New York: ACM - Association for Computing Machinery, p. 63-79 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Citations (Scopus)