Soundness of Programming Languages
The way of writing concise, robust and secure code
Sep 16, 202413 min read74
Command Palette
Search for a command to run...
#rust
Articles tagged with #rust
Functional Programming in Java
The concise and elegant way of development
Sep 16, 202417 min read16
Soundness of Programming Languages (Korean)
Programming Language 차원의 Soundness 와 Completeness Programming 언어의 Soundness 는 언어의 Type System 의 안정성과 신뢰성을 나타내는 개념입니다. 즉, 언어의 Type System 이 Program 의 Type 관련 오류를 모두 잡아낼 수 있다면, 그 언어는 “Sound 하다” 라고 합니다. 이는 Programming Language 가 제공하는 Satety 와 Correct...
Sep 16, 202413 min read54