연구 영역
기본 정보
논문·특허
과제
구성원
Preprint|
인용수 0
·2022
Removing Qualified Names in Modular Languages
Keehang Kwon, Dae-Seong Kang
arXiv (Cornell University)
초록

모듈 시스템에서 한정된 이름(qualified names)이라는 개념은 널리 사용되지만, 심각한 합병증을 유발한다. 본 논문에서는 한정된 이름의 대안을 제안한다. 핵심 아이디어는 다른 모듈의 선언들을 사용되기 전에 현재 모듈로 가져오는 것이다. 이와 같이 하면 모든 선언을 로컬에서 접근할 수 있다. 그러나 이러한 접근은 메모리 사용 측면에서 효율적이지 않다. 우리의 기여는 최소한의 부분만을 가져올 수 있게 하는 { module weakening} 방식이다. 이 접근의 한 예로서, 우리는 함수형 언어를 위한 모듈 시스템을 제안한다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.

키워드
Modular designComputer scienceScheme (mathematics)Key (lock)Programming languageComputer securityMathematics
타입
Preprint
IF / 인용수
- / 0
게재 연도
2022