Síntese de programas indutiva

Síntese de Programas

Disciplina da ciência da computação que visa gerar automaticamente programas de computador que satisfaçam especificações de alto nível. Esta abordagem combina técnicas de pesquisa, aprendizado de máquina e raciocínio formal para criar código funcional.

← Voltar