タグ

Ada

2 件の記事

📖

Adaプログラミング言語の国際標準規格 ISO/IEC 8652について

AdaISO/IEC 8652プログラミング言語国際標準規格
続きを読む →
Ada Programming/All Chapters. Vol.1 of 3 volume set. The basis of ASIS

ASIS (Ada Semantic Interface Specification) の概要と静的解析への活用

ASISAda静的解析Ada Semantic Interface Specification
続きを読む →