000 | 03692nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-90686-7 | ||
003 | DE-He213 | ||
005 | 20210201191430.0 | ||
007 | cr nn 008mamaa | ||
008 | 180423s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319906867 _9978-3-319-90686-7 |
||
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aFunctional and Logic Programming _h[electronic resource] : _b14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings / _cedited by John P. Gallagher, Martin Sulzmann. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXVI, 281 p. 74 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues ; _v10818 |
|
500 | _aAcceso multiusuario | ||
520 | _aThis book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. . | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer system failures. | |
650 | 0 | _aSpecial purpose computers. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
650 | 2 | 4 |
_aThe Computing Profession. _0https://scigraph.springernature.com/ontologies/product-market-codes/I24075 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13030 |
700 | 1 |
_aGallagher, John P. _eeditor. _0(orcid)0000-0001-6984-7419 _1https://orcid.org/0000-0001-6984-7419 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSulzmann, Martin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319906850 |
776 | 0 | 8 |
_iPrinted edition: _z9783319906874 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10818 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-90686-7 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c243426 _d243425 |