. . . . . “Joachim Breitner等人：Wasm SpecTec：设计正式语言标准。（2023）”。 . . _：ID_b112d26b1b202dcc1396cac55febc6cd。_：ID_b112d26b1b202dcc1396cac55febc6cd ._：ID_b112d26b1b202dcc1396cac55febc6cd ._：ID_b112d26b1b202dcc1396cac55febc6cd“期刊/corr/abs-2311-07223”。 _：ID_a98e2761d628f149def14f5a24a1b6。_：ID_a98e2761d628f149def14f5a24a1b6 ._：ID_a98e2761d628f149def14f5a24a1b6 ._：ID_a98e2761d628f149def14f5a24a1b6“10.48550/ARXIV.2311.07223”。 “Wasm SpecTec：设计正式语言标准。”。 . . . . . . . . . . . . "11"^^. _：Sig_9df4f1480fb3c9100078e9a2547f6211_1。_：Sig_9df4f1480fb3c9100078e9a2547f6211_1 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_1“约阿希姆·布雷特纳”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_1 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_1"1"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_1 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_2。_：Sig_9df4f1480fb3c9100078e9a2547f6211_2 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_2“菲利普·加德纳”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_2 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_2"2"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_2 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_3。_：Sig_9df4f1480fb3c9100078e9a2547f6211_3 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_3“李在云”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_3 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_3"3"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_3 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_4。_：Sig_9df4f1480fb3c9100078e9a2547f6211_4 ._：信号_9df4f1480fb3c9100078e9a2547f6211_4“萨姆·林德利”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_4 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_4“4”^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_4 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_5。_：Sig_9df4f1480fb3c9100078e9a2547f6211_5 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_5“Matija Pretnar”。_：信号_9df4f1480fb3c9100078e9a2547f6211_5 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_5"5"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_5 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_6。_：Sig_9df4f1480fb3c9100078e9a2547f6211_6 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_6“肖家饶”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_6 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_6"6"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_6 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_7。_：Sig_9df4f1480fb3c9100078e9a2547f6211_7 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_7“安德烈亚斯·罗斯伯格”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_7 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_7"7"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_7 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_8。_：Sig_9df4f1480fb3c9100078e9a2547f6211_8 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_8“苏京琉”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_8 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_8"8"^^._：信号_9df4f1480fb3c9100078e9a2547f6211_8 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_9。_：Sig_9df4f1480fb3c9100078e9a2547f6211_9 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_9“Wonho Shin”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_9 ._：信号_9df4f1480fb3c9100078e9a2547f6211_9"9"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_9 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_10。_：Sig_9df4f1480fb3c9100078e9a2547f6211_10 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_10“康拉德·瓦特”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_10 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_10"10"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_10 . _：Sig_9df4f1480fb3c9100078e9a2547f6211_11。_：Sig_9df4f1480fb3c9100078e9a2547f6211_11 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_11“东骏Youn”。_：Sig_9df4f1480fb3c9100078e9a2547f6211_11 ._：Sig_9df4f1480fb3c9100078e9a2547f6211_11"11"^^._：Sig_9df4f1480fb3c9100078e9a2547f6211_11 . . . . “CoRR”。 “CoRR”。 “abs/2311.07223”。 "2023"^^. “dblp记录'journals/corr/abs-2311-07223'的RDF数据的来源信息”。 . . . “2023-11-15T16:23:10+0100”。