program synthesis

[/ˈproʊɡræm ˈsɪnθəsɪs/]
nounpl: program syntheses
síntese de programas
1. A computer science field focused on automatically generating executable programs from high-level specifications, constraints, or examples
Program synthesis techniques can automatically write code based on input-output examples provided by the user.
Técnicas de síntese de programas podem gerar automaticamente código baseado em exemplos de entrada-saída fornecidos pelo usuário.
2. The automated process of constructing a program that satisfies given requirements or specifications
Machine learning approaches to program synthesis have shown promising results in recent years.
Abordagens de aprendizado de máquina para síntese de programas têm demonstrado resultados promissores nos últimos anos.
3. An AI technique that creates source code automatically without explicit human programming
Program synthesis could potentially reduce development time and human error in software engineering.
A síntese de programas poderia potencialmente reduzir o tempo de desenvolvimento e erros humanos na engenharia de software.
Program synthesis is a cutting-edge field primarily discussed in academic, research, and technology sectors in both Brazil and the USA. It represents the intersection of software engineering and artificial intelligence. In Brazil, this term is gaining prominence with increasing interest in AI and machine learning research, particularly in universities and tech startups in São Paulo and Rio de Janeiro. In the USA, it's a more established research area with dedicated conferences and funding initiatives.
Synonyms / Sinônimos
automatic code generationautomated programmingcode generation from specificationsinductive program synthesis
Antonyms / Antônimos
manual programminghand-coded implementation

Regional Variations

General Brazilian
síntese de programas
Standard term used in academic and technical contexts in Brazil
São Paulo
síntese de programas
Common in tech hubs and universities; sometimes called 'geração automática de código'
Rio de Janeiro
síntese de programas
Used in research institutions and tech companies
Portugal
síntese de programas
Same term used; alternative 'geração automática de código' also employed

Related Words

machine learningartificial intelligencecode generationformal verificationconstraint solvingspecification languageneural program synthesisexample-based synthesis

Related Idioms & Phrases

code from scratch
automated code generation
learning to code
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →