Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Guarded_Command_Language> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples 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 wikiPageLength "8326".
- Guarded_Command_Language wikiPageOutDegree "34".
- Guarded_Command_Language wikiPageRevisionID "622832657".
- Guarded_Command_Language wikiPageWikiLink Assignment_(computer_programming).
- Guarded_Command_Language wikiPageWikiLink Assignment_(computer_science).
- Guarded_Command_Language wikiPageWikiLink B-Method.
- Guarded_Command_Language wikiPageWikiLink Bxc3xa9zouts_identity.
- Guarded_Command_Language wikiPageWikiLink Category:Dutch_inventions.
- Guarded_Command_Language wikiPageWikiLink Category:Logic_programming.
- Guarded_Command_Language wikiPageWikiLink Computer_program.
- Guarded_Command_Language wikiPageWikiLink Concatenation.
- Guarded_Command_Language wikiPageWikiLink Conditional_(computer_programming).
- Guarded_Command_Language wikiPageWikiLink Conditional_(programming).
- Guarded_Command_Language wikiPageWikiLink Congruence_relation.
- Guarded_Command_Language wikiPageWikiLink Control_flow.
- Guarded_Command_Language wikiPageWikiLink Data_type.
- Guarded_Command_Language wikiPageWikiLink Edsger_Dijkstra.
- Guarded_Command_Language wikiPageWikiLink Edsger_W._Dijkstra.
- Guarded_Command_Language wikiPageWikiLink Euclidean_algorithm.
- Guarded_Command_Language wikiPageWikiLink Execution_(computers).
- Guarded_Command_Language wikiPageWikiLink Execution_(computing).
- Guarded_Command_Language wikiPageWikiLink Extended_Euclidean_algorithm.
- Guarded_Command_Language wikiPageWikiLink Formal_Methods.
- Guarded_Command_Language wikiPageWikiLink Formal_methods.
- Guarded_Command_Language wikiPageWikiLink Formal_specification.
- Guarded_Command_Language wikiPageWikiLink Greatest_common_divisor.
- Guarded_Command_Language wikiPageWikiLink Hoare_logic.
- Guarded_Command_Language wikiPageWikiLink Implementation.
- Guarded_Command_Language wikiPageWikiLink Lattice_(order).
- Guarded_Command_Language wikiPageWikiLink Predicate_transformer_semantics.
- Guarded_Command_Language wikiPageWikiLink Program_specification.
- Guarded_Command_Language wikiPageWikiLink Promela.
- Guarded_Command_Language wikiPageWikiLink Proposition.
- Guarded_Command_Language wikiPageWikiLink Pseudocode.
- Guarded_Command_Language wikiPageWikiLink Quasi_Delay_Insensitive.
- Guarded_Command_Language wikiPageWikiLink Refinement_Calculus.
- Guarded_Command_Language wikiPageWikiLink Refinement_calculus.
- Guarded_Command_Language wikiPageWikiLink SPIN_model_checker.
- Guarded_Command_Language wikiPageWikiLink Semantics.
- Guarded_Command_Language wikiPageWikiLink State_(computer_science).
- Guarded_Command_Language wikiPageWikiLink Statement_(computer_science).
- Guarded_Command_Language wikiPageWikiLink Statement_(programming).
- Guarded_Command_Language wikiPageWikiLink Syntax_(programming_languages).
- Guarded_Command_Language wikiPageWikiLink Variable_(computer_science).
- Guarded_Command_Language wikiPageWikiLink Variable_(programming).
- Guarded_Command_Language wikiPageWikiLinkText "Guarded Command Language".
- Guarded_Command_Language wikiPageWikiLinkText "Guarded Command".
- Guarded_Command_Language wikiPageWikiLinkText "guarded".
- Guarded_Command_Language hasPhotoCollection Guarded_Command_Language.
- Guarded_Command_Language wikiPageUsesTemplate Template:Refimprove.
- Guarded_Command_Language subject Category:Dutch_inventions.
- Guarded_Command_Language subject Category:Logic_programming.
- Guarded_Command_Language hypernym Language.
- Guarded_Command_Language type Article.
- Guarded_Command_Language type Language.
- Guarded_Command_Language type Article.
- 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 "Guarded Command Language".
- 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=622832657.
- Guarded_Command_Language isPrimaryTopicOf Guarded_Command_Language.