| rdfs:comment
| - في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب. يعطى علم الدلالة الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة. (ar)
- Sémantika programovacích jazyků je v obor zabývající se důsledným matematickým popisem významu programovacího jazyka. Zhodnocuje význam syntakticky platných řetězců v daném programovacím jazyce, včetně jejich výpočtu. V případě ohodnocování syntakticky neplatných řetězců, není výpočet proveden. Sémantika popisuje procesy, které řídí počítač při vykonávání programu v daném programovacím jazyce. Například tím, že popisuje vztah mezi vstupem a výstupem programu, nebo popisem jak program poběží na určité platformě, tedy vytvořením modelu výpočtu. (cs)
- En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. (fr)
- In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will be executed on a certain platform, hence creating a model of computation. (en)
- プログラム意味論（プログラムいみろん、英: program semantics）とは、計算機科学（特に理論計算機科学と分類されることもある）の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。 (ja)
- Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware. A semântica é complementar à sintaxe de programas de computador, que se preocupa em descrever as estruturas de uma linguagem de programação. A necessidade de uma semântica formal (matemática) para linguagens de programação justifica-se, pois:
* Pode revelar ambiguidades na definição da linguagem (o que uma descrição informal não permitiria revelar);
* É uma base para implementação (síntese), análise e verificação formal. (pt)
- Семантика в теорії програмування — розділ, що вивчає математичне значення мови програмування та моделі обчислень. Формальна семантика мови задається математичною моделлю яка описує обчислення можливі в мові . (uk)
- Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования. (ru)
- 在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。 语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。 形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 提供程序设计语言的形式语义的方法很多，其中主要类别有：
* 指称语义学，着重于语言的执行结果而非过程，包括域理论；
* 操作语义学，例如抽象机（象SECD抽象机），着重于描述语言的过程；
* 公理语义学，如 和。 (zh)
- Στη θεωρητική πληροφορική, η τυπική σημασιολογία (formal semantics) είναι το πεδίο που ασχολείται με την αυστηρή μαθηματική μελέτη της σημασίας των γλωσσών προγραμματισμού και των υπολογιστικών μοντέλων. Η τυπική σημασιολογία μιας γλώσσας μπορεί να δοθεί από ένα μαθηματικό μοντέλο που περιγράφει τους πιθανούς υπολογισμούς που περιγράφονται από τη γλώσσα. Υπάρχουν πολλές προσεγγίσεις στην τυπική σημασιολογία, οι οποίες ανήκουν στις εξής τρεις μεγάλες κλάσεις: Κάποιες παραλλαγές της τυπικής σημασιολογίας περιλαμβάνουν τα εξής: Το πεδίο της τυπικής σημασιολογίας περιλαμβάνει όλα τα ακόλουθα: (el)
- Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen. Dabei kann sowohl die Bedeutung in bestehenden Sprachen untersucht als auch die Bedeutung in neu geschaffenen Sprachen festgelegt werden. In Abgrenzung zur Semantik im allgemeinen Sinn, wie sie vor allem in Philosophie und Linguistik betrieben wird, arbeitet die formale Semantik mit rein formalen, logisch-mathematischen Methoden. Die moderne formale Semantik hat ihren Ursprung in Arbeiten von Alfred Tarski, Richard Montague, Alonzo Church und anderen. (de)
- En la Teoría de lenguajes de programación, la semántica es el campo que tiene que ver con el estudio riguroso desde un punto de vista matemático del significado de los lenguajes de programación. Esto se hace evaluando el significado de cadenas sintácticamente legales definidas por un lenguaje de programación específico, mostrando el proceso computacional involucrado. En el caso de que la evaluación fuera de cadenas sintácticamente ilegales, el resultado sería no-cómputo. La semántica describe el proceso que una computadora sigue cuando ejecuta un programa en ese lenguaje específico. Esto se puede mostrar describiendo la relación entre la entrada y la salida de un programa, o una explicación de cómo el programa se ejecutará en cierta plataforma, y consecuentemente creando un modelo de compu (es)
- Nel campo dell'informatica teorica, il termine semantica formale riguarda i modelli matematici che definiscono formalmente i linguaggi di programmazione o, più generalmente, la computazione stessa. Esistono molteplici approcci allo studio di queste semantiche; i quali ricadono in 3 categorie principali: (it)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[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)