S/SL 프로그래밍 언어

S/SL programming language

S/SL(Syntax/Semantic Language)은 1980년 토론토 대학의 제임스 코디,[1] 리치 홀트, 데이비드 워트먼이 개발한 재귀적 강하 파서, 의미 분석기, 코드 생성기를 위한 실행 가능한 고급 사양 언어다.

고 입력, 출력, 오류 토큰 이름(&값), 의미론적 메커니즘(메서드는 클래스 인터페이스 정말 일을 호스트 프로그래밍 언어에 있지만 pseudocode에 좋은 추상화 허용하게 벗어나게 해)고에게의 구문을 정의하는 pseudocode 프로그램을 정의합니다 싼 반복을 지원하 S/SL 있는 작은 프로그래밍 언어이다.놓다프로그램이 수락하는 토큰 스트림별 언어교대, 조정기 흐름 및 1심볼 자동 검색 구조는 언어의 일부분이다.

S/SL 프로세서는 S/SL 테이블 워커(인터프리터)에 의해 해석되는 테이블(바이트 코드)로 이 유사코드를 컴파일한다.유사코드 언어는 LL(1) 재귀 강하 스타일에서 입력 언어를 처리하지만, 확장을 통해 LR(k) 언어를 비교적 쉽게 처리할 수 있다.[2]S/SL은 우수한 구문 오류 복구 및 복구를 제공하도록 설계되었다.야크보다 강력하고 투명하지만 느릴 수 있다.

S/SL의 「대안 메커니즘」은 컴파일 전 단계로 그 기능을 확장하고 있으며, 멀티패스 언어 프로세서에서 스캐너, 파서, 의미 분석기, 코드 생성기, 가상 머신 인터프리터 등 컴파일 전 단계의 구현에 이용되어 왔다.[3]

S/SL은 PL/I, 유클리드, 튜링, 에이다, COBOL 등의 언어에 대한 생산 상용 컴파일러를 구현하는 데 사용되어 왔으며, 다양한 종류의 통역기, 명령어 프로세서, 도메인별 언어 등을 구현하고 있다.IBM의 ILE/400 COBOL 컴파일러에서 사용되는 1차 기술이며,[4] ZMailer 메일 전송 에이전트는 S/SL을[5] 사용하여 메일 라우터 처리 언어와 RFC 822 이메일 주소 검증을 모두 정의한다.

참조

  1. ^ J. R. R. C. Holt와 D. B. Wortman, "S/SL: 구문/대서양 언어 - 도입 및 사양", 기술 보고서 CSRG-118, 컴퓨터 시스템 연구 그룹, 1980년 9월, 토론토 대학교, C.R. Holt와 D. Wortman,
  2. ^ Barnard, D.T.; Cordy, J.R. (1988). "SL Parses the LR Languages". Computer Languages. 13 (2): 65–74. doi:10.1016/0096-0551(88)90010-0.
  3. ^ Holt, Richard C.; Cordy, James R.; Wortman, David B. (1982). "An Introduction to S/SL: Syntax/Semantic Language". ACM Transactions on Programming Languages and Systems. 4 (2): 149–178. doi:10.1145/357162.357164.
  4. ^ 이안 H. 카마이클과 스티븐 페렐굿."S/SL 재방문"Proc. CASCON'95, CASCON'95, 1995년 11월 캐나다 토론토 협력 연구 센터 컨퍼런스 http://portal.acm.org/citation.cfm?id=781915.781926
  5. ^ ZMailer the Manual, http://www.zmailer.org/zman/zmanual.shtml