diff options
Diffstat (limited to 'static/papers/cpp23_msgssa.pdf')
-rw-r--r-- | static/papers/cpp23_msgssa.pdf | 54 |
1 files changed, 51 insertions, 3 deletions
diff --git a/static/papers/cpp23_msgssa.pdf b/static/papers/cpp23_msgssa.pdf index 77eb2c2..bd4a240 100644 --- a/static/papers/cpp23_msgssa.pdf +++ b/static/papers/cpp23_msgssa.pdf @@ -277,8 +277,8 @@ </dc:language> <dc:identifier>info:doi/10.1145/3573105.3575681</dc:identifier> <xmp:CreateDate>2023-01-04T10:43:00Z</xmp:CreateDate> - <xmp:ModifyDate>2023-01-16T08:46:11-08:00</xmp:ModifyDate> - <xmp:MetadataDate>2023-01-16T08:46:11-08:00</xmp:MetadataDate> + <xmp:ModifyDate>2023-01-17T08:51:43-08:00</xmp:ModifyDate> + <xmp:MetadataDate>2023-01-17T08:51:43-08:00</xmp:MetadataDate> <xmp:CreatorTool>LaTeX with acmart 2022/04/09 v1.84 Typesetting articles for the Association for Computing Machinery and hyperref 2022-06-13 v7.00r Hypertext links for LaTeX</xmp:CreatorTool> <xmpMM:DocumentID>uuid:46cef2b1-3390-4a88-9cea-33ef7a3eaef7</xmpMM:DocumentID> <xmpMM:InstanceID>uuid:590a3395-467f-4d13-be4c-959000ae41dc</xmpMM:InstanceID> @@ -3851,4 +3851,52 @@ n-
eXlxhC#(B[[UɏOx
)o]t+F|Mw8M 1SX <}7FYI" M]sڐ^;p^Пu@K YP.ECZLU/֣-W/e +( -hG7=jh=|ֺ%gqNPڷ81Vzf\@db I)f\'ߝ+<Y=W:-ɄwWSp΅=='k˘i6J"^蕖eoC#
\ No newline at end of file +hG7=jh=|ֺ%gqNPڷ81Vzf\@db I)f\'ߝ+<Y=W:-ɄwWSp΅=='k˘i6J"^蕖eoC#s?7a&a7?B]A5Hl[iz (`n(9CzE}07LqA:32~Jk'Suo]C-Ο:/lW֕
;0miJ..JO_{f0paB.N!=<7TR#Ͱw}DggnI-Tf=EL\T( +UI蘚d&φh6jYzs2^s`bNP7Ie(|2-~.sP=FB*ź&Jyp5K[L(¢ǔdw*pZS:$SܯbTX3?&x22@(RGPZ4KǓ +? -%1Qc[}@O#N=:S`,Su\Gze:gZ,owMǔ'}(E#RVkwfeCSIwgY`COatQVU'._tBU&21)Y"Ϝb{Ȅ|]*%<LԂpjJ;bM:9N?z'+UZ,xW̨*&` dLLD `lAfU<ueA]ʉއJv_,gctljsqj)W1{V +5`g&X;v\_rR>-~*^fK}8P1qQ,mlT,+a"*WI]٥XO*Ĝ\H7˭F`]);/$i!mW@ ÅV`+y~;սLa̳j3 +rQe5͘o`L`-+Pɸ]xOI
@ԟٯHվ[5,$M4F<\Wz"juD68UoUX,8B"RߧRSvIXJ-zzLsdAb1~rtz=!q:;*V:QS/FFŸ@7|ȗyCghlݱn-%:Ӡ}&CEQCSY%ߙ0ŏJQ͈fʮ_dlDJ_i#!,M͎U="E2ޱf
| J`ZW{a-rop]#c$[SN +IQG +c4=k䳳O+OYtTrURN Eѕua3Pxms447I;.
Z#g,Q)4^D7V>4ۦV/l^At}gwd9y&՟t@5ۢ41=꒜mr&G)3>44VazX2C/w'yF#% h'3jх.ָ"|r)~Q2hh@/X7`p*m}?.Y]&&ʹj\^f?R`U^?>U
}W@z/a0]j)k_ϋI{[iYtttz%h +]81"](6KJIBb3mB!lNp}?%_~,VYg*^. NUI*W;xڟ+&){B<+]u#t#!<oƎbzڍ8njZk=}KAjF͡jxC%s6(0왩eVV;\Vp,Әۥc]yʽfPЖ=BD3M%gx.4Zn<mBmq.$[|RqfߠIq
+ +fkn,R&/|Xܻ܋}gNiTv(坼"2jF14KQMd1
Ň"|smDk7A;
2k]DDoi2{&4wfSH#GK]?>;0tnn{([H3E,Gĭ+\Vg7a֜G<J{aR")iIqqJVmb l~XpϠ~יVw.Ds@w-EdG/YV["7&9ǻ[*yr*k-ǂ[4Q|O&}6Ö)ѴިWN%&:9r]<T
|ægNm P,k<?|2X2ȝ.sm#auufz)y,{*lVKL94Σ`}30QK,̤=Шn5C:?!`ΖKzP1+B猯 !Ī: -Fl̫1/|'ӧ|yl~C!Ew=}D4et[zodf44Ǯ&#MNXw,nb9;B1~hY +boq?`Xi~Z)+.B1DtjvØQ!)ߧs#S@\4y]M`y#qy)E)o)LժrZ!xW]dܶ͟#<I}gc$8<Fnݾ#^ҥnAc&~/Ĭco6-?)G-3VYuQ!3Aa)pstLI*U/a`COCqLf6`@@8$2/FnTp? +.qU9LJ:ߢ'|kĀ
]a#и.ᦪ;3r1ťw`9Hu.=mUta:mܶNæn;J[w]A6S@$.:uƎ<(N=ڔQ(uݝf#.;wZT}aR>!Ngj?=N'sfr&܋]AyKFzYt;릑{_nVq̠g[s~Z V88\^GMKRrx(Ȝ@\2;gbt4m,%-ǭYχhR(GwCvkeFb3V`⣹NmpH_Գ-iAVrZ/d3T]%;hsJޜc1>͓0{GcZl_\"L
?P[lhqЫ\}taqsQDbK뮄DNƹju6ҥWf^(&-JκbGtbLL+o**3հF"swuna7ۚpWХDެr,koz1Zs_O~H[t@{(JD7 eъ{Uq.8ݮ|2Zwn̔^q+%J-aA@?QjO$\5B!?2,yUdթdNȺ=|V&<-t$.ۦĥO
7dLXٺ"^L)pG/Z(-S(D'8蛯V-0fwk-)3ZTjHDB?$FZ
؋/vI3Kv4p[X +D;YxP0D{FR8s/Gmh:\3'6̝jOvӬ$n]W8uSq_*[qNs;D,2U(~Z.\@}?ɚF^_8 ''8_5mWW7Y&>jɂtMA<4@ݛ<Ew0`Y}t0J{4Pl^>ld&<cD^^jo{3<m}ⷽ}]f,5,n@Fi=q>'Zhpt7zbrNj1>_G\Km8Ga]vF0NdDIWt߮[D֠b[ +˯dD3!AGciv3)izu<PayS D1,\
No=~ݐo+5,nN~]X|1Pu\Qq6^zG +nϒ
IWS#zTdBʲjtC%([.&oƍU;^?5ĸxKz"Iퟑg!Xaϕh +L,S`Q8W1 +endstream +endobj +570 0 obj +<</Keywords(Verified Compilation; SSA; Gated SSA)/Creator(LaTeX with acmart 2022/04/09 v1.84 Typesetting articles for the Association for Computing Machinery and hyperref 2022-06-13 v7.00r Hypertext links for LaTeX; Conference Publishing Consulting)/ModDate(D:20230117085143-08'00')/Trapped/False/CreationDate(D:20230104104300Z)/Producer(pdfTeX, Version 3.141592653-2.6-1.40.24 \(TeX Live 2022\) kpathsea version 6.3.4; ConfPub - poplws23cppmain-p32-p rev-2b5efd80dd-62534:62535 p182; modified using iText 4.2.0 by 1T3XT)/Subject(- Theory of computation -> Operational semantics.Program verification.- Software and its engineering -> Semantics.; CPP 2023)/PTEX.Fullbanner(This is pdfTeX, Version 3.141592653-2.6-1.40.24 \(TeX Live 2022\) kpathsea version 6.3.4)/Author(Yann Herklotz, Delphine Demange, and Sandrine Blazy)/Title(Mechanised Semantics for Gated Static Single Assignment)>> +endobj +513 0 obj +<</Filter/FlateDecode/Type/ObjStm/Length 4393/First 521/N 57>>stream +xZo8W( X,;qƙ\8s$JlkWĞ{(uG|X4:ȪbիǒHH'Ymdui9GGIiWellЧQ>oc>LQ& +uSNC8Ɓ٤^FNюL.o=1urE1-TkH]7U+8w1+#8 +q?xF>YߺFϹ{wU;i=uv'\J☲źunW/aø`2[ (#®&7 +F?/5k}7S#/k!fv@n +j)Ї=(jq=|h1<;
u#d6<O,%L[H3q*\QBYLY"ŶŊԽ?> +^q9LA_-i_X]0q}(-
`w6!қI鵍,bz`wcjU +5D96Ak7^oZ3$BCc9$,W#-Ik.%ԂiRn&0=fOce>,5_Re)5\CI2T^[<a3=PπA8(qۖMb2nR=ymNzUXbQoCel/v_r5ͺUQ-O9XS颹[
bPmѱ3ei2˲uY@cR.ӓu5*&,7ylTդcD[bZLĢi5)I[zgK쪃1V' |fc//,۽+{x{da6Vm{?^ũ.a%3j7'e;v߾#:غ%mȿ훺da1G
d@Hݭw!1 3h!;g](@c;}xg,0PK/ؗe9k!@f EӜ,֠ߜz+@zǖa?-B@Dd7vkgmsw +Ѕ||H|HoŏE{+IJElB9=:&ޑIiqВ{<u%^,Ͽ{/Fr0܋I{έ< _C @X`90G<Z,V)J)iw9GK`B^;8'ԄD^;k3!nKoZ>8fSÉLAw?wkL'tAxϒ%?pl\gJQa^_6RR~On<9'3^Eoݿh5@uyY?>2o|^j3
UoWK+$9_ɶO$R|I=,tq3
}TW)}ơm+u(UJZq.bhʼ/)F$`*?98G:-ͰB9ĻETDds_#ɲȘ<۵.-9#rklIL@s,0~dIUIl#j? i/g^4qȏsѻ~CνW%[?0GO`~_? wȈ]l.>z~\lqz~3n,)b[tp]lBiM1bR[=ڀ/8 +@ +[!L>EϪivC9?&ceH%%U\n8W5Ǧ$uk+LzaYc^z&+V +[Ó<}MX1OI(p +endstream +endobj +571 0 obj +<</Info 570 0 R/Filter/FlateDecode/Type/XRef/W[1 3 2]/Index[0 572]/ID [<9dbb651cdc663d5dd23267332ee7c179><a951006b76a609333de657df0cf6da90>]/Root 480 0 R/Length 1302/Size 572>>stream +x5WLTy{.H+HDĎbE^b^bAP{W}KvQ-&`6n6Y/M{ggƲ,^,ײlr,k>5hepY(%ƶl1
+F5j6s)zDA]rkމ=bSCl>\,s~Ɯ=|[b+l-Eo#Vumź|k0Nga{;agn;X}cbvpQ1qM/(_~7D?1{`d%ߐ&&t`#HM}/8 +N,)lYJtrȡZO8glƖ"w2tr+vh%L1LW|\q.%r\S +M(cKeXW*\ͫ@F&';Θqjfu7F܄E`1nmw` ]^Ƙs(01ه +sx/`Vc
^KxU7.+?v\>zJZ| y(JeWk'9v^r^]n߈}!C?A8jטoLu~Nb.ǩ-:N6iW5bѾ8}6%-#}X6ޡu[b+lm-#v]0bFbFcbvxL=0 {b2b?0koO80#p$a:јcp,Lp"N8bf43p&8<p!.Ÿ2\9yX+p%B>:\p#n"܌[6;w.܍{p/x +/%W8~Ϭnq2l㻿u8ޖk}omwZ|><M{8X⭻8C@/qԎx{kDQkA_l*28zk3)S;ͱ8N+l-ξEi#7
hOfNi7i:ۋ3%@;H ;ca0`(aǮ000cvDn|Q_Z< +endstream +endobj +startxref +793789 +%%EOF |