Syntax vs. Semantic• Algorithms + D

Syntax vs. Semantic
• Algorithms + Data Structures = Program
• Syntax : Grammar BNF :> Syntax Error, Compile-Time Error
(Compiler, Interpreter)
• Semantic : Meaning :> Semantic Error, Run-Time Error, Execution
Time Error (bug)


Type Checking
• A type system is a set of types and type constructors (integers, arrays,
classes, etc.) along with the rules that govern whether or not a
program is legal with respect to types (i.e., type checking).
int x = (int) “Hello”; [Yes] C++ [No] Java
• Type checking checks and enforces the rules of the type system to
prevent type errors from happening.
VAR s:String;
s := 1234;

Strongly-typed language
• Strong type checking prevents all type errors from happening. The
checking may happen at compile time or at run time or partly at
compile time and partly at run time.
• A strongly-typed language is one that uses strong type checking.

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

ไวยากรณ์กับความหมาย•โครงสร้างข้อมูล + อัลกอริทึม =โปรแกรม•ไวยากรณ์: ไวยากรณ์ติดต่อ: > ไวยากรณ์ผิดพลาด ข้อผิดพลาดการคอมไพล์(คอมไพเลอร์ ล่าม)•ความหมาย: ความหมาย: > ตรรกข้อผิดพลาด ข้อผิดพลาด การดำเนินการข้อผิดพลาด (bug)การตรวจสอบประเภท• A ชนิดระบบคือ ชุดของประเภทและชนิดของตัวสร้าง (จำนวนเต็ม เรย์เรียน ฯลฯ) พร้อมกับกฎที่ควบคุมหรือไม่มีโปรแกรมถูกกฎหมายเกี่ยวกับชนิด (เช่น ชนิดตรวจสอบ)int x = (int) "Hello" [ใช่] Java c ++ [ไม่]•ชนิดการตรวจสอบตรวจสอบ และบังคับใช้กฎของระบบชนิดป้องกันข้อผิดพลาดชนิดเกิดVAR s:Strings: = 1234ขอพิมพ์ภาษา•ตรวจสอบชนิดแข็งแกร่งป้องกันชนิดผิดทั้งหมดเกิด การการตรวจสอบอาจเกิดขึ้น ที่เวลาคอมไพล์ หรือขณะใช้งาน หรือบางส่วนเวลาคอมไพล์ และบางส่วนที่รันไทม์•ภาษาขอพิมพ์เป็นหนึ่งที่ใช้ในการตรวจสอบประเภทแข็งแกร่ง

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

ไวยากรณ์เทียบกับความหมายของ
โครงสร้าง•อัลกอริทึม + ข้อมูล = โปรแกรมการ
•ไวยากรณ์: ไวยากรณ์ BNF:> ไวยากรณ์ผิดพลาดเวลารวบรวมข้อผิดพลาด
(คอมไพเลอร์, ล่าม)
•ความหมาย: ความหมาย:> ข้อผิดพลาดความหมายข้อผิดพลาดในการดำเนินการ
ข้อผิดพลาดเวลา (ข้อผิดพลาด)


การตรวจสอบชนิด
•ระบบประเภทคือชุดของชนิดและประเภทของการก่อสร้าง (จำนวนเต็มอาร์เรย์เป็น
ชั้นเรียน ฯลฯ ) พร้อมด้วยกฎที่ใช้ควบคุมหรือไม่ว่า
โปรแกรมเป็นกฎหมายที่เกี่ยวกับประเภท (เช่นการตรวจสอบการพิมพ์).
int x = (int) "Hello"; [ใช่] c ++ [ไม่มี] Java
•ประเภทการตรวจสอบการตรวจสอบและบังคับใช้กฎของระบบการพิมพ์เพื่อ
ป้องกันข้อผิดพลาดประเภทเกิดขึ้น.
VAR S: String;
s = 1234;

ภาษาอย่างยิ่งพิมพ์
•การตรวจสอบชนิดที่แข็งแกร่งป้องกันความผิดพลาดทุกประเภทจาก สิ่งที่เกิดขึ้น
การตรวจสอบอาจจะเกิดขึ้นที่รวบรวมเวลาหรือในเวลาทำงานหรือบางส่วนที่
รวบรวมเวลาและบางส่วนในเวลาทำงาน.
•ภาษาขอพิมพ์เป็นหนึ่งที่ใช้การตรวจสอบชนิดที่แข็งแกร่ง

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

วากยสัมพันธ์และอรรถศาสตร์- สูตรโครงสร้างข้อมูล + = รายการ- ไวยากรณ์ : ขาไวยากรณ์ > ข้อผิดพลาดของไวยากรณ์ข้อผิดพลาดเวลารวบรวม( ล่ามผู้แปล )- ความหมาย : ความหมาย : > ข้อผิดพลาดทางตรรก วิ่งข้อผิดพลาดเวลาประหารข้อผิดพลาด ( Bug )การตรวจสอบชนิด- ประเภทของระบบคือชุดของรูปแบบและการก่อสร้างประเภท ( จำนวนเต็ม แถวลำดับเรียน ฯลฯ ) ตามกฎที่ควบคุมหรือไม่โปรแกรมถูกกฎหมายตามชนิด ( เช่น ประเภทการตรวจสอบ )int x = ( INT ) " สวัสดี " ; [ ใช่ ] C + + [ ไม่ ] จาวา- ประเภทการตรวจสอบการตรวจสอบและบังคับใช้กฎของระบบประเภทประเภทป้องกันข้อผิดพลาดเกิดขึ้นvar s : string ;S = 1234 ;ขอพิมพ์ภาษา- ประเภทการตรวจสอบที่แข็งแกร่งป้องกันข้อผิดพลาดประเภททั้งหมดจากเหตุการณ์ ที่การตรวจสอบอาจจะเกิดขึ้นที่รวบรวมเวลาหรือเวลาวิ่งหรือบางส่วนที่รวบรวมเวลาและบางส่วนในเวลาวิ่ง- พิมพ์ภาษามีความสำคัญอย่างยิ่งที่ใช้แรงชนิดตรวจสอบ