| rdfs:comment
| - La semántica operacional es uno de los enfoques de la semántica formal, en el que el significado de una construcción de lenguaje es especificado por la computación que la induce cuando es ejecutada en una máquina hipotética. La semántica operacional se preocupa más por el "cómo" se ejecutan los programas en lugar de hacer énfasis en los resultados. La semántica formal es una de las áreas de estudio de las ciencias de la computación, preocupada en atribuir significado a las construcciones de lenguajes de programación. (es)
- 操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。 (ja)
- Semântica operacional é uma das abordagens de semântica formal, em que o significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética. A semântica operacional preocupa-se mais em como os programas são executados do que meramente com os resultados destas computações. A semântica formal é uma das áreas de estudo de ciência da computação, preocupada em atribuir significado às construções das linguagens de programação. (pt)
- 操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函數程式語言中一段终结性的序列在最后一步的返回程序的值。（由于一个程序可能是非非決定的，一般来说一个程序能够有许多不同的计算步骤和许多不同的返回值。） 操作语义最早被用来定义Algol 68的语义。下面这句话引用修正的ALGOL 68报告： 一个使用严格语言编写的程序的意义是通过一个假设的计算机来执行该程序的组成部分时完成的行动来解释的。（，第二章） 丹纳·司科特是第一个在今天的这个定义下使用操作语义这个概念的（）。以下是司科特关于形式语义学的讲稿，其中他提到了语义的“操作”观点。 把目光注意使得语义在更‘抽象’和更‘清晰’可以，但是假如把操作方面完全忽略的话这个计划毫无用处。（） (zh)
- دلالات التشغيل هي فئة من دلالات لغة البرمجة الشكلية، تستخدم للتحقق من بعض الخصائص المرغوبة لبرنامج ما، مثل الصحة أو الأمان أو الأمن، عن طريق إنشاء أدلة من العبارات المنطقية تتعلق بتنفيذها وإجراءاتها، بدلًا من إرفاق معاني رياضية في شروطها (دلالات إشارية). تصنف دلالات التشغيل في فئتين: دلالات التشغيل الهيكلية (أو دلالات الخطوة الصغيرة) تصف شكليًا كيفية حدوث الخطوات الفردية للحوسبة في الأنظمة المعتمدة على الحاسوب؛ مقابل الدلالات الطبيعية (أو دلالات الخطوة الكبيرة) التي تصف كيفية الحصول على النتائج الإجمالية لعمليات التنفيذ. تشمل المناهج توفير الدلالات الشكلية الأخرى للغات البرمجة الدلالات بديهية والدلالات الإشارية. (ar)
- Στην επιστήμη υπολογιστών, η λειτουργική σημασιολογία (operational semantics) είναι ένας τρόπος να δίνεται νόημα σε προγράμματα υπολογιστών με μαθηματικά αυστηρό τρόπο. Η λειτουργική σημασιολογία περιλαμβάνει δύο κατηγορίες: η δομική λειτουργική σημασιολογία (structural operatational semantics) ή σημασιολογία μικρού βήματος (small-step semantics) περιγράφει τυπικά πώς συμβαίνουν τα ξεχωριστά βήματα ενός υπολογισμού σε ένα σύστημα, ενώ η φυσική σημασιολογία (natural semantics) ή σημασιολογία μεγάλου βήματος (big-step semantics) περιγράφει πώς προκύπτουν τα τελικά αποτελέσματα των υπολογισμών. Άλλες προσεγγίσεις της τυπικής σημασιολογίας των γλωσσών προγραμματισμού είναι η αξιωματική σημασιολογία και η δηλωτική σημασιολογία. (el)
- Die operationelle Semantik ist eine Technik der Informatik um die Bedeutung beziehungsweise die Semantik von Computerprogrammen zu beschreiben. Die Wirkung eines Programms wird aufgefasst als schrittweise Zustandsänderung einer abstrakten Maschine. Operationelle Semantik wird verwendet, um Eigenschaften einzelner Programme nachzuweisen oder Programme zueinander in Beziehung zu setzen. Ein Spezialfall der Operationellen Semantik ist die (SOS), die von Gordon Plotkin eingeführt wurde. (de)
- Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the overall results of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotatio (en)
- En informatique, la sémantique opérationnelle est l'une des approches qui servent à donner une signification aux programmes informatiques d'une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation). Une sémantique opérationnelle d'un langage de programmation particulier décrit comment chaque programme valide du langage doit être interprété en termes de suite d'états successifs d'état mémoire dans la machine. Cette suite d'état est la signification du programme. La sémantique opérationnelle est reliée à la sémantique dénotationnelle au travers du concept d'. (fr)
- La semantica operazionale descrive l'esecuzione di un programma attraverso transizioni definite direttamente sul linguaggio del programma. Questo tipo di formalismo è concettualmente simile all'interpretazione vera e propria in cui abbiamo una macchina astratta e le istruzioni applicano transizioni di stato in questa macchina. Abbiamo dunque una sequenza di passi computazionali definita per ogni programma (che può essere non deterministica) e che viene generata solitamente con l'applicazione di un insieme di regole di inferenza sull'insieme delle istruzioni stesso. a=1; b=0 e a=1;b=0 b=0; a=1 (it)
- Конотати́вна (операці́йна) сема́нтика – це спосіб опису комп’ютерної системи за допомогою послідовностей кроків обчислення. Ці послідовності описують зміст системи. Операційна семантика дуже тісно пов’язана з реалізацією системи мовою програмування, оскільки кроки обчислення описуються на мові деякого обчислювача.Такою мовою може виступати звичайна мова програмування. Мінусом операційної семантики в порівнянні з денотаційною є те що з її допомогою дуже важко доводити якісь твердження про програму, бо для цього потрібно "запустити" її на якомусь ідеалізованому інтерпретаторі. (uk)
|
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)