Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Guarded_Command_Language> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Guarded_Command_Language abstract "The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.".
- Guarded_Command_Language wikiPageExternalLink Commands::Guarded.
- Guarded_Command_Language wikiPageID "727607".
- Guarded_Command_Language wikiPageRevisionID "573216379".
- Guarded_Command_Language hasPhotoCollection Guarded_Command_Language.
- Guarded_Command_Language subject Category:Dutch_inventions.
- Guarded_Command_Language subject Category:Logic_programming.
- Guarded_Command_Language comment "The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.".
- Guarded_Command_Language label "GCL".
- Guarded_Command_Language label "Guarded Command Language".
- Guarded_Command_Language label "Guarded Command Language".
- Guarded_Command_Language label "Lenguaje de Comandos Guardados".
- Guarded_Command_Language sameAs Lenguaje_de_Comandos_Guardados.
- Guarded_Command_Language sameAs Guarded_Command_Language.
- Guarded_Command_Language sameAs GCL.
- Guarded_Command_Language sameAs m.0363hs.
- Guarded_Command_Language sameAs Q2442390.
- Guarded_Command_Language sameAs Q2442390.
- Guarded_Command_Language wasDerivedFrom Guarded_Command_Language?oldid=573216379.
- Guarded_Command_Language isPrimaryTopicOf Guarded_Command_Language.