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.

Fast track conference proceedings Unique visibility State of the art research

Inhalt

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.