Inferring cost equations for recursive, polymorphic and higher-order functional programs PB Vasconcelos, K Hammond Symposium on Implementation and Application of Functional Languages, 86-101, 2003 | 134 | 2003 |
Space cost analysis using sized types PB Vasconcelos University of St Andrews, 2008 | 71 | 2008 |
Automatic amortised analysis of dynamic memory allocation for lazy functional programs H Simoes, P Vasconcelos, M Florido, S Jost, K Hammond Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 48 | 2012 |
Cost analysis using automatic size and time inference ÁJ Rebón Portillo, K Hammond, HW Loidl, P Vasconcelos Symposium on Implementation and Application of Functional Languages, 232-247, 2002 | 32 | 2002 |
Type-based cost analysis for lazy functional languages S Jost, P Vasconcelos, M Florido, K Hammond Journal of Automated Reasoning 59, 87-120, 2017 | 30 | 2017 |
Type-based allocation analysis for co-recursion in lazy functional languages P Vasconcelos, S Jost, M Florido, K Hammond Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 26 | 2015 |
Cost inference and analysis for recursive functional programs PB Vasconcelos PhD thesis, University of St Andrews, 2008 | 12 | 2008 |
Using intersection types for cost-analysis of higher-order polymorphic functional programs HR Simões, K Hammond, M Florido, P Vasconcelos Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007 | 10 | 2007 |
A Sized Time System for a Parallel Functional Language (Revised) AR Portillo, K Hammond, HW Loidl, P Vasconcelos Proc. Implementation of Functional Langs.(IFL’02), Madrid, Spain, 2003 | 9 | 2003 |
Bounded space programming using finite state machines and recursive functions: the hume approach K Hammond, G Michaelson, PB Vasconcelos ACM Transactions on Software Engineering Methodology, 2006 | 8 | 2006 |
Certifying execution time in multicores V Rodrigues, B Akesson, M Florido, SM de Sousa, JP Pedroso, ... Science of Computer Programming 111, 505-534, 2015 | 7 | 2015 |
Generating mathematics exercises by computer AP Tomás, P Vasconcelos Internal Report DCC-2001-6, DCC-FC & LIACC, University of Porto. Presented …, 2001 | 7 | 2001 |
Como redigir um relatório de estágio P Vasconcelos Porto, 2009 | 6 | 2009 |
Using property-based testing to generate feedback for C programming exercises P Vasconcelos, RP Ribeiro First International Computer Programming Education Conference (ICPEC 2020), 2020 | 5 | 2020 |
Granularity analysis using automatic size and time cost inference AR Portillo, K Hammond, HW Loidl, P Vasconcelos Proceedings of IFL, 2002 | 2 | 2002 |
Automatic amortised resource analysis for hume K Hammond, S Jost, HW Loidl, P Vasconcelos Scotland: School of Computing Science, University of St Andrews, 2009 | 1 | 2009 |
Experience Report: Verifying a Simple Compiler Using Property-based Random Testing P Vasconcelos | 1 | |
Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming P Vasconcelos 4th International Computer Programming Education Conference (ICPEC 2023), 2023 | | 2023 |
Resource Analysis for Lazy Evaluation with Polynomial Potential S Moreira, P Vasconcelos, M Florido Proceedings of the 32nd Symposium on Implementation and Application of …, 2020 | | 2020 |
Adaptação do Exército a um Conflito Subversivo. O caso Especial do Teatro de Operações de Moçambique (1964-1975) S Capelo, P Vasconcelos, R Romeiro, A Garrinhas, L Lopes IUM, 2016 | | 2016 |