000			01811nam a2200385Ia 4500
000			03745nam a22004095i 4500
001			978-3-031-24841-2
003			DE-He213
005			20240319120757.0
007			cr nn 008mamaa
008			230107s2023 sz | s |||| 0|eng d
020			_a9783031248412 _9978-3-031-24841-2
082			_a5.13
245			_aPractical Aspects of Declarative Languages _cedited by Michael Hanus, Daniela Inclezan. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXVIII, 313 p. 433 illus., 28 illus. in color. _bonline resource.
520			_aThis book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
650			_aCompilers (Computer programs). _928427
650			_aCompilers and Interpreters. _928428
650			_aExpert systems (Computer science). _928429
650			_aFormal Languages and Automata Theory. _928430
650			_aKnowledge Based Systems. _928431
650			_aLogic in AI. _928432
650			_aLogic programming. _928433
650			_aMachine theory. _928434
650			_aMathematical Logic and Foundations. _928435
650			_aMathematical logic. _928436
650			_aProgramming Language. _928437
650			_aProgramming languages (Electronic computers). _928438
700			_aHanus, Michael. _928439
700			_aInclezan, Daniela. _928440
856			_uhttps://doi.org/10.1007/978-3-031-24841-2
942			_cEBK _2ddc
999			_c14959 _d14959