Tag operational-semantics - Esta é a página 2 - GeneraCodice

Formal model of execution for Java (or general imperative language)

https://www.generacodice.com/pt/articolo/1590121/formal-model-of-execution-for-java-or-general-imperative-language
  java  -  semantics  -  programming-languages  -  operational-semantics
cs.stackexchange cs.stackexchange

What formal representation is commonly used to describe compiler optimizations?

https://www.generacodice.com/pt/articolo/1584486/what-formal-representation-is-commonly-used-to-describe-compiler-optimizations
  semantics  -  formal-languages  -  compilers  -  operational-semantics  -  program-optimization
cs.stackexchange cs.stackexchange

What's the difference between a calculus and a programming language?

https://www.generacodice.com/pt/articolo/1584387/what-s-the-difference-between-a-calculus-and-a-programming-language
  terminology  -  semantics  -  programming-languages  -  lambda-calculus  -  operational-semantics
cs.stackexchange cs.stackexchange

How is a Transition System in Operational Semantics defined?

https://www.generacodice.com/pt/articolo/1576758/how-is-a-transition-system-in-operational-semantics-defined
  formal-languages  -  operational-semantics
cs.stackexchange cs.stackexchange

What questions can denotational semantics answer that operational semantics can't?

https://www.generacodice.com/pt/articolo/1573658/what-questions-can-denotational-semantics-answer-that-operational-semantics-can-t
  semantics  -  operational-semantics  -  denotational-semantics
cs.stackexchange cs.stackexchange

What is this fraction-like “discrete mathematics”–style notation used for formal rules?

https://www.generacodice.com/pt/articolo/1572114/what-is-this-fraction-like-discrete-mathematics-style-notation-used-for-formal-rules
  semantics  -  formal-methods  -  notation  -  operational-semantics
cs.stackexchange cs.stackexchange

Difference Between Small and Big-step Operational Semantics

https://www.generacodice.com/pt/articolo/1546141/difference-between-small-and-big-step-operational-semantics
  semantics  -  operational-semantics  -  small-step-semantics
cs.stackexchange cs.stackexchange

Proof via induction for small-step semantics

https://www.generacodice.com/pt/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/pt/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/pt/articolo/1495390/how-to-prove-the-following-properties-of-small-step-semantics
  proof-techniques  -  operational-semantics
cs.stackexchange cs.stackexchange
Resultados encontrados: 43
scroll top