Pedro Baltazar Vasconcelos


AuthID: R-000-EPD

Confirmed Publications: 10



1
TITLE: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID
2
TITLE: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTHORS: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID
3
TITLE: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTHORS: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
4
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
5
TITLE: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages  Full Text
AUTHORS: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID
6
TITLE: Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs  Full Text
AUTHORS: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin ;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
7
TITLE: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTHORS: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLISHED: 2012, SOURCE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
INDEXED IN: Scopus
8
TITLE: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTHORS: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLISHED: 2007, SOURCE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502
INDEXED IN: Scopus WOS
IN MY: ORCID
9
TITLE: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTHORS: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502
INDEXED IN: DBLP
IN MY: ORCID
10
TITLE: Inferring cost equations for recursive, polymorphic and higher-order functional programs
AUTHORS: Vasconcelos, PB ; Hammond, Kevin ;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3145
INDEXED IN: Scopus CrossRef: 47
IN MY: ORCID

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service