KAIST 연구팀, 'C-러스트 코드 번역 기술' 개발로 프로그래밍 언어 번역 혁신 > 과학

1. KAIST 연구팀이 C언어의 메모리 관리 문제를 해결하는 'C-러스트 코드 번역 기술'을 개발함.
2. 이 기술은 유니언을 태그드 유니언으로 대체해 메모리 문제를 예방하며, 전 세계적으로 드문 기술임.
3. 연구팀은 태그값을 찾아내는 분석 기법을 적용하며, C프로그램 번역에 성공적인 결과 도출.
4. 류석영 교수는 안전한 소프트웨어 제작을 목표로 추가 연구를 계획 중.

[설명]
KAIST 연구팀이 C언어의 메모리 관리 문제를 해결하는 'C-러스트 코드 번역 기술'을 세계에 선보였다. 이 기술은 유니언을 태그드 유니언으로 대체해 메모리 문제를 해결함으로써 안전한 소프트웨어를 만드는데 기여할 것으로 기대된다. 류석영 교수를 이끄는 연구팀은 C와 러스트 간의 번역 기술을 발전시키는데 성공하였으며, 이는 한국 연구 센터 및 기업의 도움을 받아 이루어졌다.

[용어 해설]
- 유니언(union): 서로 다른 데이터 형식을 하나의 메모리 공간에 저장하는 C언어의 기능.
- 태그드 유니언(tagged union): 여러 데이터를 하나의 메모리 공간에 보관할 때 각 데이터에 태그를 붙여 구분하는 기술.
- 러스트(Rust): 안전하고 빠른 소프트웨어 개발을 위해 만들어진 프로그래밍 언어.

[태그]
#KAIST #프로그래밍언어 #번호1순위 #메모리관리 #안전한소프트웨어 #C러스트코드 #태그드유니언 #한국연구재단 #류석영교수 #세계적기술 #C프로그램번역 #한국기업협력

추천0 비추천 0