대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
프로그래밍 언어 이론
언어
주시
편집
이 분류에 대해서는
프로그래밍 언어 이론
문서를 참고하십시오.
하위 분류
다음은 이 분류에 속하는 하위 분류 10개 가운데 10개입니다.
ㄹ
람다 대수
(1 C, 7 P)
ㅇ
프로그래밍 언어 연구자
(13 P)
유형 이론
(3 C, 21 P)
ㅈ
재작성 시스템
(1 C, 6 P)
ㅋ
컴파일러 구성
(3 C, 24 P)
컴파일러 이론
(4 P)
ㅍ
프로그래밍 언어
(37 C, 49 P)
프로그래밍 언어 의미론
(3 P)
프로그램 변환
(2 C, 1 P)
프로그램 분석
(4 C, 10 P)
"프로그래밍 언어 이론" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 7개 가운데 7개입니다.
ㄱ
구문 오류
ㄴ
논리 오류
ㅂ
부작용 (컴퓨터 과학)
ㅇ
일급 함수
ㅊ
참조 투명성
ㅋ
커리-하워드 대응
ㅌ
튜링 완전