'Programming Languages' 태그의 모든 글
: 1. CbC의 설계 목표와 배경 CbC는 Continuation Passing Style(CPS)을 기반으로 한 새로운 프로그래밍 언어로, GNU C 컴파일러와 동일한 속도로 실행되는 것을 목표로 합니다. CPS 변환은 함수 호출을 연속 전달 스타일로 변경하여 코드의 효율성을 향상시키는 기법입니다. 이 논문에서는 이러한 CPS 변환을 GCC에 통합하는 방법을 제시하며, 이를 통해 C와 CbC를 혼합 사용할 수 있는 새로운 언어인 CwC를 소개합니다. 2. CbC의 핵심 특징 CbC는 코드 세그먼트를 기본 프로그래밍 단위로 사용하
이 논문은 SCC 애플리케이션 개발에 있어 소프트웨어 아키텍처의 중요성과 상호작용 계약이라는 새로운 개념을 제시하며, 이를 통해 아키텍처와 구현 간의 일관성을 보장하고 검증 과정을 강화하는 방법을 탐구한다. SCC 애플리케이션은 외부 환경과 상호작용하는 시스템으로, 홈 오토메이션, 로봇 공학, 자율 시스템 등 다양한 분야에서 활용된다. 1. 아키텍처와 구현의 연결 SCC 애플리케이션은 정보 수집, 상황 인식, 제어, 행동이라는 네 가지 요소로 구성되며, 각 요소는 계층적으로 상호작용한다. 이 논문에서는 이러한 고수준 추상화를 구현으
This paper discusses a method for improving the learning efficiency of deep neural networks by utilizing structural information from program code. The authors aim to enhance the effectiveness of machine learning in analyzing and optimizing complex programs. Traditional methods often struggle with ca
검색어를 입력하세요