PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

(
(余)帰納法
2
2次元作図問題
A
Agda
algebraic effects and handlers
analysis
APL
augmented transition network
B
backtracking
C
C-cubic
categorical semantics
Context-free grammars
control / prompt
control and prompt
control/prompt
Coq
CPS
CPS変換
cyber-physical system
D
delimited continuations
Denotational semantics
dependent refinement type system
domain-specific language
Dynamic Load Balancing
E
Elixir
Embedded DSL
error recovery
error reporting
Ethereum
F
F*
Fibration
Finite Automaton
Formal language theory
formal methods
formal verification
functional programming
G
G-Machine
GPU
GPU Computing
Graal / Truffle
graph layout
H
Haskell
HFL(N)
Hiddenクラス
Hoare logic
HyperLMNtal
I
IDE
integrated development environments
IoTシステム
J
JavaScript
JIT compiler
K
Koka言語
L
language implementation framework
Lexical Analysis
library visualization
LMNtal
Lookahead
LR parsing
M
mathematical knowledge management
measure theory
meta-tracing JIT compiler
Mizar
model-free method
monad
Monad lifting
MPI
MPI-3 RMA
O
OCaml
OCaml Blockly
out-of-core
P
packrat parsing
Parallelism
parser generator
Parsing
parsing expression grammar
Parsing expression grammars
Plebeia
polymorphic effects
polymorphic type assignment
Program Transformation
proof assistant
Q
QED system
quantitative verification
R
reduction
Regular expressions
reversible computation
RPython
Ruby 3
Rust
S
sentential forms
SIMD
size-change termination
SMTソルバー
software engineering
software science
Stencil
Syntactic predicates
syntax completion
systems programming
T
tail call optimization
Task-Parallel Languages
testing
Tezos
tracing JIT
type systems
U
UTS(Unbalanced Tree Search)
V
verification
Visual Studio Code
VPython
W
Warren Abstract Machine
Weakest precondition
Web system
π
π計算
ごみ集め
エフェクトシステム
エフェクト強制
エンテイルメント判定問題
エージェント
オートマトン
オートマトン学習
クラスタリング
グラフニューラルネットワーク
グラフパターンマッチング
グラフレイアウト
グラフ書き換え言語
グラフ簡約
ゲームAI
コントロールフローグラフ
コンパクション
コード最適化
スカラ置換
ステッパ
ステートレスモデル検査
ソースコード翻訳
タスク並列言語
テキスト型言語
テスト
デザインレシピ
データ並列スケルトン
データ構造
データ構造可視化
ハッシュテーブル
バランス二分木(Braun木)
パッケージマネージャ
パーサ開発支援
ビザンチン将軍問題
ブロックチェーン
ブロック型言語
プレイスタイル
プログラミングコンテスト
プログラミング学習補助
プログラミング教育
プログラミング環境
プログラミング言語
プログラム変換
プログラム抽出
ページベース分散共有メモリ
ホモトピー型理論
ホモロジー
マクロ木変換器
メタ JIT コンパイラフレームワーク
メタプログラミング
モジュール
モデル検査
モデル検査法
モナド的プログラミング
ユースケース
ライフゲーム
ライブプログラミング環境
ラーニングアナリティクス
ロボット制御
並列言語
並列言語処理系
並行計算
並行/並列システム
交通輸送システム
代数的エフェクト
仮想機械
例示プログラミング
依存型
依存関係
停止性
健全性
再帰的データ構造
分岐発散
分散システム
分離論理
初学者プログラミング
制約論理プログラミング
動的型付け
半自動証明
双方向性代数的エフェクト
可逆計算
圏論
型主導コンパイル
型推論
多相レコード
定理証明支援機Coq
定理証明支援系
実現可能性解釈
実行スタック
弱いメモリモデル
形式検証
形式言語理論
循環証明
性能解析
性能評価
投機的コード移動
投機的計算
文脈自由文法
文脈自由言語
時相論理
普遍代数
暗号通貨
束縛変数
構文解析器
機械翻訳
正17角形の作図
深層学習
混合サイズアクセス
測度論
物理情報システム
画像処理
相互運用
移植性
等価性検証
篩型
精度保証実数計算
組み込みシステム
自動検証
行列積
言語処理系
計算省略
計算量のオーダー
証明論
試験プロトコル
認識論理
負荷分散
近似スケジューリング
逆コンパイル
遅延評価
遺伝的アルゴリズム
配列言語
関数型言語
関数型言語Elixir
限定継続
限定継続演算子
障害検出
静的型検査
非同期I/O
非連結グラフ
非関数化
音楽理論
高階単一化
高階木変換器
高階関数