| http://dbpedia.org/ontology/abstract
|
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其 … 操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函數程式語言中一段终结性的序列在最后一步的返回程序的值。（由于一个程序可能是非非決定的，一般来说一个程序能够有许多不同的计算步骤和许多不同的返回值。） 操作语义最早被用来定义Algol 68的语义。下面这句话引用修正的ALGOL 68报告： 一个使用严格语言编写的程序的意义是通过一个假设的计算机来执行该程序的组成部分时完成的行动来解释的。（，第二章） 丹纳·司科特是第一个在今天的这个定义下使用操作语义这个概念的（）。以下是司科特关于形式语义学的讲稿，其中他提到了语义的“操作”观点。 把目光注意使得语义在更‘抽象’和更‘清晰’可以，但是假如把操作方面完全忽略的话这个计划毫无用处。（）义在更‘抽象’和更‘清晰’可以，但是假如把操作方面完全忽略的话这个计划毫无用处。（）
, Operational semantics is a category of for … 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 denotational semantics. The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps. These sequences then are the meaning of the program. In the context of functional programming, the final step in a terminating sequence returns the value of the program. (In general there can be many return values for a single program, because the program could be nondeterministic, and even for a deterministic program there can be many computation sequences since the semantics may not specify exactly what sequence of operations arrives at that value.) Perhaps the first formal incarnation of operational semantics was the use of the lambda calculus to define the semantics of Lisp. Abstract machines in the tradition of the SECD machine are also closely related.the SECD machine are also closely related.
, En informatique, la sémantique opérationne … 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. Dans le cas d'un programme fonctionnel, l'état final d'une suite qui termine donne la valeur de retour du programme. Dans le cas général, il peut y avoir plusieurs suites de calculs et plusieurs valeurs de retour pour un seul programme, parce que celui-ci pourrait être non déterministe. Un des moyens les plus courants pour définir rigoureusement une sémantique opérationnelle est de fournir un système de transition d'états rendant compte du comportement attendu du programme considéré. Une telle définition autorise une analyse formelle du langage, permettant l'étude de relations entre les programmes. Parmi les relations importantes, les pré-ordres de simulation et les bisimulations sont très utiles dans le cadre du parallélisme. Définir une sémantique opérationnelle au travers d'un système de transition se fait habituellement en donnant une de l'ensemble des transitions possibles. Habituellement, cela prend la forme d'un ensemble de règles d'inférence définissant les transitions valides du système. Le système devient ainsi représentable sous la forme d'un arbre de dérivation des état mémoire du programme lors de l’exécution. La sémantique opérationnelle est reliée à la sémantique dénotationnelle au travers du concept d'. dénotationnelle au travers du concept d'.
, La semántica operacional es uno de los enf … 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.nstrucciones de lenguajes de programación.
, Στην επιστήμη υπολογιστών, η λειτουργική σ … Στην επιστήμη υπολογιστών, η λειτουργική σημασιολογία (operational semantics) είναι ένας τρόπος να δίνεται νόημα σε προγράμματα υπολογιστών με μαθηματικά αυστηρό τρόπο. Η λειτουργική σημασιολογία περιλαμβάνει δύο κατηγορίες: η δομική λειτουργική σημασιολογία (structural operatational semantics) ή σημασιολογία μικρού βήματος (small-step semantics) περιγράφει τυπικά πώς συμβαίνουν τα ξεχωριστά βήματα ενός υπολογισμού σε ένα σύστημα, ενώ η φυσική σημασιολογία (natural semantics) ή σημασιολογία μεγάλου βήματος (big-step semantics) περιγράφει πώς προκύπτουν τα τελικά αποτελέσματα των υπολογισμών. Άλλες προσεγγίσεις της τυπικής σημασιολογίας των γλωσσών προγραμματισμού είναι η αξιωματική σημασιολογία και η δηλωτική σημασιολογία. Η λειτουργική σημασιολογία μιας γλώσσας προγραμματισμού περιγράφει πώς ερμηνεύεται ένα έγκυρο πρόγραμμα σαν ακολουθία από υπολογιστικά βήματα.Οι ακολουθίες αυτές είναι η σημασία του προγράμματος.Στα συναρτησιακά προγράμματα, το τελικό βήμα μιας ακολουθίας που τερματίζει είναι αυτό που επιστρέφει την τιμή του προγράμματος. (Γενικά ένα πρόγραμμα μπορεί να επιστρέφει πολλές τιμές, αν είναι μη-ντετερμινιστικό, ή αν είναι ντετερμινιστικό και υπάρχουν πολλές ακολουθίες υπολογισμού με διαφορετικές τιμές που να είναι αποδεκτές από τη σημασιολογία.) Η έννοια της λειτουργικής σημασιολογίας χρησιμοποιήθηκε για πρώτη φορά στον ορισμό της σημασιολογίας της Algol 68. Η πρώτη χρήση του όρου "λειτουργική σημασιολογία" αποδίδεται στον Ντέινα Σκοτ.Ακολουθεί ένα απόσπασμα από την ιστορική δημοσίευση του Scott πάνω στην τυπική σημασιολογία, στην οποία αναφέρει τη "λειτουργική" πλευρά της σημασιολογίας. Γενικά είναι καλό να στοχεύουμε σε μια πιο 'αφηρημένη' και 'καθαρή' προσέγγιση στησημασιολογία, αλλά για να πετύχει το σχέδιο, η λειτουργική σημασιολογία δε μπορεί να αγνοηθεί. Μιά από τις πρώτες τυπικές χρήσεις της λειτουργικής σημασιολογίας ήταν η χρήση του λ-λογισμού για τον ορισμό της σημασιολογίας της LISP από τον Τζον Μακάρθι.Οι αφηρημένες μηχανές όπως η μηχανή SECD, έχουν επίσης στενή σχέση με τη λειτουργική σημασιολογία.τενή σχέση με τη λειτουργική σημασιολογία.
, Die operationelle Semantik ist eine Techni … 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. Zentral für die operationelle Semantik ist der Begriff des . Ein Zustand beschreibt dabei (in den meisten Fällen) eine Belegung der Programmvariablen sowie eine Position im Programm. Des Weiteren wird definiert, wann und wie sich Zustände ändern. Dies geschieht entweder mit Hilfe einer Zustandsübergangsfunktion oder durch sogenannte Inferenzregeln (also regelbasiert). Zustandsübergangsfunktion bzw. Inferenzregeln definieren einen Interpreter. Um mit der operationellen Semantik eines Programms zu arbeiten, wird in der Regel ein kleines Stück vom Originalprogramm abstrahiert. Es wird ein abstraktes Programm aufgestellt, das äquivalent zum Original (dem konkreten Programm) ist und das durch einen abstrakten Interpreter ausgeführt werden kann. Die Wirkungen, die dieses abstrakte Programm auf die Zustände der abstrakten Maschine erzeugt, sind dann äquivalent zu den Zuständen, die erhalten werden, wenn das konkrete Programm ausgeführt wird. Ein Spezialfall der Operationellen Semantik ist die (SOS), die von Gordon Plotkin eingeführt wurde. Beispiele für die Verwendung von operationeller Semantik sind die Semantikspezifikationen von Algol 60, PL/I oder VDL. Neben der operationellen Semantik gibt es auch die denotationelle Semantik und die axiomatische Semantik, um die Semantik von Computerprogrammen zu beschreiben.tik von Computerprogrammen zu beschreiben.
, دلالات التشغيل هي فئة من دلالات لغة البرمج … دلالات التشغيل هي فئة من دلالات لغة البرمجة الشكلية، تستخدم للتحقق من بعض الخصائص المرغوبة لبرنامج ما، مثل الصحة أو الأمان أو الأمن، عن طريق إنشاء أدلة من العبارات المنطقية تتعلق بتنفيذها وإجراءاتها، بدلًا من إرفاق معاني رياضية في شروطها (دلالات إشارية). تصنف دلالات التشغيل في فئتين: دلالات التشغيل الهيكلية (أو دلالات الخطوة الصغيرة) تصف شكليًا كيفية حدوث الخطوات الفردية للحوسبة في الأنظمة المعتمدة على الحاسوب؛ مقابل الدلالات الطبيعية (أو دلالات الخطوة الكبيرة) التي تصف كيفية الحصول على النتائج الإجمالية لعمليات التنفيذ. تشمل المناهج توفير الدلالات الشكلية الأخرى للغات البرمجة الدلالات بديهية والدلالات الإشارية. تصف دلالات تشغيل لغة البرمجة كيفية تفسير برنامج صالح على شكل تسلسل من الخطوات الحسابية. تمثل هذه التسلسلات معنى البرنامج. تُرجع الخطوة الأخيرة في تسلسل الإنهاء، في سياق البرمجة الوظيفية، قيمة البرنامج. (عمومًا يمكن أن تكون هناك عدة قيم إرجاع لبرنامج واحد، لأن البرنامج قد يكون غير حتمي، وحتى البرنامج الحتمي يمكن أن يملك العديد من التسلسلات الحسابية لأن الدلالات قد لا تحدد بالضبط تسلسل العمليات المطبق عند تلك القيمة.) كان أول تطبيق شكلي لدلالات التشغيل هو استخدام تكامل لامدا لتحديد دلالات ليسب، وتعتبر الآلات المجردة في نمط آلة إس إي سي دي (التكديس، البيئة، التحكم، التفريغ)، ومن الأمثلة المرتبطة جدًا بها.، التفريغ)، ومن الأمثلة المرتبطة جدًا بها.
, La semantica operazionale descrive l'esecu … 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. In questa semantica i programmi: a=1; b=0 e a=1;b=0 sono equivalenti (hanno lo stesso significato), ma il programma: b=0; a=1 non è equivalente (anche se il risultato finale è equivalente, le azioni non hanno avuto luogo nello stesso ordine).on hanno avuto luogo nello stesso ordine).
, Semântica operacional é uma das abordagens … 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.construções das linguagens de programação.
, Конотати́вна (операці́йна) сема́нтика – це … Конотати́вна (операці́йна) сема́нтика – це спосіб опису комп’ютерної системи за допомогою послідовностей кроків обчислення. Ці послідовності описують зміст системи. Операційна семантика дуже тісно пов’язана з реалізацією системи мовою програмування, оскільки кроки обчислення описуються на мові деякого обчислювача.Такою мовою може виступати звичайна мова програмування. Загальний спосіб строгого визначення операційної семантики був запропонований у 1981 році у його статті «Структурний підхід доопераційної семантики» . Він пропонував специфікувати мову обчислювача, на якій будуть записані послідовності кроків роботи системи, за допомогою (state transition system). Такий підхід дозволяв виконувати мови та опису системи. Визначення операційної семантики системи зазвичай виконується за допомогою індуктивних визначень множин допустимих переходів. Такі визначення можна записати у вигляді правил виводу, що будуть визначати допустимі переходи системи з одного стану в інший. Мінусом операційної семантики в порівнянні з денотаційною є те що з її допомогою дуже важко доводити якісь твердження про програму, бо для цього потрібно "запустити" її на якомусь ідеалізованому інтерпретаторі. на якомусь ідеалізованому інтерпретаторі.
, 操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://citeseer.ist.psu.edu/673965.html +
, http://vestein.arb-phys.uni-dortmund.de/~wb/RR/rr.pdf +
, http://homepages.inf.ed.ac.uk/gdp/publications/Origins_SOS.pdf +
, http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf +
, https://www.cs.tcd.ie/matthew.hennessy/splexternal2015/resources/sembookWiley.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
270062
|
| http://dbpedia.org/ontology/wikiPageLength
|
18757
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1065625046
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Computation +
, http://dbpedia.org/resource/Simulation_preorder +
, http://dbpedia.org/resource/ML_%28programming_language%29 +
, http://dbpedia.org/resource/Category:Programming_language_semantics +
, http://dbpedia.org/resource/Semantics_%28computer_science%29 +
, http://dbpedia.org/resource/Matthias_Felleisen +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Adriaan_van_Wijngaarden +
, http://dbpedia.org/resource/Call_by_name +
, http://dbpedia.org/resource/Call_by_value +
, http://dbpedia.org/resource/First-class_continuations +
, http://dbpedia.org/resource/SECD_machine +
, http://dbpedia.org/resource/Object-oriented +
, http://dbpedia.org/resource/Execution_%28computing%29 +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Algebraic_semantics_%28computer_science%29 +
, http://dbpedia.org/resource/Inference_rule +
, http://dbpedia.org/resource/Friedman +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Type_soundness +
, http://dbpedia.org/resource/Abstract_machine +
, http://dbpedia.org/resource/Inductive_definition +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Category:Operational_semantics +
, http://dbpedia.org/resource/Gordon_Plotkin +
, http://dbpedia.org/resource/Matthew_Hennessy +
, http://dbpedia.org/resource/Program_state +
, http://dbpedia.org/resource/Control_flow +
, http://dbpedia.org/resource/Nondeterministic_algorithm +
, http://dbpedia.org/resource/Axiomatic_semantics +
, http://dbpedia.org/resource/Denotational_semantics +
, http://dbpedia.org/resource/Program_transformation +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Design_by_contract +
, http://dbpedia.org/resource/Category:Logic_in_computer_science +
, http://dbpedia.org/resource/Lisp_%28programming_language%29 +
, http://dbpedia.org/resource/Relation_%28mathematics%29 +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/State_transition_system +
, http://dbpedia.org/resource/Divergence_%28computer_science%29 +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/ALGOL_68 +
, http://dbpedia.org/resource/Algol_68 +
, http://dbpedia.org/resource/Bisimulation +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Gilles_Kahn +
, http://dbpedia.org/resource/Computer_program +
, http://dbpedia.org/resource/Formal_semantics_of_programming_languages +
, http://dbpedia.org/resource/Equational_theory +
|
| http://dbpedia.org/property/bot
|
InternetArchiveBot
|
| http://dbpedia.org/property/date
|
March 2018
|
| http://dbpedia.org/property/fixAttempted
|
yes
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Semantics +
, http://dbpedia.org/resource/Template:Commons_category-inline +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Nobreak +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Dead_link +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Programming_language_semantics +
, http://dbpedia.org/resource/Category:Operational_semantics +
, http://dbpedia.org/resource/Category:Logic_in_computer_science +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Category +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Operational_semantics?oldid=1065625046&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Operational_semantics +
|
| owl:sameAs |
http://sh.dbpedia.org/resource/Operacijska_semantika +
, http://hr.dbpedia.org/resource/Operacijska_semantika +
, http://ar.dbpedia.org/resource/%D8%AF%D9%84%D8%A7%D9%84%D8%A7%D8%AA_%D8%A7%D9%84%D8%AA%D8%B4%D8%BA%D9%8A%D9%84 +
, http://rdf.freebase.com/ns/m.01nsy0 +
, http://www.wikidata.org/entity/Q1930895 +
, http://zh.dbpedia.org/resource/%E6%93%8D%E4%BD%9C%E8%AF%AD%E4%B9%89%E5%AD%A6 +
, http://ja.dbpedia.org/resource/%E6%93%8D%E4%BD%9C%E7%9A%84%E6%84%8F%E5%91%B3%E8%AB%96 +
, http://fr.dbpedia.org/resource/S%C3%A9mantique_op%C3%A9rationnelle +
, https://global.dbpedia.org/id/rYec +
, http://el.dbpedia.org/resource/%CE%9B%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%B9%CE%BA%CE%AE_%CF%83%CE%B7%CE%BC%CE%B1%CF%83%CE%B9%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1 +
, http://dbpedia.org/resource/Operational_semantics +
, http://uk.dbpedia.org/resource/%D0%9E%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D1%81%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0 +
, http://d-nb.info/gnd/4221249-2 +
, http://de.dbpedia.org/resource/Operationelle_Semantik +
, http://tr.dbpedia.org/resource/Operasyonel_semantik +
, http://pt.dbpedia.org/resource/Sem%C3%A2ntica_operacional +
, http://es.dbpedia.org/resource/Sem%C3%A1ntica_operacional +
, http://it.dbpedia.org/resource/Semantica_operazionale +
, http://yago-knowledge.org/resource/Operational_semantics +
, http://sr.dbpedia.org/resource/%D0%9E%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%B0_%D1%81%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0 +
|
| rdf:type |
http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/ontology/TelevisionStation +
, http://dbpedia.org/class/yago/Know-how105616786 +
, http://dbpedia.org/class/yago/Method105660268 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Ability105616246 +
, http://dbpedia.org/class/yago/WikicatFormalMethods +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/WikicatFormalSpecificationLanguages +
|
| rdfs:comment |
La semántica operacional es uno de los enf … 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.nstrucciones de lenguajes de programación.
, La semantica operazionale descrive l'esecu … 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=1uzioni stesso. a=1; b=0 e a=1;b=0 b=0; a=1
, Конотати́вна (операці́йна) сема́нтика – це … Конотати́вна (операці́йна) сема́нтика – це спосіб опису комп’ютерної системи за допомогою послідовностей кроків обчислення. Ці послідовності описують зміст системи. Операційна семантика дуже тісно пов’язана з реалізацією системи мовою програмування, оскільки кроки обчислення описуються на мові деякого обчислювача.Такою мовою може виступати звичайна мова програмування. Мінусом операційної семантики в порівнянні з денотаційною є те що з її допомогою дуже важко доводити якісь твердження про програму, бо для цього потрібно "запустити" її на якомусь ідеалізованому інтерпретаторі. на якомусь ідеалізованому інтерпретаторі.
, Semântica operacional é uma das abordagens … 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.construções das linguagens de programação.
, En informatique, la sémantique opérationne … 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'. dénotationnelle au travers du concept d'.
, Operational semantics is a category of for … 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 include axiomatic semantics and denotatio
, 操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其 … 操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函數程式語言中一段终结性的序列在最后一步的返回程序的值。（由于一个程序可能是非非決定的，一般来说一个程序能够有许多不同的计算步骤和许多不同的返回值。） 操作语义最早被用来定义Algol 68的语义。下面这句话引用修正的ALGOL 68报告： 一个使用严格语言编写的程序的意义是通过一个假设的计算机来执行该程序的组成部分时完成的行动来解释的。（，第二章） 丹纳·司科特是第一个在今天的这个定义下使用操作语义这个概念的（）。以下是司科特关于形式语义学的讲稿，其中他提到了语义的“操作”观点。 把目光注意使得语义在更‘抽象’和更‘清晰’可以，但是假如把操作方面完全忽略的话这个计划毫无用处。（）义在更‘抽象’和更‘清晰’可以，但是假如把操作方面完全忽略的话这个计划毫无用处。（）
, 操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。
, دلالات التشغيل هي فئة من دلالات لغة البرمج … دلالات التشغيل هي فئة من دلالات لغة البرمجة الشكلية، تستخدم للتحقق من بعض الخصائص المرغوبة لبرنامج ما، مثل الصحة أو الأمان أو الأمن، عن طريق إنشاء أدلة من العبارات المنطقية تتعلق بتنفيذها وإجراءاتها، بدلًا من إرفاق معاني رياضية في شروطها (دلالات إشارية). تصنف دلالات التشغيل في فئتين: دلالات التشغيل الهيكلية (أو دلالات الخطوة الصغيرة) تصف شكليًا كيفية حدوث الخطوات الفردية للحوسبة في الأنظمة المعتمدة على الحاسوب؛ مقابل الدلالات الطبيعية (أو دلالات الخطوة الكبيرة) التي تصف كيفية الحصول على النتائج الإجمالية لعمليات التنفيذ. تشمل المناهج توفير الدلالات الشكلية الأخرى للغات البرمجة الدلالات بديهية والدلالات الإشارية.لبرمجة الدلالات بديهية والدلالات الإشارية.
, Die operationelle Semantik ist eine Techni … 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., die von Gordon Plotkin eingeführt wurde.
, Στην επιστήμη υπολογιστών, η λειτουργική σ … Στην επιστήμη υπολογιστών, η λειτουργική σημασιολογία (operational semantics) είναι ένας τρόπος να δίνεται νόημα σε προγράμματα υπολογιστών με μαθηματικά αυστηρό τρόπο. Η λειτουργική σημασιολογία περιλαμβάνει δύο κατηγορίες: η δομική λειτουργική σημασιολογία (structural operatational semantics) ή σημασιολογία μικρού βήματος (small-step semantics) περιγράφει τυπικά πώς συμβαίνουν τα ξεχωριστά βήματα ενός υπολογισμού σε ένα σύστημα, ενώ η φυσική σημασιολογία (natural semantics) ή σημασιολογία μεγάλου βήματος (big-step semantics) περιγράφει πώς προκύπτουν τα τελικά αποτελέσματα των υπολογισμών. Άλλες προσεγγίσεις της τυπικής σημασιολογίας των γλωσσών προγραμματισμού είναι η αξιωματική σημασιολογία και η δηλωτική σημασιολογία. σημασιολογία και η δηλωτική σημασιολογία.
|
| rdfs:label |
دلالات التشغيل
, Semântica operacional
, Λειτουργική σημασιολογία
, Sémantique opérationnelle
, Operational semantics
, Semántica operacional
, 操作语义学
, 操作的意味論
, Semantica operazionale
, Операційна семантика
, Operationelle Semantik
|
