Programming Languages [electronic resource] : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /

Contributor(s):

Material type: Text

TextSeries: Programming and Software Engineering ; 8771Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Edition: 1st ed. 2014Description: X, 161 p. 52 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319118635

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

005.45 23

LOC classification:

QA76.76.C65

Online resources:

Click here to access online

Contents:

Program generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation.

In: Springer Nature eBookSummary: This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.

There are no comments on this title.

to post a comment.