SECD 머신
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 본문
SECD 머신에 대한 질문에 답변드리겠습니다.
SECD 머신은 함수형 프로그래밍 언어 컴파일러의 대상(target)으로 사용되는 가상 머신(virtual machine)이자 추상 기계(abstract machine)입니다. 1964년 Peter Landin이 "The Mechanical Evaluation of Expressions"에서 처음으로 설명했으며, 람다 미적분식(lambda calculus expressions)을 평가하기 위해 특별히 설계되었습니다.
SECD의 의미:SECD는 머신의 내부 레지스터를 나타냅니다.
- Stack(스택): 값을 저장하는 데 사용되는 스택입니다.
- Environment(환경): 변수와 값의 바인딩을 저장하는 데 사용됩니다.
- Control(제어): 실행할 명령어를 저장하는 데 사용되는 스택입니다.
- Dump(덤프): 함수 호출 시 컨텍스트(context)를 저장하고 복원하는 데 사용되는 스택입니다.
SECD 머신의 작동 방식 (간단한 설명):SECD 머신은 스택 기반으로 작동하며, 주어진 명령어 집합(instruction set)을 사용하여 함수형 프로그램을 실행합니다.
SECD 머신의 영향:SECD 머신은 함수형 프로그래밍 언어의 구현에 큰 영향을 미쳤습니다. Lispkit Lisp와 같은 영향력 있는 컴파일러가 SECD 머신을 기반으로 했으며, Lisp/370과 같은 다른 시스템에서도 대상으로 사용되었습니다. 1989년에는 캘거리 대학의 연구원들이 하드웨어 구현을 연구하기도 했습니다.
SECD머신은 가상 머신의 한 종류로, 다른 종류의 가상 머신에는 VMware, Virtuozzo 등이 있습니다.
같은 다른 시스템에서도 대상으로 사용되었습니다. 1989년에는 캘거리 대학의 연구원들이 하드웨어 구현을 연구하기도 했습니다.
SECD머신은 가상 머신의 한 종류로, 다른 종류의 가상 머신에는 VMware, Virtuozzo 등이 있습니다.
| SECD 머신 |
|---|
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com