Programming languages :: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /: Fernando Magno Quintão Pereira (Ed.).

Pereira, Fernando Magno Quintão,

doi:10.1007/978-3-319-11863-5

Programming languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / Fernando Magno Quintão Pereira (Ed.).

SBLP (Symposium) (18th : 2014 : Maceió, Brazil); Pereira, Fernando Magno Quintão, editor.

2014

QA76.7

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Programming languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / Fernando Magno Quintão Pereira (Ed.).

Meeting Name

SBLP (Symposium) (18th : 2014 : Maceió, Brazil)

ISBN

9783319118635 (electronic book)
3319118633 (electronic book)
9783319118628
3319118625

DOI

https://doi.org/10.1007/978-3-319-11863-5

Published

Cham : Springer, [2014]

Copyright

Language

English

Description

1 online resource (viii, 159 pages) : illustrations.

Item Number

10.1007/978-3-319-11863-5 doi

Call Number

QA76.7

Dewey Decimal Classification

005.1/3

Summary

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.

Note

International conference proceedings.
Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed Sep. 5, 2014).

Added Author

Pereira, Fernando Magno Quintão, editor.

Series

Lecture notes in computer science ; 8771.
LNCS sublibrary. SL 2, Programming and software engineering.

Available in Other Form

Print verson: 9783319118628