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

Krebbers, Robbert

Programming Languages and Systems: 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory an
  • 出版商: Springer
  • 出版日期: 2026-04-10
  • 售價: $2,440
  • 貴賓價: 9.5 折 $2,318
  • 語言: 英文
  • 頁數: 494
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032227194
  • ISBN-13: 9783032227195
  • 相關分類: Functional-programming

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

相關主題

商品描述

The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.

The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and selected from 94 submissions. They deal with fundamental issues in the specification, design, analysis and implementation of programming languages and systems, such as programming paradigms and styles; methods and tools to write and specify programs and languages; methods and tools for reasoning about programs; programming systems design and implementation.

商品描述(中文翻譯)

開放存取書籍集 LNCS 16501 + LNCS 16502 是第35屆歐洲程式設計研討會（ESOP 2026）的會議紀錄，該會議於2026年4月11日至16日在義大利都靈舉行，作為國際聯合會議「軟體理論與實務」（ETAPS 2026）的一部分。

會議紀錄中包含的31篇完整論文，以及一篇受邀演講，都是從94篇投稿中仔細審核和選出的。這些論文探討了程式語言和系統的規範、設計、分析和實作等基本問題，例如程式設計範式和風格；撰寫和規範程式及語言的方法和工具；推理程式的方法和工具；程式系統的設計和實作。

類似商品

最後瀏覽商品 (2)