번역 용례:

영어 전공 단어를 한글로 번역한 예들입니다. 좋은 예들을 등록해 주십시요.
프로그래밍 언어 및 프로그래밍 시스템 분야입니다.
등록된 예들은 email을 통해 전문가의 심사를 거쳐서 이곳에 남게됩니다.
추가할 단어나 찾고 싶은 단어를 넣으세요.
우리분야의 한글용어
영어강의, 성균관, 패러데이(JPG, PDF) (서울대 대학신문 [관악시평], 3/21/2011)
우리말 논문쓰기의 원칙
공부의 언어 (제4회 ROSAEC 센터 워크샵, 8/27/2010)

리스트

[영어로 정렬]

1차 등식 논리first order equational logic
A-표준형A-normal form
[이름의] 유효범위가 미리 결정되는static scoping
[이름의] 유효범위가 실행 중에 결정되는dynamic scoping
가장 위의 선언top declaration, top-level declaration
가장 일반적인 타입principal type
가지구조tree
갇힌 변수local variable
갇힌 정의local definition
갇힌 프로시져local procedure
value
값 계산을 최대한 미루는lazy evaluation
값 정의value bind
값 중심 스타일functional style
값 중심의 언어functional language, applicative language
값 중심의 프로그래밍functional programming
값 타입의 적응value type enrichment
값으로 호출(하기)call by value
값의 주소로 호출(하기)call by reference
값전달 호출call by value
같은 형태isomorphism
객체object
거래tradeoff
거푸집template
검증기verifier
결정적determinisitc
결정하기binding
결정할 수 없는undecidable
결합 연산자join operator
결합법칙associativity
계산reduction, function application, computation
계산 방식computation strategy, evaluation strategy
계산 전략computation strategy, evaluation strategy
계산과정 전달 변환continuation passing style transform
계산과정을 전달하는continuation passing style
계산되지 않는 코드dead code
계산법evaluation strategy, calculus
계승factorial
계승(階乘)함수factorial function
계층구조, 계층구조 형성하기hierarchy
고차 타입을 갖춘higher-order and typed
고차 함수high-order function
공학적 거래tradeoff
관계 리스트association list
구체적 문법 구조concrete syntax
구현된 속사정이 감추어진 타입abstract type
규범 단항식canonical monomial
글자실string
기계중심의 언어imperative language
기본primitive
기호symbol
기획 환경의 적응environment enrichment
꼬리tail
꼬리재귀호출tail recursive
type
끝재귀호출tail recursive
나머지tail
나열식sequence
낱말term
넘침overflow
네트워크 구축network
네트웍network
논리적 관계logical relation
논리형 의미구조operational semantics
다대다 분석poly-variant analysis
다대일 분석mono-variant analysis
다른용도로 재생된 메모리dangling pointer
다변형polymorphic
다수의 프로그램 흐름을 하나 이상으로 요약하는 분석poly-variant analysis
다수의 프로그램 흐름을 하나로 요약하는 분석mono-variant analysis
다시 쓰기rewrite
다시 쓰기 규칙rewrite rule
다시 쓰기를 이용한 의미 구조rewrite semantics
다중 변종 분석poly-variant analysis
다형polymorphic
다형 타입polymorphic type
다형 함수polymorphic function
다형성polymorphism
다형성을 가지는 분석poly-variant analysis
다형성이 있다be polymorphic
단순 타입simple type
단순한 자기 참조 함수primitive recursive function
단위 조건식atomic proposition
단일성 분석mono-variant analysis
대표 타입principal type
데이타 구성자data constructor
데이타 구성자 접속방안constructor description
데이타 구성자 정의constructor bind
데이타 타입 접속방안data description
도출 원리paramodulation
동강난 메모리dangling pointer
동강난 메모리주소dangling reference
동일화unification
동적 의미구조dynamic semantics
동치만들기 논법equational reasoning
동형성homomorphism
되돌아 올 필요없는 자기호출tail recursive
뒤에 붙는postfix
듬성 듬성 사용하는 데이타 구조sparse data structure
등치만들기 논법equational reasoning
디자인 거래tradeoff
따로따로 포장하기modularity
래티스lattice
레코드 내용label row
리스트list
마지막에 자기자신을 부르는tail recursive
매개변수parameter
머리head
메모리 계측기heap profiler
메모리 도난dangling pointer, dangling reference
메모리 반응side-effect
메모리 반응을 일으키지 않는non-expansive
메모리 수거garbage collection
메모리 재활용garbage collection
메모리 주소reference
메모리 중심의 언어imperative language
메모리 출혈, 메모리 누수memory leak
메모리 함수memory function
메모리에 쓰기assignment
명령형 언어imperative language
명명하기binding
명사식term
모나드monad
모델 검증model checking
모두가 정의된 함수total function
모듈structure, module
모듈 접속signature matching
모듈 접속방안structure description
모듈 정의structure bind
모듈식structure expression
모듈타입signature
모듈타입 정의signature bind
모듈함수functor
모듈함수 타입의 실현instantiation, functor signature instantiation
무더기 패턴or-pattern
묶다bind
묶이지 않은 변수free variable
묶이지 않은 이름free identifier
묶이지 않은 타입 이름free type name
문법grammar
문법 구조syntax
문법 구조 분석syntax analysis
문법구조syntax
문법적인 제약syntactic constraint
물건object
물건 중심의 언어object-oriented language
밑바닥이 튼실한well founded
바꿔치기substitution
바닥bottom
바닥이 갖추어진well founded
반복적iterative
방향성associativity
배열 내용array row
번역 단위compilation unit
번역기compiler
변수variable
불변성질invariant
불완전한incomplete
붙박이built-in
비결정적non-deterministic
빠뜨림이 없음completeness
사전적 순서lexicographic order
사전적 순서 관계lexicographic order
상호운용성interoperability
새로운 사실이 도출되지 않을 때까지 유도하는 증명기saturation prover
새치기infix
생성자constructor
생성적generative
서로 맞물려서 호출하는mutual recursive
서로 호출하는mutual recursive
서술논리descriptive logic, predicate logic
서술식predicate
선언declaration
선택식case expression
선택자selector
설탕 구조를 풀다de-sugar
설탕구조를 녹이다de-sugar
셈법calculus
소극적인 계산법lazy evaluation
속내용 가리기abstraction
속내용을 신경쓰지 않게하기data abstraction, 속내용 감추기
속내용이 감추어진 타입abstract type
속성 문법attribute grammar
수렴성convergence
수렴하는convergent
수반되는 반응side-effect
수행reduction
순서 관계ordered relation
순서 중심의 언어imperative language
숫자digit
expression
식전달 호출call by name
실행interpretation
실행 흐름 분석control flow analysis
실행과정 분할(하기)trace partitioning
실행과정을 생각하는 의미구조operational semantics
실행기interpreter
실행전에 결정되는 이름의 실체static scoping
실행중에 드러나는 이름의 실체dynamic scoping
안전성soundness
안전하게 정량자를 제거하는 기법Skolemization
앞으로 할 계산continuation
앞으로 할 일continuation
앞으로 할 일을 전달하는continuation passing style
앞으로 할 일을 함수로 정리해서 전달해주는continuation passing style
어울리기match
어휘 만드는 방법lexical conventions
언급하다refer
언어를 기술하는 언어metalanguage
언어의 기계어 변환compilation
언커링uncurrying
없어진 메모리dangling pointer
없어진 메모리주소dangling reference
여러 모양의polymorphic
여러 타입을 가지는polymorphic
연산자operator
연역 법칙deduction rule
예외상황exception
예외상황 관리exception handling
예외상황 분석exception analysis
예외상황 접속방안exception description
예외상황 정의exception bind
예외상황 처리exception handling
오류error
올바르게 기초하였다well founded
올바름correctness
완전성completeness
완전한 자기 참조 함수truely recursive function
외부 언어 접속foreign language interface
요약abstraction
요약된 의미구조abstract semantics
우물안 정의local definition
우선순위precedence
원시적 자기참조 정의recursive primitive definition
원시적인 자기 참조 함수primitive recursive function
위주의bound
유한성finiteness
유효범위scope
유효범위가 제한된 변수local variable
유효범위가 제한된 프로시져local procedure
의미 구조semantics
의존성 분석depedency analysis
이름짓다bind
이미 있는built-in
이진binary
인자argument, parameter
인자 타입에 상관없는 함수polymorphic function
인자가 두개인binary
인자가 하나인unary
인자를 통해서만 외부와 소통하게 하는 변환closure conversion
일관성consistency
일단 값을 계산하고 보는strict evaluation, eager evaluation
일반화된 모듈parameterized module
일부만 정의된 함수partial function
일상적인 의미구조operational semantics
임의 패턴wild pattern
잎새leaf
자기 호출 함수recursive function
자기 호출이 마지막인tail recursive
자기자신을 부르는recursive
자기자신을 부르는 함수recursive function
자기참조 없이는 정의할 수 없는 함수truely recursive function
자기호출recursive
자료 구조data structure
자유로운 변수free variable
자유로운 이름free variable, free identifier
자유변수free variable
적극적 계산법strict evaluation
적극적인 계산법evaluation by value, eager evaluation
적시 계산법call by need
접속방안interface
정의하기binding
정의하다bind
정적 의미구조static semantics
정확성correctness
제대로 구성된well-formed
제때 계산법call by need, lazy evaluation
제약식constraint expression
조건 가지conditional branch
조건식 요약, 조건식을 하나의 변수로 요약하기predicate abstraction
조건자predicate
좁히기narrowing
주소전달 호출call by reference
줄이기reduction
중간값을 채워나가는 증명기interpolating prover
지역적인 정의local definition
지연 계산법lazy evaluation
참거짓 자동 판별기, 조건식 자동 검증기decision procedure
참고서reference manual
참조reference
최대한 미루어 계산하는 방법delayed evaluation
추상적인 타입abstract type
추상형abstract type
추상화abstraction
축지법widening
치환 함수substitution
커리방식으로 고차화된 함수curried function
커리형 함수curried function
커리형 함수의 적용curried application
컴파일 단위compilation unit
컴파일러compiler
컴퓨터로는 불가능한undecidable
타입type constructor, type
타입 구성자type constructor
타입 구조type structure
타입 구조의 적응type structure enrichment
타입 규칙typing rule
타입 변수type variable
타입 실현type realization
타입 유추static type synthesis, type inference
타입 접속방안type description
타입 정의type bind
타입 줄임말type abbreviation
타입 체계type system
타입 틀type scheme, scheme
타입 틀의 적응type scheme generalization
타입만들기 규칙typing rule
타입식type expression, type construct
타입을 같게 하는unification
테스터 코드scaffolding code
테스트 발판 코드scaffolding code
튜플tuple
틀맞춤, 규격화normalization
틀에맞는 형태, 규격에맞는 형태normal form
파괴적인destructive
패턴pattern
패턴 맞추기match
패턴과 어울리기pattern match
패턴에 맞추기pattern match
표시적semantics
표준형normal form
표준화normalization
프로그래밍 언어programming language
프로그램 번역compilation
프로그램 분석static analysis
프로그램식expression
프로그램의 기획static semantics
프로그램의 실행dynamic semantics
할일이 딸려있는 문법attribute grammar
함께오는 반응side-effect
함수 언어functional language
함수 적용식function application
함수 중심 스타일functional style
함수 중심의 언어functional language
함수 중심의 프로그래밍functional programming
함수 호출function application
함수 흐름 분석control flow analysis
함수값, 자유변수값이 결정된 함수closure
함수를 주고 받는 함수high-order function
함수식function expression
함수의 인자function argument
함수의 자유 변수를 없애주는 변환closure conversion
함수의 찻수를 하나씩 낮추는curried application
함수흐름 분석closure analysis
핵심 문법구조abstract syntax
행동지침형 언어imperative language
헛 메모리 주소dangling reference, dangling pointer
type
형식인자formal parameter
형태 문법shape grammar
호출application
환경environment
환경 함수environment function