Static semantics is more on the leg

Static semantics is more on the legal forms of programs (syntax rather semantics) and is only indirectly related to the meaning of the programs during execution. Static semantics is so named because the analysis required to check these specifications can be done at compile time. In many cases, the semantic rules of language state its type constraints.

ผลลัพธ์ (ไทย) 1:

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

ผลลัพธ์ (ไทย) 2:

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

ผลลัพธ์ (ไทย) 3:

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