Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Guarded Command Language
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Formal language for predicate transformer semantics introduced by by Edsger Dijkstra
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International