toIPA
Home
Blog
Category
Guarded command language
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
Pronunciation
/ˈɡɑrdəd kəˈmænd ˈlæŋɡwɪʤ/
/ˈɡɑːdɪd kəˈmɑːnd ˈlaŋɡwɪʤ/
Categories
formal language
