Program synthesis
http://dbpedia.org/resource/Program_synthesis an entity of type: Abstraction100002137
إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة.
rdf:langString
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.
rdf:langString
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
rdf:langString
プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。
rdf:langString
rdf:langString
تكوين البرنامج
rdf:langString
Synthèse de programmes
rdf:langString
プログラム合成
rdf:langString
Program synthesis
xsd:integer
498152
xsd:integer
1091155409
rdf:langString
إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة.
rdf:langString
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.
rdf:langString
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
rdf:langString
プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。
xsd:nonNegativeInteger
19567