Programming Languages

16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

AvFrancisco Heron de Carvalho Junior,Luis Soares Barbosa

Häftad, Engelska, 2012

Del i serien Lecture Notes in Computer Science

535 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2012-08-14
Mått:155 x 235 x 10 mm
Vikt:277 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:170
Upplaga:2012
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642331817

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Programming Languages

Luis Soares Barbosa, Francisco Heron de Carvalho Junior

E-bok

2013

690 kr

Language Engineering and Rigorous Software Development

Jorge Sousa Pinto, Alberto Pardo, Luis Soares Barbosa, Ana Bove

E-bok

2009

739 kr

Artificial Intelligence Logic and Applications

Songmao Zhang, Luis Soares Barbosa

Häftad, 2025

912 kr

Dynamic Logic. New Trends and Applications

Alexandru Baltag, Luis Soares Barbosa

E-bok

2020

732 kr

Formal Aspects of Component Software

Luis Soares Barbosa, Markus Lumpe

Häftad, 2012

573 kr

Language Engineering and Rigorous Software Development

Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto

Häftad, 2009

581 kr

Artificial Intelligence Logic and Applications

Luis Soares Barbosa, Songmao Zhang

E-bok

2025

1 150 kr

Formal Aspects of Component Software

Markus Lumpe, Luis Soares Barbosa

E-bok

2012

739 kr

Del 12005

Dynamic Logic. New Trends and Applications

Luís Soares Barbosa, Alexandru Baltag

Häftad, 2020

573 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Programming Languages

16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

AvFrancisco Heron de Carvalho Junior,Luis Soares Barbosa

Häftad, Engelska, 2012

Del i serien Lecture Notes in Computer Science

535 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2012-08-14
Mått:155 x 235 x 10 mm
Vikt:277 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:170
Upplaga:2012
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642331817

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.