000 | 01906nmm a2200373Ia 4500 | ||
---|---|---|---|
001 | 978-3-031-52038-9 | ||
003 | DE-He213 | ||
005 | 20240319123247.0 | ||
007 | cr nn 008mamaa | ||
008 | 240109s2023 sz | s |||| 0|eng d | ||
020 | _a9783031520389 | ||
040 | _dIITJ | ||
082 | _a5.13 | ||
245 |
_aPractical Aspects of Declarative Languages _cedited by Martin Gebser, Ilya Sergey. _h[electronic resource] |
||
250 | _a1st ed. 2023. | ||
260 |
_aCham _bSpringer Nature Switzerland _c2023 |
||
300 |
_aXVI, 223 p. 64 illus., 39 illus. in color. _bonline resource. |
||
520 | _aThis book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning. | ||
650 |
_aApplication software. _941519 |
||
650 |
_aComputer and Information Systems Applications. _941520 |
||
650 |
_aComputer Engineering and Networks. _941521 |
||
650 |
_aComputer engineering. _941522 |
||
650 |
_aComputer networks . _941523 |
||
650 |
_aComputer science. _941524 |
||
650 |
_aExpert systems (Computer science). _941525 |
||
650 |
_aKnowledge Based Systems. _941526 |
||
650 |
_aProgramming Language. _941527 |
||
650 |
_aProgramming languages (Electronic computers). _941528 |
||
650 |
_aTheory of Computation. _941529 |
||
700 |
_aGebser, Martin. _941530 |
||
700 |
_aSergey, Ilya. _941531 |
||
856 | _uhttps://doi.org/10.1007/978-3-031-52038-9 | ||
942 |
_cEBK _2ddc |
||
999 |
_c16035 _d16035 |