reliance : 의존, 의지 (=dependence)
terminology : 용어 (=term)
universal : 일반적인, 보편적인, 전 세계적인
semantic : 의미의, 의미론의
시멘틱 태그로하면 코드를 봤을때 태그이름에 의미가 있어 더욱 이해하기 쉽다
halting : 자꾸 끊어지는[중단되는], 멈칫거리는 (=hesitant)
halting problem 정지문제 - '판정불가능함'이 증명된 문제
prose : 산문 : 정형에 의한 제약이 없는 보통 문장
specific : 구체적인, 특정한
specification 설명서, 사양 (컴퓨터 사양), 규격
imperative : 반드시 해야 하는, 긴요한 (=vital)
imperative language 명령형 언어 - c, java, javascript...
declarative language 선언형 언어 - html, css, sql...
Axiomatic : 자명한
extend : 확장하다
public class Child extends Parents(){}
inference : 추리, 추론
consequence : 결과
Consequencㅊ
https://nsmchan.tistory.com/41