Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an
暫譯: 程式語言與系統：第34屆歐洲程式設計研討會，ESOP 2025，作為國際聯合會議理論的一部分舉行

Vafeiadis, Viktor

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an
  • 出版商: Springer
  • 出版日期: 2025-05-01
  • 售價: $2,150
  • 貴賓價: 9.5 折 $2,043
  • 語言: 英文
  • 頁數: 438
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031911172
  • ISBN-13: 9783031911170

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.

The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics.

商品描述(中文翻譯)

開放存取書籍集 LNCS 15694 + LNCS 15695 是第34屆歐洲程式設計研討會（ESOP 2025）的會議錄，該研討會於2025年5月3日至8日在加拿大漢密爾頓舉行，作為2025年軟體理論與實務國際聯合會議（ETAPS 2025）的一部分。

會議錄中包含的30篇完整論文是從總共88篇投稿中仔細審核和選出的。會議錄還包含兩篇短篇實驗報告。這些論文專注於程式語言研究的各個方面，例如程式範式和風格；指定和推理程式及語言的方法和工具；程式語言的基礎；實作、併發和分佈的方法和工具；以及應用和新興主題。

類似商品