TY - BOOK AU - AU - ED - SpringerLink (Online service) TI - Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642331824 AV - QA76.7-76.73 U1 - 005.13 23 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Computer science KW - Software engineering KW - Computer Science KW - Programming Languages, Compilers, Interpreters KW - Software Engineering KW - Programming Techniques N1 - 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 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; ZDB-2-SCS; ZDB-2-LNC N2 - 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 UR - http://dx.doi.org/10.1007/978-3-642-33182-4 ER -