|
書名・著者名等
|
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / edited by Nobuko Yoshida
|
|
資料種別
|
リモートファイル
|
|
版
|
1st ed. 2021
|
|
出版者・出版年
|
Cham : Springer International Publishing : Imprint: Springer , 2021
|
|
形状・大きさ
|
XII, 693 p. 177 illus : online resource
|
|
巻号情報
|
|
|
シリーズ名等
|
Theoretical Computer Science and General Issues <> 12648//a
|
|
内容著作注記
|
The Decidability of Verification under PS 2.0
|
|
内容著作注記
|
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
|
|
内容著作注記
|
Types for Complexity of Parallel Computation in Pi-Calculus
|
|
内容著作注記
|
Checking Robustness Between Weak Transactional Consistency Models
|
|
内容著作注記
|
Verified Software Units
|
|
内容著作注記
|
An Automated Deductive Verication Framework for Circuit-building Quantum Programs
|
|
内容著作注記
|
Nested Session Types
|
|
内容著作注記
|
Coupled Relational Symbolic Execution for Differential Privacy
|
|
内容著作注記
|
Graded Hoare Logic and its Categorical Semantics
|
|
内容著作注記
|
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
|
|
内容著作注記
|
For a Few Dollars More – Verified Fine-Grained Algorithm Analysis Down to LLVM
|
|
内容著作注記
|
Run-time Complexity Bounds Using Squeezers
|
|
内容著作注記
|
Complete trace models of state and control
|
|
内容著作注記
|
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
|
|
内容著作注記
|
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
|
|
内容著作注記
|
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
|
|
内容著作注記
|
Graded Modal Dependent Type Theory
|
|
内容著作注記
|
Automated Termination Analysis of Polynomial Probabilistic Programs
|
|
内容著作注記
|
Bayesian strategies: probabilistic programs as generalised graphical models
|
|
内容著作注記
|
Temporal Refinements for Guarded Recursive Types
|
|
内容著作注記
|
Query Lifting: Language-integrated query for heterogeneous nested collections
|
|
内容著作注記
|
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
|
|
内容著作注記
|
Sound and Complete Concolic Testing for Higher-order Functions
|
|
内容著作注記
|
Strong-Separation Logic
|
|
注記
|
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
|
|
NCID
|
9783030720209
|
|
本文の言語
|
英語
|
|
著者リンク
|
Yoshida, Nobuko <> editor
|
|
著者リンク
|
SpringerLink (Online service) <>
|
|
分類
|
DC23:005.45
|
|
件名
|
Compilers (Computer programs)
|
|
件名
|
Natural language processing (Computer science)
|
|
件名
|
Software engineering
|
|
件名
|
Computer science
|
|
件名
|
Computer engineering
|
|
件名
|
Computer networks
|
|
件名
|
Compilers and Interpreters
|
|
件名
|
Natural Language Processing (NLP)
|
|
件名
|
Software Engineering
|
|
件名
|
Computer Science Logic and Foundations of Programming
|
|
件名
|
Computer Engineering and Networks
|
|
電子書籍・雑誌へアクセス
|
https://doi.org/10.1007/978-3-030-72019-3
|
検索メニュー ▼
マイライブラリ ▼
