标签operational-semantics - 这是页4 - GeneraCodice

Proof via induction for small-step semantics

https://www.generacodice.com/cn/articolo/1535453/proof-via-induction-for-small-step-semantics
  semantics  -  programming-languages  -  proof-techniques  -  operational-semantics
cs.stackexchange cs.stackexchange

Small-step semantics: for-loops

https://www.generacodice.com/cn/articolo/1496061/small-step-semantics-for-loops
  semantics  -  programming-languages  -  formal-languages  -  operational-semantics  -  small-step-semantics
cs.stackexchange cs.stackexchange

How to prove the following properties of Small-step semantics?

https://www.generacodice.com/cn/articolo/1495390/how-to-prove-the-following-properties-of-small-step-semantics
  proof-techniques  -  operational-semantics
cs.stackexchange cs.stackexchange

defining the operational semantics of a concurrent language

https://www.generacodice.com/cn/articolo/1490229/defining-the-operational-semantics-of-a-concurrent-language
  concurrency  -  operational-semantics
cs.stackexchange cs.stackexchange

双重，朝向操作语义中的箭头

https://www.generacodice.com/cn/articolo/1148759/双重-朝向操作语义中的箭头
  terminology  -  semantics  -  operational-semantics
cs.stackexchange cs.stackexchange

TAPL：满足的解释和示例

https://www.generacodice.com/cn/articolo/1119413/tapl-满足的解释和示例
  satisfiability  -  term-rewriting  -  operational-semantics  -  small-step-semantics
cs.stackexchange cs.stackexchange

如何推断出小的步骤操作语义？

https://www.generacodice.com/cn/articolo/1119357/如何推断出小的步骤操作语义
  semantics  -  operational-semantics  -  small-step-semantics
cs.stackexchange cs.stackexchange

可以在代码注释中使用的操作语义的符号

https://www.generacodice.com/cn/articolo/1097868/可以在代码注释中使用的操作语义的符号
  semantics  -  programming-languages  -  operational-semantics
cs.stackexchange cs.stackexchange
发现结果: 43
scroll top