Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
automatic recovery program - tradução para árabe
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
automatic recovery program
برنامج الاسترداد التلقائى
برنامج الاسترداد التلقائى
automatic recovery program
program module
![DEC]] [[VT100]] (1978) was a widely used [[computer terminal]].](https://commons.wikimedia.org/wiki/Special:FilePath/DEC VT100 terminal transparent.png?width=200 "DEC]] [[VT100]] (1978) was a widely used [[computer terminal]].")
![Switches for manual input on a [[Data General Nova]] 3, manufactured in the mid-1970s](https://commons.wikimedia.org/wiki/Special:FilePath/Dg-nova3.jpg?width=200 "Switches for manual input on a [[Data General Nova]] 3, manufactured in the mid-1970s")
![[["Hello, World!" program]] by [[Brian Kernighan]] (1978)](https://commons.wikimedia.org/wiki/Special:FilePath/Hello World Brian Kernighan 1974.jpg?width=200 "[[\"Hello, World!\" program]] by [[Brian Kernighan]] (1978)")
![hardware]].](https://commons.wikimedia.org/wiki/Special:FilePath/Operating system placement (software).svg?width=200 "hardware]].")
![Fran Bilas]] programmed the [[ENIAC]] by moving cables and setting switches.](https://commons.wikimedia.org/wiki/Special:FilePath/Two women operating ENIAC (full resolution).jpg?width=200 "Fran Bilas]] programmed the [[ENIAC]] by moving cables and setting switches.")
SEQUENCE OF INSTRUCTIONS WRITTEN IN PROGRAMMING LANGUAGE TO PERFORM A SPECIFIED TASK WITH A COMPUTER
Computer programme; Computer code; Computer programs; Software program; Program (programming); Program (computer science); Program (computing); Computer Program; Software code; Program (computer); Computer Programs; Program file; Computer program code; Program module
وحدة كاملة من أوامر البرنامج .
Wikipédia
Program synthesis
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.
