| dbo:abstract
|
- Στην επιστήμη των υπολογιστών, η δηλωτική σημασιολογία (denotational semantics) είναι μια προσέγγιση για την τυποποίηση της σημασίας των γλωσσών προγραμματισμού μέσω της κατασκευής μαθηματικών αντικειμένων (που ονομάζονται δηλώσεις, denotations), τα οποία περιγράφουν τις σημασίες των εκφράσεων των γλωσσών. Άλλες προσεγγίσεις της τυπικής σημασιολογίας των γλωσσών προγραμματισμού είναι η αξιωματική σημασιολογία (axiomatic semantics) και η λειτουργική σημασιολογία (operational semantics). Η δηλωτική σημασιολογία, γενικά, ασχολείται με την εύρεση μαθηματικών αντικειμένων που ονομάζονται πεδία (domains), που αναπαριστούν αυτό που κάνει ένα πρόγραμμα. Για παράδειγμα, κάποια προγράμματα (ή φράσεις από προγράμματα) μπορούν να αναπαρασταθούν από μερικές συναρτήσεις, από σενάρια διαγραμμάτων συμβάντων από ή από παίγνια (games) μεταξύ του περιβάλλοντος και του συστήματος: όλα αυτά είναι γενικά παραδείγματα πεδίων. Μια σημαντική αρχή της δηλωτικής σημασιολογίας είναι ότι η σημασιολογία πρέπει να είναι : η σημασιολογία μιας φράσης του προγράμματος πρέπει να κατασκευάζεται από τις δηλώσεις των υποφράσεών της. (el)
- Die denotationelle Semantik (Funktionensemantik; englisch: denotational semantics) ist in der Theoretischen Informatik eine von mehreren Möglichkeiten, eine formale Semantik für eine formale Sprache zu definieren. Die formale Sprache dient hierbei als mathematisches Modell für eine echte Programmiersprache. Somit kann die Wirkungsweise eines Computerprogramms formal beschrieben werden. Konkret kann man etwa bei einer gegebenen Belegung für Eingabevariablen das Endergebnis für eine Menge von Ausgabevariablen mit der denotationellen Semantik berechnen. Es sind auch allgemeinere Korrektheitsbeweise möglich. Bei der denotationellen Semantik werden partielle Funktionen verwendet, die Zustandsräume aufeinander abbilden. Ein Zustand ist hier eine Belegung von Variablen mit konkreten Werten. Die denotationelle Semantik wird induktiv über die syntaktischen Anweisungskonstrukte der formalen Sprache definiert. Abhängig von der gewünschten Programmsemantik werden die partiellen Funktionen gewählt. Neben der denotationellen Semantik gibt es auch die operationelle Semantik und die axiomatische Semantik, um die Semantik von formalen Sprachen zu beschreiben. (de)
- In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics. Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functions or by games between the environment and the system. An important tenet of denotational semantics is that semantics should be compositional: the denotation of a program phrase should be built out of the denotations of its subphrases. (en)
- En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. Cette discipline a été introduite par Christopher Strachey et Dana Scott. En général, la sémantique dénotationnelle utilise des techniques de programmation fonctionnelle pour décrire les langages informatiques, les architectures et les programmes. Les mathématiques utilisées en sémantique dénotationnelle font partie de ce qu'on appelle maintenant la théorie des domaines. (fr)
- 計算機科学における表示的意味論（ひょうじてきいみろん、英: Denotational Semantics）とは、プログラミング言語の意味を形式的に記述する形式意味論（プログラム意味論）の一つの枠組みである。初期には「数理的意味論」（mathematical semantics）、「スコット＝ストレイチー意味論」（Scott–Strachey semantics）のようにも呼ばれた。表示的意味論では、記述された言語の各語句に、表示的意味（denotation）、すなわちプログラム全体の意味に対してその中に現れる各語句が担う役割を表す数学的対象（object）、を与える方法をとる。 表示的意味論の起源は、1960年代のクリストファー・ストレイチーやデイナ・スコットの研究である。ストレイチーやスコットが開発した本来の表示的意味論は、プログラムの表示（意味）を入力を出力にマッピングする関数に変換するものである。後にこれはプログラムの表示（意味）を定義するには非力であることが証明され、例えば再帰定義関数・データ構造を表現できないことが判明した。これを解決するため、スコットはより汎用的な領域理論に基づいた表示的意味論を提案した。その後、研究者らはPower Domainsに基づいた手法を提案し、並行システムの意味論の困難さを克服する努力をしている。 (ja)
- In informatica, la semantica denotazionale è un approccio per formalizzare il significato dei linguaggi di programmazione, costruendo oggetti matematici (chiamati denotazioni) i quali descrivono i significati delle espressioni del linguaggio. Altri approcci tesi a fornire una semantica formale dei linguaggi di programmazione includono la e la semantica operazionale. La semantica denotazionale ebbe origine negli anni sessanta, grazie al lavoro di Christopher Strachey e Dana Scott. Negli sviluppi originali di Strachey e Scott la semantica denotazionale fornisce la denotazione (significato) di un programma come una funzione che associa l'input all'output. Per dare una denotazione dei programmi definiti ricorsivamente, Scott propose di lavorare con funzioni continue tra domini, in particolare tra . I lavori di ricerca continuano tuttora, studiando un'appropriata semantica denotazionale per aspetti dei linguaggi di programmazione quali la sequenzialità, la concorrenza ed il non determinismo. In linea di massima, la semantica denotazionale si occupa di trovare oggetti matematici che rappresentino cosa fanno i programmi. Insiemi di tali oggetti vengono chiamati domini. Ad esempio i programmi (o parti di programmi) possono essere rappresentati da funzioni parziali. Un elemento importante della semantica denotazionale è che "la semantica dovrebbe essere composizionale": la denotazione di un'istruzione in un programma dovrebbe essere costruita a partire dalle denotazioni delle sue sotto-istruzioni. Un semplice esempio: il significato di "3 + 4" è determinato dai significati di "3", "4" e "+". La semantica denotazionale fu sviluppata inizialmente come framework per i programmi funzionali e sequenziali, come funzioni matematiche che associano l'input all'output. (it)
- 컴퓨터 과학에서 표시론적 의미론(Denotational semantics)은 언어에서 수식의 뜻을 표현하는 수학적인 기호들로부터 만들어진 프로그래밍 언어의 의미를 형식화하는 접근법이다. 다른 접근법은 (Axiomatic semantics)과 (Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다. 간단히 말하자면, 표시론적 의미론이란 프로그램이 무엇을 하는지 나타내는 도메인이라는 수학적 객체를 찾는 것과 관련이있다. 예를 들어, 프로그램(혹은 프로그램 구)은 부분 함수(Partial Function)로 표현되거나 어떤 환경과 시스템 간의 게임으로 표시될 수 있다. 표시론적 의미론의 중요한 교리는 의미론은 구성적이어야 한다는 것이다. 프로그램 구문의 표기는 그 구 문구의 표기로부터 만들어져야 한다. (ko)
- Semântica denotacional designa uma abordagem de semântica formal. 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. Nesta abordagem, os significados são modelados por objetos matemáticos, geralmente funções semânticas definidas composicionalmente, que representam o efeito de executar uma estrutura. Na semântica denotacional o efeito da computação interessa mais que como ela é produzida. As funções semânticas usadas são funções que mapeiam estruturas da linguagem para funções parciais que representam o comportamento dos programas. Daí vem o nome da abordagem, denotacional, indicando que as funções semânticas denotam os significados das estruturas das linguagens de programação. A abordagem faz uso de cálculo lambda para modelar as funções. A exigência de composicionalidade destas funções significa que elas podem ser compostas para representar o comportamento de comandos compostos. Por exemplo, o significado do comando de composição é dado por , e é a operação de composição de funções. A semântica denotacional modela o significado de um laço de repetição usando pontos fixos (veja ). Um ponto fixo de um funcional é dado por . A abordagem denotacional foi proposta por Scott e Strachey, na monografia clássica "Toward a mathematical semantics for computer languages". (pt)
- Денотати́вна сема́нтика — це підхід до формалізації семантики програмних систем за допомогою математичних об'єктів, які описують зміст системи. Кожній конструкції мови програмування відповідає якась математична інтерпретація. Денотаційна семантика виникла в роботах та Дана Скотта на початку 60-х років минулого століття. У їх ранніх роботах денотат (зміст) комп'ютерної системи інтерпретувався функцією яка відображає вхідні дані у вихідні. Пізніше Скотт перейшов до денотативної семантики заснованої на доменах. Опис системи у денотативній семантиці здійснюється за допомогою математичних об'єктів та абстрагований від її реалізації конкретною мовою програмування. Важливим аспектом денотативної семантики є принцип композиційності, за яким денотат програми будується з денотатів її складових частин за допомогою операції композиції. До того як Еугеніо Моджі відкрив що побічні ефекти можна описувати монадами, денотаційна семантика не підходила для опису таких програм, які щоправда дуже просто описувались операційною семантикою. (uk)
- 在计算机科学中，指称语义（英語：Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和。 指称语义起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初开发的时候，指称语义把计算机程序的指称(意义)解释为映射输入到输出的函数。后来证明对于允许包含递归定义的函数和数据结构，这样的元素的程序的指称(意义)定义太受限制了。为了解决这个困难，Scott 介入了基于域的指称语义的一般性方法。后来的研究者介入了基于的方法，来解决的语义的问题。 粗略的说，指称语义关注找到代表程序所做所为的数学对象。这种对象的搜集叫做域。例如，程序(或程序段)可以被偏函数，或演员事件图想定，或用环境和系统之间的博弈表示: 它们都是域的一般性例子。 指称语义的一个重要原则是“语义应当是复合性的”: 程序段的指称应当建立自它的子段的指称。最简单的例子是: “3 + 4”的意义确定自“3”、“4”和“+”的意义。 指称语义最初被开发为把函数式和顺序式程序建模为映射输入到输出的数学函数的框架。本文第一节描述在这个框架内开发的指称语义。后续章节处理多态、并发等问题。 (zh)
|
| rdfs:comment
|
- 計算機科学における表示的意味論（ひょうじてきいみろん、英: Denotational Semantics）とは、プログラミング言語の意味を形式的に記述する形式意味論（プログラム意味論）の一つの枠組みである。初期には「数理的意味論」（mathematical semantics）、「スコット＝ストレイチー意味論」（Scott–Strachey semantics）のようにも呼ばれた。表示的意味論では、記述された言語の各語句に、表示的意味（denotation）、すなわちプログラム全体の意味に対してその中に現れる各語句が担う役割を表す数学的対象（object）、を与える方法をとる。 表示的意味論の起源は、1960年代のクリストファー・ストレイチーやデイナ・スコットの研究である。ストレイチーやスコットが開発した本来の表示的意味論は、プログラムの表示（意味）を入力を出力にマッピングする関数に変換するものである。後にこれはプログラムの表示（意味）を定義するには非力であることが証明され、例えば再帰定義関数・データ構造を表現できないことが判明した。これを解決するため、スコットはより汎用的な領域理論に基づいた表示的意味論を提案した。その後、研究者らはPower Domainsに基づいた手法を提案し、並行システムの意味論の困難さを克服する努力をしている。 (ja)
- 컴퓨터 과학에서 표시론적 의미론(Denotational semantics)은 언어에서 수식의 뜻을 표현하는 수학적인 기호들로부터 만들어진 프로그래밍 언어의 의미를 형식화하는 접근법이다. 다른 접근법은 (Axiomatic semantics)과 (Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다. 간단히 말하자면, 표시론적 의미론이란 프로그램이 무엇을 하는지 나타내는 도메인이라는 수학적 객체를 찾는 것과 관련이있다. 예를 들어, 프로그램(혹은 프로그램 구)은 부분 함수(Partial Function)로 표현되거나 어떤 환경과 시스템 간의 게임으로 표시될 수 있다. 표시론적 의미론의 중요한 교리는 의미론은 구성적이어야 한다는 것이다. 프로그램 구문의 표기는 그 구 문구의 표기로부터 만들어져야 한다. (ko)
- Στην επιστήμη των υπολογιστών, η δηλωτική σημασιολογία (denotational semantics) είναι μια προσέγγιση για την τυποποίηση της σημασίας των γλωσσών προγραμματισμού μέσω της κατασκευής μαθηματικών αντικειμένων (που ονομάζονται δηλώσεις, denotations), τα οποία περιγράφουν τις σημασίες των εκφράσεων των γλωσσών. Άλλες προσεγγίσεις της τυπικής σημασιολογίας των γλωσσών προγραμματισμού είναι η αξιωματική σημασιολογία (axiomatic semantics) και η λειτουργική σημασιολογία (operational semantics). (el)
- In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics. (en)
- Die denotationelle Semantik (Funktionensemantik; englisch: denotational semantics) ist in der Theoretischen Informatik eine von mehreren Möglichkeiten, eine formale Semantik für eine formale Sprache zu definieren. Die formale Sprache dient hierbei als mathematisches Modell für eine echte Programmiersprache. Somit kann die Wirkungsweise eines Computerprogramms formal beschrieben werden. Neben der denotationellen Semantik gibt es auch die operationelle Semantik und die axiomatische Semantik, um die Semantik von formalen Sprachen zu beschreiben. (de)
- En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. Cette discipline a été introduite par Christopher Strachey et Dana Scott. (fr)
- In informatica, la semantica denotazionale è un approccio per formalizzare il significato dei linguaggi di programmazione, costruendo oggetti matematici (chiamati denotazioni) i quali descrivono i significati delle espressioni del linguaggio. Altri approcci tesi a fornire una semantica formale dei linguaggi di programmazione includono la e la semantica operazionale. La semantica denotazionale fu sviluppata inizialmente come framework per i programmi funzionali e sequenziali, come funzioni matematiche che associano l'input all'output. (it)
- Semântica denotacional designa uma abordagem de semântica formal. 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. Nesta abordagem, os significados são modelados por objetos matemáticos, geralmente funções semânticas definidas composicionalmente, que representam o efeito de executar uma estrutura. Na semântica denotacional o efeito da computação interessa mais que como ela é produzida. (pt)
- 在计算机科学中，指称语义（英語：Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和。 指称语义起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初开发的时候，指称语义把计算机程序的指称(意义)解释为映射输入到输出的函数。后来证明对于允许包含递归定义的函数和数据结构，这样的元素的程序的指称(意义)定义太受限制了。为了解决这个困难，Scott 介入了基于域的指称语义的一般性方法。后来的研究者介入了基于的方法，来解决的语义的问题。 粗略的说，指称语义关注找到代表程序所做所为的数学对象。这种对象的搜集叫做域。例如，程序(或程序段)可以被偏函数，或演员事件图想定，或用环境和系统之间的博弈表示: 它们都是域的一般性例子。 指称语义的一个重要原则是“语义应当是复合性的”: 程序段的指称应当建立自它的子段的指称。最简单的例子是: “3 + 4”的意义确定自“3”、“4”和“+”的意义。 (zh)
- Денотати́вна сема́нтика — це підхід до формалізації семантики програмних систем за допомогою математичних об'єктів, які описують зміст системи. Кожній конструкції мови програмування відповідає якась математична інтерпретація. Важливим аспектом денотативної семантики є принцип композиційності, за яким денотат програми будується з денотатів її складових частин за допомогою операції композиції. До того як Еугеніо Моджі відкрив що побічні ефекти можна описувати монадами, денотаційна семантика не підходила для опису таких програм, які щоправда дуже просто описувались операційною семантикою. (uk)
|
