| 000 | 02576nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-11863-5 | ||
| 003 | DE-He213 | ||
| 005 | 20200421111700.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140828s2014 gw | s |||| 0|eng d | ||
| 020 |
_a9783319118635 _9978-3-319-11863-5 |
||
| 024 | 7 |
_a10.1007/978-3-319-11863-5 _2doi |
|
| 050 | 4 | _aQA76.7-76.73 | |
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMX _2bicssc |
|
| 072 | 7 |
_aUMC _2bicssc |
|
| 072 | 7 |
_aCOM051010 _2bisacsh |
|
| 072 | 7 |
_aCOM010000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.13 _223 |
| 245 | 1 | 0 |
_aProgramming Languages _h[electronic resource] : _b18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings / _cedited by Fernando Magno Quint�ao Pereira. |
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
| 300 |
_aX, 161 p. 52 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8771 |
|
| 505 | 0 | _aProgram generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation. | |
| 520 | _aThis 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. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 700 | 1 |
_aQuint�ao Pereira, Fernando Magno. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319118628 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8771 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-11863-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c54923 _d54923 |
||