[프로그래밍언어론] 6~13장 용어 정리

 

정의 싹 다 암기하기 (주관식)
ex) qualification의 정의를 써라.

13장, 10장, 8장, 7장, 6장 순

 

모니터(monitor)

자원 요청을 제어하기 위하여, 또는 병렬 프로세스들이 한번에 한 개씩 이용할 수 있게 자원에 접근하도록, 자료 객체를 다룰 수있는 연산들의 집합을 가진 공유 자료 객체.

 

세마포어(semaphore)

두 개 이상의 태스크가 사용 가능한 자원에 접근을 큐로써 제어하기 위한 자료구조임.
그러나 어느 한 시간에 오직 하나의 태스크만이 사용가능함.

 

임계구역(critical section)

어떤 태스크의 일부분으로 이 부분을 실행 시에는 이 태스크의 다른 부분이나 다른 태스크들의 실행이 금지된다.

 

코루틴(coroutines)

어떤 실행 후에 다시 호출되었을 때, 이전의 실행이 반환된 위치에서 실행을 제거하는 부프로그램

 

포괄적인(generic)

언어 구성자의 속성으로 강자료형의 규칙에 따라서 적용 가능한 자료형을 위한 실언어 구성자를 생성하기 위한 틀로 제공함.

 

중복 정의(overloading)

하나의 어휘 토큰에 두 개 이상의 의미를 할당하다.

 

이명(aliasing)

언어 구성자에 대한 대체 식별자

 

부작용(side effect)

식, 문장, 부프로그램의 실행에 의해 야기되는 어떤 간접적인 결과

 

값 호출(call by value)

호출 모듈이 넘겨질 매개변수의 실제값을 호출된 모듈에 제공하는 호출

 

참조 호출 기법(call by reference, address, location)

호출 묘듈이 넘겨질 매개변수의 주소를 호출된 모듈에 제공하는 호출

 

형식 매개변수(formal parameter)

어떤 모듈에서 선언하여 정의된 매개변수인데, 호출 또는 포괄 인스턴스화 될 때 실매개변수와 결합됨.

 

실매개변수(actual parameter)

식,식별자 또는 이외의 언어 구성자들로서 된 매개변수인데 호출 또는 포괄 인스턴스화 될 때, 이들 자료객체와 대응된 선언과의 결합을 위해 사용됨.

 

함수(function)

불려진 곳으로 반환되어지는 자료값을 생성하는 부프로그램, 통상 형식매개변수를 가진다.

 

이름 매개변수 결합(named parameter association)

부프로그램 호출에서, 매개변수 결합을 이루기 위해 실매개변수에 대응하는 형식 매개변수의 명시적인 이름을 부여하는 방법

 

위치 매개변수 결합(positional parameter association)

부프로그램 호출에서, 부프로그램의 선언에서 주어진 위치에 따라 형식 매개변수와 실매개변수를 대응시키는 방법

 

매개변수 결합(parameter association)

호출 또는 포괄 인스턴스화 할 때 형식 매개변수와 그에 대응되는 실매개변수 간의 결합

 

매개변수(parameter)

모듈 간에 자료 객체나 자료값을 넘겨주기 위한 언어 구성자

 

부프로그램(subprogram)

식별자를 가지고있고 특정 언어 구성자를 이용하여 다른 모듈에 의해서 호출되거나, 다른 프로그램에서의 제어 흐름 속으로 호출되는 모듈로서, 그 모듈에서부터 제어 흐름은 호출한 프로그램이나 모듈로 변환됨.

 

정적 영역 규칙(static scope rule)

선언문이 선언된 곳을 둘러싼 모듈 중 가장 안쪽 모듈을 찾아 영역을 결정하는 영역

 

복합문(compound statement)

하나 이상의 문장들을 포함하고 있는 문장으로, 단순문과 구문적으로 동등하게 취급될 수 있다.

 

식별자(identifier)

언어 구성자를 명명하는 어휘 토큰

 

이름 한정(qualification)

프로그램의 어느 영역 내부에 있는 언어 구성자를 참조하기 위한 수단인데, 해당 부분과 그 부분의 언어 구성자에 선언된 식별자를 참조함으로써 가능함.

 

수명(lifetime)

언어 구성자가 존재하는 동안을 가리키는 실행시간의 부분

 

가시성(visibility)

모듈의 지정한 위치에서 특정 언어 구성자를 참조할 수 있게 하는 능력.
프로그램에서 특정 언어 구성자를 참조할 수 있는 부분

 

동적 영역 규칙(dynamic scope rule)

어떤 모듈이 수행 중 자신이 가지고 있지 않은 선언들을 요구할 때, 그 선언들을 가진 다른 모듈들의 전체 또는 일부가 미리 활성화되어서 생성된 영역

 

전역(global)

프로그램의 모든 모듈을 영역으로 하는 언어 구성자의 속성

 

지역(local)

해당 언어 구성자가 선언된 선언구역만을 영역으로 하는 언어 구성자의 속성

 

