Kompilatorer
Filter
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The …
This 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 …
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. …
This book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022, held in …
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included …
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 …
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, …
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in …
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September …
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November …