packet
发表于 2025-3-28 17:28:32
Nikos Katsifarakis,Kostas Karatzastion which is very useful for reasoning about operational equivalence of programs. We restrict attention to contextual equivalence of expressions in the ML family of programming languages, concentrating on functions involving local state. A brief tour of structural operational semantics culminates i
人类学家
发表于 2025-3-28 19:17:36
http://reply.papertrans.cn/17/1602/160130/160130_42.png
让你明白
发表于 2025-3-29 00:19:13
Applied Semantics978-3-540-45699-5Series ISSN 0302-9743 Series E-ISSN 1611-3349