Produktinformationen "Programming Languages"
This book constitutes the proceedings of the 19 th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
| ISBN: | 9783319240114 |
|---|---|
| Verlag: | Springer International Publishing |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 143 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Pardo, Alberto Swierstra, S. Doaitse |
| Erscheinungsdatum: | 15.11.2015 |
| Verlag: | Springer International Publishing |
| Untertitel: | 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings |
| Schlagworte: | Abstract interpretation Compilation and interpretation techniques Concurrency Denotational semantics Domain specific languages Embedded languages Formal semantics of programming languages Haskell Program analysis and verification Theoretical foundations of programming |