Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Publicações Confirmadas: 11



1
TÍTULO: Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
AUTORES: Pedro Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: OpenAccess Series in Informatics, VOLUME: 112
INDEXADO EM: Scopus
2
TÍTULO: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTORES: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLICAÇÃO: 2020, FONTE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID
3
TÍTULO: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTORES: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLICAÇÃO: 2020, FONTE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
4
TÍTULO: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTORES: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID
5
TÍTULO: Certifying execution time in multicores  Full Text
AUTORES: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
6
TÍTULO: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages  Full Text
AUTORES: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLICAÇÃO: 2015, FONTE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID
7
TÍTULO: Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs  Full Text
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin ;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
8
TÍTULO: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLICAÇÃO: 2012, FONTE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
INDEXADO EM: Scopus
9
TÍTULO: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTORES: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2007, FONTE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502
INDEXADO EM: Scopus WOS
NO MEU: ORCID
10
TÍTULO: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTORES: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2006, FONTE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502
INDEXADO EM: DBLP
NO MEU: ORCID
Página 1 de 2. Total de resultados: 11.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service