(Q2442390)

English

Guarded Command Language

formal language for predicate transformer semantics introduced by by Edsger Dijkstra

GCL

In more languages

Statements

formal language

0 references

1975

0 references

Predicate transformer semantics

0 references

Edsger W. Dijkstra

0 references

described at URL

http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF

0 references

Identifiers

1 reference

Freebase Data Dumps

publication date

28 October 2013

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(6 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q2442390&oldid=2153791361"