Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Publicações Confirmadas: 12



1
TÍTULO: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AUTORES: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLICAÇÃO: 2024, FONTE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
Página 1 de 2. Total de resultados: 12.

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

Links Úteis

Ajuda

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