KAIST 류석영 교수, 고려대와 자바스크립트 생태계의 안정성 보장할 수 있는 기술 개발 성공
(aitimes.kr)-
자바스크립트는 가장 활발하게 사용되는 프로그래밍 언어로, tc39에서 유지 관리하는 ecma 262라는 언어 사양과 다양한 구현을 갖추고 있습니다.
-
특히 E 262의 연례 릴리스에서 사양의 정확성과 적합성을 검사하는 자동화된 메커니즘이 부족하여 문제가 발생했습니다.
-
프로 사양에서 기계화된 사양을 자동으로 추출하여 적합성 테스트 프로그램 합성 및 유형 분석 수행과 같은 다양한 응용이 가능한 새로운 접근 방식이 제안되었습니다.
-
추출된 기계화된 사양을 통해 특수 목적 언어 구현을 자동으로 생성할 수 있으며, 자바스크립트 언어 개발에서 실제로 사용할 수 있도록 오픈소스로 공개되었습니다.
-
프로그래밍 언어 개발에 대한 유망한 접근 방식은 먼저 기계화된 사양으로 언어를 설계한 다음 이를 통해 Pro 사양과 언어 구현을 모두 생성하는 것이며, 이는 JavaScript에서 실현 가능하고 실용적인 것으로 입증되었습니다.
-
이 작업에 대한 자세한 내용은 ACM의 2024년 4월 커뮤니케이션에서 확인할 수 있으며, 기존 프로그래밍 언어와 새로운 프로그래밍 언어 모두에 적용할 수 있는 방법을 제시합니다.
아래는 관련 YouTube 영상입니다.
https://www.youtube.com/watch?v=JGxc-KIUnQY
위 내용은 코얼리를 이용해 요약한 것입니다.
https://corely.ai/content/…
이런 거 소개해주는 기사는 정작 논문 원문에 대한 링크 같은 건 제공을 해주는 경우가 드물어서 아쉽습니다.
일부 언론의 과학 관련 기사에서는 맨 밑에 해당 기사에서 소개하는 논문을 찾아볼 수 있게 DOI를 써주던데, 그런 관행이 좀 더 널리 퍼졌으면 좋겠습니다.
아무튼 그래서 위 기사에서 말하는 논문 및 Github 링크를 제가 직접 찾아서 가져왔습니다.