{"version":"1.0","type":"link","title":"Guarded Command Language - Newikis","description":"The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472. It combines programming concepts in a compact way. It makes it easier to develop a program and its proof hand-in-hand, with the proof ideas leading the way;…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}