영역(scope)

프로그램 내에서 어떤 선언이 유효한 부분

 

파생 자료형(derived type)

자료값과 연산들이 기존의 원 자료형에서 복사된 자료형

 

부분 자료형(sub type)

다른 자료형에 대한 하나 이상의 제약조건에 의해 그 자료형으로부터 파생된 자료형

 

자료형 변환(type conversion)

한 자료형의 자료값 표현을 다른 자료형의 자료값 표현으로 변환하는 것, 보통 다른 자료형과의 타입이 맞지 않음을 피하기 위해 수행

 

포인터

자신의 자료값이 다른 자료 객체의 주소가 되는 자료 객체

 

판별자(discriminant)

주어진 가변 레코드에서 사용되는 자료구조를 가리키는 매개변수와 유사한 언어 구성자

 

기변부(variant part)

자료 객체들로 구성된 레코드의 한 부분으로, 해당 자료구조나 선언된 자료형이 변할 수 있는 부분

 

레코드형

구성요소들이 필드형 또는 다른 레코드형인 복합형

 

배열 슬라이스

배열에서, 임의 한 차원에서의 연속적인 원소들로 구성되어진 부분

 

배열형

구성원들이 동일한 자료형인 복합형.
각 요소 또는 적정 그룹의 요소들이 다른 요소들과 독립적으로 임의로 참조될 수 있는, 배열형의 인스턴스인 집합체

 

집합체(aggregate)

구조화된 구성 요소들의 모임인데, 그 구성 요소들은 동일하거나 상이한 다른 자료구조들을 가질 수 있으며 그 모임자체의 자료구조 또한 상응하는 혼합형의 부분요소가 될 수 있다.

 

다형성(polymorphism)

다양한 객체들이 동일한 메시지에 다르게 응답하는 능력.

 

스칼라형

각각의 인스턴스가 스칼라인 자료형

 

강자료형

언어 구성자에서 쓰인 피연산자들이 해당 연산에 적법한 자료형이기를 요구하거나 연산이 수행되기 전에 명시적인 형 변환을 수행하도록 요구하는.

 

자료형(data type)

명시된 자료 구조를 갖는 자료 객체들의 정의된 집합과, 어떤 연산의 수행 중 그 자료객체가 피연산자로 쓰이도록 허용된 연산들의 집합

 

goto문

단순문으로서 실행순서 내의 한 장소에서, 통상 레이블로 식별되는 목적문으로 프로그램 제어를 명시적으로 전이하도록 기술함.

 

레이블(label)

프로그램 내의 위치를 나타내는 식별자

 

for구성자(for construct)

반복제어를 위한 언어구성자로서 통산 반복제어변수를 가지고 수행할 테스트를 정의함.
또한 반복 구간들 사이에서 수행되는 반복제어변수의 변화에 대한 처리를 정의.

 

반복문

내포된 문장의 반복실행을 제어하기 위한 기법을 포함하는 복합문

 

case문

조건식의 진리값에 따라, 많은 선택 가능한 문장들의 순서들 중에서 하나를 실행하도록 선택하는 조건문

 

if문

조건식의 진리값에 따라, 내포된 문장들의 순서를 실행하거나 건너뛰게 하는 조건문

 

조건문

일치하는 하나 이상의 조건으로 이루어진 조건식의 값에 따라, 내포된 문장들의 실행 순서 0개 또는 1개를 실행하도록 선택할 수 있는 복합문

 

연산자 순위

식 내에 연산자들의 적용 순서를 정의하는 순서화 규칙

 

표현식(expression)

하나 이상의 피연산자에서 발생되는 결과로서, 자료값의 계산을 정의하는 언어 구성자

 

초기화하다(to initialize)

자료 객체의 수명이 시작될 때 자료 객체에게 자료값을 주는 것

 

상수(constant)

선언문 또는 묵시적 선언으로 생성됨.
식별자, 자료 속성들의 집합, 하나 이상의 주소, 오직 한 개의 자료값의 4요소로 구성된 것

 

배정문(assignment statement)

수식으로 기술된 새로운 자료값으로 변수의 현재 자료값을 바꾸는 단순문

 

디폴트(default)

속성이나 데이터, 또는 선택에 대해, 명시적으로 어떤 값도 지정되지 않았을 때 갖게 되는 것

 

선언문(declaration)

하나 이상의 식별자를 프로그램에 도입시켜 이 식별자들이 어떻게 해석되느냐를 명세하는 명시적인 언어 구성자

 

 

동적(dynamic)

프로그램의 전체 또는 일부의 실행 동안만 그 값을 설정할 수 있는 자료의 속성

 

 

정적(static)

전체 프로그램의 실행동안 그 값이 존재하고 유지되는 객체들의 속성

 

 

변수(variables)

선언문 또는 묵시적 선언으로 생성됨.

식별자, 자료 속성들의 집합, 하나 이상의 주소, 자료값들의 4요소로 구성됨.

주소와 자료값들의 관계는 변할 수있음.