Gyuhang Shimplto001.hashnode.dev·Sep 16, 2024Soundness of Programming LanguagesSoundness and Completeness at the Programming Language Level Soundness in programming languages is a concept that represents the stability and reliability of a language's type system. In other words, if a language's type system can catch all type-rel...soundness-and-completeness
Gyuhang Shimplto001.hashnode.dev·Sep 16, 2024Soundness of Programming Languages (Korean)Programming Language 차원의 Soundness 와 Completeness Programming 언어의 Soundness 는 언어의 Type System 의 안정성과 신뢰성을 나타내는 개념입니다. 즉, 언어의 Type System 이 Program 의 Type 관련 오류를 모두 잡아낼 수 있다면, 그 언어는 “Sound 하다” 라고 합니다. 이는 Programming Language 가 제공하는 Satety 와 Correct...32 readsOCalm
Aditya Kumar Singhsaditya9211.hashnode.dev·May 12, 2023Understanding NP-Completeness: Unlocking the Secrets of Intractable ProblemsIn the field of computer science, there exists a class of problems that pose significant challenges to solve efficiently. These problems, known as NP-complete problems, have captivated researchers for decades due to their inherent complexity. Underst...Zero Knowledge ProofsComplexity