Detecting Unrealizable Bit Vector Program Synthesis Problems

Program synthesis is the automatic construction of a computer program that adheres to a given formal specification. Contrary to traditional approaches to program construction such as compilers, program synthesis can create programs that cannot be obtained from the specification by syntactic transfor...

Descripción completa

Detalles Bibliográficos

Autor principal:	Kamp, Marius
Formato:	Online
Lenguaje:	inglés
Publicado:	FAU University Press 2025
Materias:	boolesche Funktion Bitvektor Algorithmus Programmsynthese thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
Acceso en línea:	ONIX_20251215T160703_9783961477944_9
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!