Programming Languages and Systems Programming Languages and Systems

Programming Languages and Systems

20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

    • 54,99 US$
    • 54,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.
The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2022
25 tháng 11
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
227
Trang
NHÀ XUẤT BẢN
Springer Nature Switzerland
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
19,7
Mb
Programming Languages and Systems Programming Languages and Systems
2023
Functional and Logic Programming Functional and Logic Programming
2022
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2022
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
2018
Functional and Logic Programming Functional and Logic Programming
2010
Programming Languages and Systems Programming Languages and Systems
2020