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

> Clean Markdown view of GeekNews topic #14732. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=14732](https://news.hada.io/topic?id=14732)
- GeekNews Markdown: [https://news.hada.io/topic/14732.md](https://news.hada.io/topic/14732.md)
- Type: news
- Author: [tsboard](https://news.hada.io/@tsboard)
- Published: 2024-05-09T14:30:31+09:00
- Updated: 2024-05-09T14:30:31+09:00
- Original source: [aitimes.kr](https://www.aitimes.kr/news/articleView.html?idxno=31089)
- Points: 15
- Comments: 4

## Topic Body

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

## Comments



### Comment 25111

- Author: kunggom
- Created: 2024-05-09T16:46:58+09:00
- Points: 4

이런 거 소개해주는 기사는 정작 논문 원문에 대한 링크 같은 건 제공을 해주는 경우가 드물어서 아쉽습니다.  
일부 언론의 과학 관련 기사에서는 맨 밑에 해당 기사에서 소개하는 논문을 찾아볼 수 있게 DOI를 써주던데, 그런 관행이 좀 더 널리 퍼졌으면 좋겠습니다.  
아무튼 그래서 위 기사에서 말하는 논문 및 Github 링크를 제가 직접 찾아서 가져왔습니다.  
  
* 논문: [JavaScript Language Design and Implementation in Tandem](https://cacm.acm.org/research/javascript-language-design-and-implementation-in-tandem/)  
* 요약영상: [CACM - JavaScript Language Design and Implementation in Tandem](https://www.youtube.com/watch?v=JGxc-KIUnQY)  
* 보도자료: [자바스크립트 안정성을 책임지다​](https://researchnews.kaist.ac.kr/researchnews/html/news/?mode=V&mng_no=36610)  
* Github: https://github.com/es-meta/esmeta

### Comment 25116

- Author: tsboard
- Created: 2024-05-09T17:23:14+09:00
- Points: 1
- Parent comment: 25111
- Depth: 1

앗 저도 뉴스만 가져왔었는데 논문 관련 내용 보충해주셔서 감사합니다!

### Comment 25103

- Author: honglu
- Created: 2024-05-09T14:40:29+09:00
- Points: 1

euma는 오타같네요!

### Comment 25100

- Author: tsboard
- Created: 2024-05-09T14:31:51+09:00
- Points: 1

아래는 관련 YouTube 영상입니다.  
https://www.youtube.com/watch?v=JGxc-KIUnQY  
  
위 내용은 코얼리를 이용해 요약한 것입니다.  
https://corely.ai/content/javascript-language-design-implementation-tandem