About: Guarded Command Language

Property	Value
dbo:abstract	Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である (ja) Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である (ja)
dbo:wikiPageExternalLink	http://search.cpan.org/perldoc/Commands::Guarded
dbo:wikiPageID	980613 (xsd:integer)
dbo:wikiPageLength	5110 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	70151278 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:エドガー・ダイクストラ dbpedia-ja:Category:形式手法 dbpedia-ja:Category:論理プログラミング dbpedia-ja:Perl dbpedia-ja:エドガー・ダイクストラ dbpedia-ja:データ型 dbpedia-ja:プログラム_(コンピュータ) dbpedia-ja:モデル検査 dbpedia-ja:ユークリッドの互除法 dbpedia-ja:ランダム dbpedia-ja:命題 dbpedia-ja:変数_(プログラミング) dbpedia-ja:実装 dbpedia-ja:擬似コード dbpedia-ja:文_(プログラミング) dbpedia-ja:最大公約数 dbpedia-ja:述語変換意味論 dbpedia-ja:SPINモデルチェッカ dbpedia-ja:ガード_(プログラミング) dbpedia-ja:Promela dbpedia-ja:QDIモデル
prop-en:wikiPageUsesTemplate	template-en:Reflist
dct:subject	dbpedia-ja:Category:エドガー・ダイクストラ dbpedia-ja:Category:形式手法 dbpedia-ja:Category:論理プログラミング
rdfs:comment	Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である (ja) Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である (ja)
rdfs:label	Guarded Command Language (ja) Guarded Command Language (ja)
owl:sameAs	freebase:Guarded Command Language
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Guarded_Command_Language?oldid=70151278&ns=0
foaf:isPrimaryTopicOf	http://ja.wikipedia.org/wiki/Guarded_Command_Language
is dbo:wikiPageDisambiguates of	dbpedia-ja:GCL
is dbo:wikiPageWikiLink of	dbpedia-ja:Constraint_Handling_Rules dbpedia-ja:GCL dbpedia-ja:Guarded_Horn_Clauses dbpedia-ja:Program_Composition_Notation dbpedia-ja:エドガー・ダイクストラ dbpedia-ja:並行制約プログラミング dbpedia-ja:並行論理プログラミング dbpedia-ja:量子プログラミング言語 dbpedia-ja:述語変換意味論 dbpedia-ja:ガード_(プログラミング)
is owl:sameAs of	dbpedia-wikidata:Guarded Command Language
is foaf:primaryTopic of	http://ja.wikipedia.org/wiki/Guarded_Command_Language