en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag operational-semantics - This is page 1 - GeneraCodice
What's the difference between: operational, denotational and axiomatic semantics?
https://www.generacodice.com/en/articolo/1609935/what-s-the-difference-between-operational-denotational-and-axiomatic-semantics
semantics
-
operational-semantics
-
denotational-semantics
cs.stackexchange
Formal model of execution for Java (or general imperative language)
https://www.generacodice.com/en/articolo/1590121/formal-model-of-execution-for-java-or-general-imperative-language
java
-
semantics
-
programming-languages
-
operational-semantics
cs.stackexchange
What formal representation is commonly used to describe compiler optimizations?
https://www.generacodice.com/en/articolo/1584486/what-formal-representation-is-commonly-used-to-describe-compiler-optimizations
semantics
-
formal-languages
-
compilers
-
operational-semantics
-
program-optimization
cs.stackexchange
What's the difference between a calculus and a programming language?
https://www.generacodice.com/en/articolo/1584387/what-s-the-difference-between-a-calculus-and-a-programming-language
terminology
-
semantics
-
programming-languages
-
lambda-calculus
-
operational-semantics
cs.stackexchange
How is a Transition System in Operational Semantics defined?
https://www.generacodice.com/en/articolo/1576758/how-is-a-transition-system-in-operational-semantics-defined
formal-languages
-
operational-semantics
cs.stackexchange
What questions can denotational semantics answer that operational semantics can't?
https://www.generacodice.com/en/articolo/1573658/what-questions-can-denotational-semantics-answer-that-operational-semantics-can-t
semantics
-
operational-semantics
-
denotational-semantics
cs.stackexchange
What is this fraction-like “discrete mathematics”–style notation used for formal rules?
https://www.generacodice.com/en/articolo/1572114/what-is-this-fraction-like-discrete-mathematics-style-notation-used-for-formal-rules
semantics
-
formal-methods
-
notation
-
operational-semantics
cs.stackexchange
Difference Between Small and Big-step Operational Semantics
https://www.generacodice.com/en/articolo/1546141/difference-between-small-and-big-step-operational-semantics
semantics
-
operational-semantics
-
small-step-semantics
cs.stackexchange
Proof via induction for small-step semantics
https://www.generacodice.com/en/articolo/1535453/proof-via-induction-for-small-step-semantics
semantics
-
programming-languages
-
proof-techniques
-
operational-semantics
cs.stackexchange
Small-step semantics: for-loops
https://www.generacodice.com/en/articolo/1496061/small-step-semantics-for-loops
semantics
-
programming-languages
-
formal-languages
-
operational-semantics
-
small-step-semantics
cs.stackexchange
«
1
2
3
4
5
»
Results found: 43