Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings / [electronic resource] :
edited by Francisco Heron Carvalho Junior, Luis Soares Barbosa.
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
- IX, 165 p. 78 illus. online resource.
- Lecture Notes in Computer Science, 7554 0302-9743 ; .
- Lecture Notes in Computer Science, 7554 .
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. .
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.
9783642331824
10.1007/978-3-642-33182-4 doi
Computer science.
Software engineering.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.7-76.73 QA76.76.C65
005.13
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. .
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.
9783642331824
10.1007/978-3-642-33182-4 doi
Computer science.
Software engineering.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.7-76.73 QA76.76.C65
005.13