안전 바카라 목표, 개요, 예상 효과

우리는 차세대 고성능, 신뢰할 수있는 프로그래밍 환경을 실현하기 위해 프로그래밍 안전 바카라 SML#의 연구 및 개발을 촉진하고 있습니다
SML#은 기능적 안전 바카라 표준 ML을 기반으로 한 새로운 기능 안전 바카라이며 최신 기본 연구에서 얻은 실질적으로 중요한 결과를 통합하도록 설계되었습니다 SML#의 가장 큰 특징은 기존 기능 안전 바카라에서 어려운 C 안전 바카라, 관련 데이터베이스 및 외부 데이터와 같은 기능 안전 바카라 이외의 리소스와 고급 통합을 가능하게한다는 것입니다 SML#을 사용하면 운영 체제, 데이터베이스, 멀티 코어 CPU 등을 활용하는 프로그램을 작성하면서도 여전히 고급 선언적 설명 및 유형 이론에 의해 뒷받침되는 신뢰성과 같은 전통적인 기능 안전 바카라의 기능을 유지하고 있습니다
우수한 특성으로 인해 ML 기반 기능 안전 바카라는 자동 이론 증명 시스템 등의 컴퓨터 과학 분야의 연구원들이 사용했습니다 SML#은 엔지니어의 일반적인 시스템 개발에 ML 기반 기능 안전 바카라를 적용하는 범위를 확장합니다 이는 소프트웨어 산업에서 실제 시스템 개발의 생산성과 신뢰성을 향상시키는 데 기여할 것으로 예상됩니다