Practical aspects of declarative languages 25th international symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, proceedings - Hanus, Michael 1959-; Inclezan, Daniela (Springer, 2023)
Keywords: Programming Language; Compilers and Interpreters; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Logic in AI.; Knowledge Based Systems; Programming languages (Electronic computers); Compilers (Computer programs); Mathematical logic; Machine theory; Logic programming; Expert systems (Computer science); Deklarative Programmiersprache; Konferenzschrift -- 2023 -- Boston, MA