“ProgrammingLanguage” 태그의 글
“ProgrammingLanguage” 태그가 붙은 글 5건을 최신순으로 정리했습니다.
-
Ada의 generic programming ── 타입으로 계약을 쓰고, 재사용을 제로 비용으로 구현한다
Ada의 generic programming을 generic subprogram, generic package, formal subprogram, 타입 카테고리, 실무 설계 지침까지 체계적으로 설명합니다. 타입 안전한 재사용과 제로 비용 추상화의 생각을 정리합니다.
-
Ada로 하는 실시간 시스템 프로그래밍 ── 우선순위·주기·실행 시간 제어 실전
Ada의 Annex D(실시간 시스템)를 8가지 실전 코드 예로 배웁니다. 태스크 우선순위, Ceiling_Locking, delay until을 이용한 주기 실행, Ravenscar 프로파일, 태스크별 실행 시간 계측까지 단계적으로 정리합니다.
-
Ada에서의 안전한 동시성 처리 ── task와 protected object 실전 가이드
Ada의 언어 내장 동시성 처리인 task와 protected object 입문 기사입니다. rendezvous(entry/accept), 선택적 accept, protected object를 통한 상호 배제, 타임아웃이 있는 호출, task 우선순위까지 정리합니다.
-
SPARK로 하는 형식 검증 입문 ── Ada의 계약에서 수학적 증명으로
Ada의 서브셋 언어 SPARK로 형식 검증을 다루는 실무 입문 기사입니다. 계약(Pre/Post)에서 증명으로 단계를 올리는 방법, GNATprove 사용법, 루프 불변조건, 데이터 플로 계약, 증명 레벨, 그리고 실제 프로젝트에 적용하는 방법까지 정리합니다.
-
Ada 언어의 매력 ── 타입으로 설계를 말하고, 수십 년 동안 동작하는 소프트웨어를 지탱하는 언어
Ada 언어의 매력을 소개합니다. 강한 타입 시스템, 범위 제약, 패키지로 명세와 구현을 분리하는 방식, Design by Contract, 언어에 내장된 task, SPARK에 의한 형식 검증, GNAT과 Alire 개발 환경까지, 고신뢰 소프트웨어를 지탱하는 설계 사상을 정리합니다.