Slika omota

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

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 t...

Cijeli opis

Spremljeno u:
Bibliografski detalji
Autor kompanije: SpringerLink (Online service)
Daljnji autori: Kiselyov, Oleg (Urednik)
Format: Elektronički e-knjiga
Jezik:engleski
Izdano: Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Izdanje:1st ed. 2025.
Serija:Lecture Notes in Computer Science, 15194
Teme:
Compilers (Computer programs).
Computer programming.
Computer science.
Artificial intelligence.
Compilers and Interpreters.
Programming Techniques.
Theory of Computation.
Artificial Intelligence.
Online pristup:https://doi.org/10.1007/978-981-97-8943-6
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Opis
Sažetak: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.
Opis fizičkog objekta:1 online resource (X, 389 p. 221 illus.). 150 illus. in color.
ISBN:9789819789436
ISSN:1611-3349 ;
Digitalni identifikator objekta:10.1007/978-981-97-8943-6

Slični predmeti