For having a clear influence on met

For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithm

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

สำหรับการมีอิทธิพลชัดเจนในวิธีการ สำหรับการสร้างซอฟต์แวร์ที่มีประสิทธิภาพ และเชื่อถือได้ และช่วยให้พบ subfields สำคัญต่อไปนี้ของวิทยาการคอมพิวเตอร์: ทฤษฎีการแยกวิเคราะห์ ความหมายของการเขียนโปรแกรมภาษา การตรวจสอบโปรแกรมอัตโนมัติ การสังเคราะห์โปรแกรมอัตโนมัติ และการวิเคราะห์ของอัลกอริทึม

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

สำหรับการมีอิทธิพลที่ชัดเจนเกี่ยวกับวิธีการสร้างซอฟต์แวร์ที่มีประสิทธิภาพและเชื่อถือได้และสำหรับช่วยในการพบฟิลด์ต่อไปที่สำคัญของวิทยาการคอมพิวเตอร์: ทฤษฎีของการแยกวิเคราะห์ความหมายของภาษาโปรแกรมการตรวจสอบโปรแกรมอัตโนมัติสังเคราะห์โปรแกรมอัตโนมัติและการวิเคราะห์ ขั้นตอนวิธีการ

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

สำหรับการล้างอิทธิพลต่อวิธีการสร้างที่มีประสิทธิภาพและเชื่อถือได้ซอฟต์แวร์ และช่วยให้พบ subfields สําคัญของคอมพิวเตอร์ ดังนี้ ทฤษฎีการ , อรรถศาสตร์ของภาษาโปรแกรม , การตรวจสอบโปรแกรมอัตโนมัติ , โปรแกรมสังเคราะห์โดยอัตโนมัติและการวิเคราะห์อัลกอริทึม