Computing and Information Technology, Computer Programming / Software Engineering, Compilers and Interpreters
Programming Languages and Systems

Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Paperback Published on: 29/10/2024
£49.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Synopsis

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.

The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.

Publisher information

  • Publisher: Springer Nature Singapore
  • ISBN: 9789819789429
  • Number of pages: 389
  • Dimensions: 235 x 155 x 21 mm
  • Weight: 558g
  • Languages: English