Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 2024
Genre:	EDV / Informatik
	bisimilarity / declarativeprogramming / DependentType / Künstliche Intelligenz (KI) / Lambdacalculus / Logicalframeworks / logicalrelations / modelchecking / probabilisticprogramming / programverification / quantumprogramming / Semanticframeworks / Theoretische Informatik / Typetheory mehr...
ISBN:	9789819789429
EAN-Code:	9789819789429
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 22 mm
Gewicht:	610 gr
Seiten:	404
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.