30
ค่าคงที่ในการเขียนโปรแกรมเป็นคำจำกัดความที่มีค่าคงที่ตลอดการทำงานของโปรแกรม ตัวอักษรในภาษาส่วนใหญ่เป็นค่าคงที่เช่น ในรูปแบบการเขียนโปรแกรมแบบอ้างอิงโปร่งใสทุกคำจำกัดความเป็นค่าคงที่ พื้นที่จัดเก็บข้อมูลที่ผ่านการรับรองคุณสมบัติ (ออบเจ็กต์, ฟิลด์, ตัวแปร, พารามิเตอร์) คือพื้นที่ที่ "ไม่เคยเปลี่ยนแปลง" จึงทำให้สามารถเพิ่มประสิทธิภาพของตัวสร้างโค้ดเสริมและตรวจสอบความถูกต้องของโปรแกรมเพิ่มเติมได้