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

Повний опис

Бібліографічні деталі

Автор:	Kamp, Marius
Формат:	Online
Мова:	Англійська
Опубліковано:	FAU University Press 2025
Предмети:	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
Онлайн доступ:	ONIX_20251215T160703_9783961477944_9
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!