PLDB
assertion
- 보장
- 단언
- 주장
- 필수조건
- 꼭
- 이랴해
댓글 8개
HL
Heewon Lee·보장·9일 전
코딩 중 assert 같은 선언문이나 프로그램 분석의 assertion checking 등의 문맥에서, 작성자가 해당 성질은 무조건 성립하므로 이후 작업에서는 공리처럼 다룰 수 있다는 의도를 내포한다고 생각합니다. 따라서 작성자가 제공하는 "보장"을 제안합니다.
이
이광근/YiKwangkeun·필수조건·2년 전
필수조건을 제안합니다.
이밝나
이름이 밝혀진 나무늘보·꼭 ·3년 전
꼭 를 제안합니다.
이
이광근/YiKwangkeun·이랴해·3년 전
이래야해 라고 말하기 이니까요. 신조어입니다
JC
Jaemin Choi·주장 ·3년 전
주장 를 제안합니다.
이
이광근/YiKwangkeun·3년 전
단언 주장 둘 다 뭔가 아닌것같죠? 단순히 익숙하지않은 문제일까요? 프로그램 이지점에서 이 성질이어야해/당연히 이래야한다구 뭐 이런 느낌의 문장인데요.
이
이광근/YiKwangkeun·3년 전
야해문, 이래야해, 이랴해 <- 요정도 신조어도 좋네요
이
이광근/YiKwangkeun·단언 ·3년 전
단언을 제안합니다.