タグ

embeddedとadacoreに関するmasterqのブックマーク (1)

  • “learn.adacore.com"

    About Ada Courses Introduction to Ada Introduction History Ada today Philosophy SPARK Imperative Language Hello world Imperative language - If/Then/Else Imperative language - Loops For loops Bare loops While loops Imperative language - Case statement Imperative language - Declarative regions Imperative language - conditional expressions If expressions Case expressions Subprograms Subprograms Subpr

    “learn.adacore.com"
    masterq
    masterq 2021/05/21
    SPARKについても豊富な例で解説してくれる貴重なドキュメント。グローバル変数へのアクセスを制約できるのはどういった仕組みなんだろうか。
  • 1