Guarded Command Language (Q2442390)

From Wikidata
Jump to: navigation, search
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
  • GCL
edit
Language Label Description Also known as
English
Guarded Command Language
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
  • GCL

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit