في علوم الكمبيوتر، الدلالات الإشارية (Denotational Semantics) (التي كانت تُعرف في البداية بالدلالات الرياضية أو دلالات سكوت-ستراشي) هي مقاربة لـإضفاء الطابع الرسمي على معاني لغات البرمجة. يتم ذلك عن طريق بناء كائنات رياضية(تُسمى الدلالات) تُوصف معاني التعبيرات من اللغات. تتضمن الأساليب الأخرى التي توفر الدلالات الرسمية للغات البرمجة الدلالات البديهية (Axiomatic Semantics) والدلالات التشغيلية (Operational Semantics).
بشكل عام، تهتم الدلالات الدلالية بإيجاد كائنات رياضية تُسمى المجالات(domains)، والتي تمثل ما تفعله البرامج. على سبيل المثال، قد يتم تمثيل البرامج (أو عبارات البرامج) بواسطة وظائف جزئية (partial functions) أو بواسطة ألعاب(games) بين البيئة والنظام.
أحد المبادئ المهمة في الدلالات الدلالية هو أن الدلالات يجب أن تكون تركيبية (compositional): أي أن معنى (دلالة) عبارة البرنامج يجب أن يُبنى من معاني (دلالات) العبارات الفرعية المكونة لها.