About: dbpedia-fr:Synthèse_de

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Synthèse_de_programmes Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Synthèse de programmes (fr)
rdfs:comment	En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church. (fr)
rdfs:seeAlso	https://www.quora.com/topic/Program-Synthesis
sameAs	dbr:Program_synthesis wikidata:Q4117718 dbpedia-ar:تكوين_البرنامج dbpedia-ja:プログラム合成 http://g.co/kg/m/02hn17 http://ma-graph.org/entity/2776937632
Wikipage page ID	11477430 (xsd:integer)
Wikipage revision ID	178600899 (xsd:integer)
dbo:wikiPageWikiLink	Atlas (robot) dbpedia-fr:Automate_de_Büchi dbpedia-fr:Automate_sur_les_mots_infinis category-fr:Paradigme_de_programmation EXPSPACE Computer science dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Logique_temporelle_linéaire dbpedia-fr:PSPACE Automated planning and scheduling dbpedia-fr:Programme_informatique
page length (characters) of wiki page	12265 (xsd:nonNegativeInteger)
dct:subject	category-fr:Paradigme_de_programmation
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prov:wasDerivedFrom	wikipedia-fr:Synthèse_de_programmes?oldid=178600899&ns=0
foaf:depiction
thumbnail	wiki-commons:Special:FilePath/Atlas_frontview_2013.jpg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Synthèse_de_programmes
has abstract	En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church. (fr)
is dbo:wikiPageWikiLink of	2-EXPTIME Robert W. Floyd
is oa:hasTarget of	Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Synthèse_de_programmes

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software