Text

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

---

Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih dengan saksama dari 72 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut: Bagian I: Efek dan jenis modal; pengetikan dua arah dan jenis sesi; jenis dependen; Bagian II: Pemrograman kuantum dan bahasa khusus domain; verifikasi; analisis program; interpretasi abstrak.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

005.1 WEI p

Publisher

Zurich, Switzerland : Springer International Publishing., 2024

Collation

1 online resource (XVI, 340 Pages)

Language

English

ISBN/ISSN

978-3-031-57262-3

Classification

005.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Pemrograman Komputer
Programming Languages

Specific Detail Info

-

Statement of Responsibility

Stephanie Weirich

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-031-57262-3

Validator

erw

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-57262-3

Journal Volume

14576

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment