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...

Full description

Bibliographic Details

Main Author:	Kamp, Marius
Format:	Online
Language:	English
Published:	FAU University Press 2025
Subjects:	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
Online Access:	ONIX_20251215T160703_9783961477944_9
Tags:	Add Tag No Tags, Be the first to tag this record!