About: Guarded Command Language

Property	Value
dbo:description	formala lingvo por predikato-transformada semantiko, kreita de Edsger Dijkstra (eo) formal language for predicate transformer semantics introduced by by Edsger Dijkstra (en) linguagem formal para semântica de transformador de predicados proposta por Edsger Dijkstra (pt)
dbo:wikiPageExternalLink	https://archive.org/details/disciplineofprog0000dijk https://link.springer.com/book/10.1007/978-1-4613-9706-9 https://dl.acm.org/doi/10.5555/98158 https://dl.acm.org/doi/book/10.5555/576038 https://metacpan.org/module/Commands::Guarded https://link.springer.com/book/10.1007/978-1-4612-5983-1
dbo:wikiPageWikiLink	dbr:Nondeterministic_programming dbr:Congruence_relation dbr:Quasi-delay-insensitive_circuit dbc:Logic_programming dbr:Bubble_sort dbr:Promela dbr:Syntax_(programming_languages) dbr:Implementation dbr:Lattice_(order) dbr:State_(computer_science) dbr:Control_flow dbr:Extended_Euclidean_algorithm dbr:Greatest_common_divisor dbr:Proposition dbr:SPIN_model_checker dbr:David_Gries dbc:Edsger_W._Dijkstra dbr:Programming_language dbr:Data_type dbr:B-Method dbr:Computer_program dbr:Pseudocode dbr:Euclidean_algorithm dbr:Conditional_(programming) dbr:Catenation dbr:Semantics dbr:Bézout's_identity dbr:Arg_max dbr:Predicate_transformer_semantics dbr:Formal_Methods dbr:Edsger_Dijkstra dbr:Execution_(computers) dbr:Statement_(programming) dbr:Refinement_Calculus dbr:Assignment_(computer_programming) dbr:Program_specification dbr:Variable_(programming)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Math dbt:Code dbt:Sub dbt:Mono dbt:Not dbt:Short_description dbt:Edsger_Dijkstra
dct:subject	dbc:Logic_programming dbc:Edsger_W._Dijkstra
gold:hypernym	dbr:Language
rdfs:label	Guarded Command Language (en) Lenguaje de Comandos Guardados (es) Guarded Command Language (ja) GCL (nl) 守卫命令语言 (zh)
owl:sameAs	freebase:Guarded Command Language yago-res:Guarded Command Language wikidata:Guarded Command Language dbpedia-nl:Guarded Command Language dbpedia-zh:Guarded Command Language dbpedia-ja:Guarded Command Language dbpedia-es:Guarded Command Language dbpedia-global:Guarded Command Language
prov:wasDerivedFrom	wikipedia-en:Guarded_Command_Language?oldid=1287811651&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Guarded_Command_Language
is dbo:wikiPageDisambiguates of	dbr:GCL
is dbo:wikiPageRedirects of	dbr:Guarded_command dbr:Guarded_commands
is dbo:wikiPageWikiLink of	dbr:Quasi-delay-insensitive_circuit dbr:GCL dbr:Quantum_programming dbr:ALGOL_58 dbr:Block_(programming) dbr:Guard_(computer_science) dbr:Predicate_transformer_semantics dbr:ALGOL_68 dbr:Guarded_suspension dbr:S-algol dbr:List_of_Dutch_inventions_and_innovations dbr:Guarded_command dbr:Guarded_commands
is foaf:primaryTopic of	wikipedia-en:Guarded_Command_Language