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...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
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 |
LEADER | 03963clm a2200661 4500 | ||
---|---|---|---|
001 | PPN16832377X | ||
003 | http://www.sudoc.fr/16832377X | ||
005 | 20241001155100.0 | ||
010 | |a 978-3-642-33182-4 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-33182-4 |2 DOI |
035 | |a (OCoLC)818323809 | ||
035 | |a Springer978-3-642-33182-4 | ||
035 | |a Springer-11645-978-3-642-33182-4 | ||
100 | |a 20130325d2012 k y0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
105 | |a y z 100yy | ||
106 | |a s | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Programming Languages |e 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings |f edited by Francisco Heron Carvalho Junior, Luis Soares Barbosa. | |
205 | |a 1st ed. 2012. | ||
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg |d 2012 | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7554 | |
230 | |a Données textuelles | ||
327 | 1 | |a Software Components as Invariant-Typed Arrows |a The Science of Killing Bugs in a Black Box |a 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 |a 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. | |
330 | |a 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 | ||
337 | |a Nécessite un lecteur de fichier PDF | ||
371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7554 | |
452 | | | |t Programming Languages |y 9783642331817 | |
452 | | | |t Programming Languages |y 9783642331831 | |
608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
610 | 1 | |a Computer Science | |
610 | 2 | |a Programming Languages, Compilers, Interpreters | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Programming Techniques | |
610 | 1 | |a Compilers and Interpreters | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
615 | |a Computer Science |n 11645 |2 Springer | ||
676 | |a 005.13 |v 23 | ||
680 | |a QA76.7-76.73 | ||
680 | |a QA76.76.C65 | ||
701 | 1 | |a Carvalho Junior |b Francisco Heron |4 651 | |
701 | 1 | |a de Carvalho Junior |b Francisco Heron |4 651 | |
701 | 1 | |a Barbosa |b Luis Soares |4 651 | |
801 | 3 | |a FR |b Abes |c 20230120 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
856 | 4 | |5 441099901:830854401 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-33182-4 | |
915 | |5 441099901:830854401 |b SPRING13-00497 | ||
930 | |5 441099901:830854401 |b 441099901 |j g | ||
991 | |5 441099901:830854401 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:12 | ||
997 | |a NUM |b SPRING13-00497 |d NUMpivo |e EM |s d | ||
998 | |a 978329 |