프로그래밍언어론

소개글

프로그래밍언어론 책을 요약한것이다.

목차

Ⅰ. 정적 및 동적 기억장소 배당

Ⅱ. 단위 프로그램

Ⅲ. 정적 기억장소 배당

Ⅳ. 스택 기반 기억장소 배당
ⅰ. 활성 레코드의 크기가 정적으로 확정하는 경우
ⅱ. 단위 프로그램이 활성화되는 시점에서
활성 레코드의 크기가 확정 되는 경우
ⅲ. 활성레코드가 동적으로 변하는 경우
ⅳ. 비지역 변수의 참조방범

Ⅴ. 힙 기억장소 배당

본문내용

1. 정적 및 동적 기억장소 배당
ㄱ. 정적 기억 장소 할당
: 배열에 배당된 기억장소의 크기, 위치 등이 번역시간에 확정된다.
: 배열에 대한 접근 코드를 효율적으로 작성할 수 있다.
: Fortran, Cobol, Basic 등에서 사용된다.
: 언어의 특징에 관한 많은 제한을 요구하지만, 언어의 구현이나 접근 코드의 작성이 매우 효율적으로 된다.
: 이를 가능케 하기 위해 언어설계에서 두가지 조건을 갖추어야 한다.
1）사용된 모든 배열은 확정된 고정 크기로 선언되어야 한다.
⇒ 프로그램에서 요구된 모든 변수, 배열에 대한 기억장소의 크기는 모두 고정된다.
2) 부프로그램은 되부름이 허용되지 않는다.
⇒ 프로그램 실행동안 부프로그램이 요구하는 크기의 기억장소만이 필요하다.
ㄴ. 동적 기억 장소 할당
: 실행시간에 할당한다.
: 변수 제한(자료형, 크기 등)을 완화한다.
: Snobol, APL, Lisp과 같은 전형적인 인터프리터 언어에서 사용된다.
: 매우 간결하게 처리되지만 많은 실행시간을 요구한다.
ㄷ. 정적, 동적 기억장소 할당을 함께 수행하는 언어
1) ALGOL : own 변수는 정적할당이며 이외의 변수는 동적할당이다.
: 변수 크기가 실행 시, 할당 후 고정된다.
2) PL/I : STATIC은 정적할당, ONTROLLED BASED. AUTOMATIC은 동적할당으로 이뤄진다.
3) C, C++: STATIC은 정적할당, AUTO 동적할당 되었다.

2. 단위 프로그램
ㄱ. 지역변수 : 단위 프로그램이나 블록에서 선언하여 선언한 블록에서 사용하는 변수이다.
ㄴ. 활성화 상태 : 한 단위 프로그램의 실행 시작부터 종료까지를 일컫는 말이다.
ㄷ. 단위 활성화 : 실행시간에 한 단위 프로그램이 표현된 상태로 코드부와 활성 레코드로 구성되어 있다.
1) 코드부 : 프로그램의 명령어들로 구성되어 고정 크기로 내용이 항상 불변이다.
2) 활성 레코드 : 단위 활성화의 지역 변수와 관련된 자료들을 비롯한 프로그램 실행에 필요한 모든 정보를 가지고 있는데 내용이 가변적이다.

참고 자료

없음