Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011

摘要

This special issue collects selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (co-located with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium). The aim of the FOPARA workshop series is to serve as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. Moreover it aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. The series of FOPARA started from collaboration between researchers in implicit computational complexity (ICC) and researchers working in applied resource analysis of existing programming languages such as Java or functional languages. In fact the foundational part of resource analysis, consisting in measuring and verifying time and memory consumption through formal methods and abstract computational models, is a research field inside ICC.