| |
|
| Artikel-Nr.: 5667A-9783319240114 Herst.-Nr.: 9783319240114 EAN/GTIN: 9783319240114 |
| |
|
| | |
| 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings Weitere Informationen: | | Author: | Alberto Pardo; S. Doaitse Swierstra | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Abstract interpretation, Domain specific languages, Formal semantics of programming languages, Program analysis and verification, Theoretical foundations of programming, Compilation and interpretation techniques, Concurrency, Denotational semantics, Embedded languages, Haskell, Meta-programming |
| | |
| |