Programming Languages : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Carvalho Junior Francisco Heron (Directeur de publication), de Carvalho Junior Francisco Heron (Directeur de publication), Barbosa Luis Soares (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Programming Languages : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Francisco Heron Carvalho Junior, Luis Soares Barbosa.
Édition : 1st ed. 2012.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Collection : Programming and Software Engineering ; 7554
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Contenu : 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.
Sujets :
Documents associés : Autre format: Programming Languages
Autre format: Programming Languages