KAIST 류석영 교수, 고려대와 자바스크립트 생태계의 안정성 보장할 수 있는 기술 개발 성공

(aitimes.kr)

자바스크립트는 가장 활발하게 사용되는 프로그래밍 언어로, tc39에서 유지 관리하는 ecma 262라는 언어 사양과 다양한 구현을 갖추고 있습니다.
특히 E 262의 연례 릴리스에서 사양의 정확성과 적합성을 검사하는 자동화된 메커니즘이 부족하여 문제가 발생했습니다.
프로 사양에서 기계화된 사양을 자동으로 추출하여 적합성 테스트 프로그램 합성 및 유형 분석 수행과 같은 다양한 응용이 가능한 새로운 접근 방식이 제안되었습니다.
추출된 기계화된 사양을 통해 특수 목적 언어 구현을 자동으로 생성할 수 있으며, 자바스크립트 언어 개발에서 실제로 사용할 수 있도록 오픈소스로 공개되었습니다.
프로그래밍 언어 개발에 대한 유망한 접근 방식은 먼저 기계화된 사양으로 언어를 설계한 다음 이를 통해 Pro 사양과 언어 구현을 모두 생성하는 것이며, 이는 JavaScript에서 실현 가능하고 실용적인 것으로 입증되었습니다.
이 작업에 대한 자세한 내용은 ACM의 2024년 4월 커뮤니케이션에서 확인할 수 있으며, 기존 프로그래밍 언어와 새로운 프로그래밍 언어 모두에 적용할 수 있는 방법을 제시합니다.

이런 거 소개해주는 기사는 정작 논문 원문에 대한 링크 같은 건 제공을 해주는 경우가 드물어서 아쉽습니다.
일부 언론의 과학 관련 기사에서는 맨 밑에 해당 기사에서 소개하는 논문을 찾아볼 수 있게 DOI를 써주던데, 그런 관행이 좀 더 널리 퍼졌으면 좋겠습니다.
아무튼 그래서 위 기사에서 말하는 논문 및 Github 링크를 제가 직접 찾아서 가져왔습니다.