Programming Languages

This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012.
The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering.

Software Components as Invariant-Typed Arrows. - The Science of Killing Bugs in a Black Box. - Spill Code Placement for SIMD Machines. - Left Recursion in Parsing Expression Grammars. - Speed and Precision in Range Analysis. - Parameter Based Constant Propagation. - Adaptable Parsing Expression Grammars. - Optimizing a Geomodeling Domain Specific Language. -A System for Runtime Type Introspection in C++. - Model-Based Programming Environments for Spreadsheets. - A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines. - Attribute Grammar Macros.

The Science of Killing Bugs in a Black Box. - Spill Code Placement for SIMD Machines. - Left Recursion in Parsing Expression Grammars. - Speed and Precision in Range Analysis. - Parameter Based ConstantPropagation. - Adaptable Parsing Expression Grammars. - Optimizing a Geomodeling Domain Specific Language. -A System for Runtime Type Introspection in C++. - Model-Based Programming Environments for Spreadsheets. - A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines. - Attribute Grammar Macros.