• 한국컴퓨터정보학회논문지
• /
• 제28권2호
• /
• pp.111-119
• /
• 2023

본 논문에서는 스칼라 언어의 함수형 프로그래밍 기능의 타당성에 대해서 검토한다. 주된 관심사는 스칼라가 어느 정도까지 람다 식, 고차 함수, 제너릭 타입, 대수적 타입, 모나드 등 함수형 프로그래밍의 주요 특성을 표현할 수 있는 가에 있다. 이 목적을 위하여 명령형 프로그래밍 언어의 인터프리터를 구현한다. 동일한 함수형 프로그래밍 기법을 적용하여 인터프리터를 하스켈과 스칼라로 구현한 다음, 이 두 버전의 구현을 비교 분석한다. 명령형 프로그래밍 언어의 추상 구문트리는 스칼라의 제너릭스를 갖는 대수적 타입과 enum 클래스로서 표현되고, 명령형 프로그래밍의 상태 변환은 상태 모나드를 이용하여 구현된다. 또한 스칼라의 새로운 기능인 extension과 given도 사용된다.

• 한국통신학회논문지
• /
• 제24권12B호
• /
• pp.2249-2261
• /
• 1999

본 논문에서는 Multiprotocol Label Switching 시스템을 위한 Label Distribution Protocol의 설계와 구현에 관해서 서술한다. 먼저 Gigabit Switched Router를 만들기 위해서 필요한 LDP의 구현 시 고려해야 될 사항에 대해 살피고, 상세 설계를 제안한다. 결과로써, IETE 표준에 의거한, LDP를 구현하는 데이터 구조 및 처리 절차들을 제시한다. 본 논문에서는 구현 시 Carrier Class Product에 적용하기 위해 고려해야 할 점들을 제시한다. 구현된 프로토콜은 상용망에서 요구되는 IP 라우팅 테이블 항목 개수인 4만개의 엔트리들 수용 요구를 만족시킨다. 또한 본 시스템은 표준 Unix API를 사용하여 구현됨으로써 이식성을 가지고 있다. 이러한 구현 시 고려할 사항들과 표준에 의거하여 구현을 함으로써, 우리는 본 LDP가 표준에 기준한 다른 상용제품과 연동성을 확보할 것을 기대한다. 이 LDP의 프로토타입을 구축하고, 이 구현 결과의 프로세스 대수를 사용한 형식적 명세와 분석 그리고 성능 분석을 함으로써 메커니즘의 타당성을 검증하고있다.