| 000 | 02695nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-11863-5 | ||
| 003 | DE-He213 | ||
| 005 | 20240730185418.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140828s2014 sz | s |||| 0|eng d | ||
| 020 |
_a9783319118635 _9978-3-319-11863-5 |
||
| 024 | 7 |
_a10.1007/978-3-319-11863-5 _2doi |
|
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMC _2bicssc |
|
| 072 | 7 |
_aCOM010000 _2bisacsh |
|
| 072 | 7 |
_aUMC _2thema |
|
| 082 | 0 | 4 |
_a005.45 _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 Quintao Pereira. |
| 250 | _a1st ed. 2014. | ||
| 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 |
_aProgramming and Software Engineering, _x2945-9168 ; _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 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aComputer programming. _94169 |
|
| 650 | 1 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aProgramming Techniques. _9139198 |
| 700 | 1 |
_aQuintao Pereira, Fernando Magno. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9139199 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9139200 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319118628 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319118642 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8771 _9139201 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-11863-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c92809 _d92809 |
||