Publisher: Springer; 2012 edition (July 13, 2012)
Format: PDF / Kindle / ePub
Size: 7.4 MB
Downloadable formats: PDF
This publication constitutes the refereed post-proceedings of the second one foreign Workshop on Foundational and useful elements of source research, FOPARA 2011, held in Madrid, Spain, in could 2011. The eight revised complete papers have been rigorously reviewed and chosen from the papers awarded on the workshop and papers submitted following an open demand contributions after the workshop. The papers are prepared within the following topical sections: implicit complexity, research and verfication of fee expressions, and worst case execution time research.