調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Wiktionary英語版
出典：Wiktionary
denotational semantics
出典:『Wiktionary』 (2014/04/20 19:50 UTC 版)
名詞
denotational semantics (uncountable)
- (computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
ウィキペディア英語版
出典：Wikipedia
Denotational semantics
出典:『Wikipedia』 (2011/06/21 08:08 UTC 版)
英語による解説
ウィキペディア英語版からの引用
- 引用
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- Copyright © 2026 CJKI. All Rights Reserved
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのdenotational semantics (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- Wikipedia
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのDenotational semantics (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
