Guarded Command Language

formal language for predicate transformer semantics introduced by by Edsger Dijkstra

en-US/ˈɡɑɹdəd kəˈmænd ˈlæŋɡwɪd͡ʒ/
en-GB/ˈɡɑːdɪd kəˈmɑːnd ˈlæŋɡwɪd͡ʒ/

Categorias:

formal language