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 transformations alone. This ability is essential when constructing efficient programs for specialized hardware with restricted instruction sets or when using specifications such as input-output examples. Unfortunately, the large search space of possible programs limits scalability of program synthesis in practice. This thesis presents techniques to accelerate program synthesis of loop-free bit vector programs that are optimal with respect to a user-defined metric. Bit vector programs operate on words of data with a fixed number of bits. The presented techniques approximately decide whether a program synthesis problem is unrealizable, that is whether a collection of given operations suffices to construct a program that implements the specification. To do this, this thesis explores approaches to obtain dependencies between the input and output bits of the specification and to transfer this knowledge to the analysis of program synthesis problems. An evaluation of the presented techniques shows that they can considerably reduce the time required for the synthesis of optimal bit vector programs.<\/p>","protected":false},"excerpt":{"rendered":"
Programmsynthese ist die automatische Konstruktion eines Computerprogramms, das eine gegebene formale Spezifikation erf\u00fcllt. Anders als herk\u00f6mmliche Verfahren zur Programmkonstruktion wie \u00dcbersetzer, kann Programmsynthese Programme erzeugen, die nicht nur durch rein syntaktische Transformationen aus der Spezifikation abgeleitet werden k\u00f6nnen. Diese F\u00e4higkeit ist essenziell f\u00fcr die Erzeugung effizienter Programme f\u00fcr spezialisierte Hardware mit eingeschr\u00e4nktem Instruktionssatz oder um […]<\/p>\n","protected":false},"featured_media":5772,"comment_status":"open","ping_status":"closed","template":"","meta":{"_acf_changed":false},"product_brand":[],"product_cat":[54],"product_tag":[],"class_list":{"0":"post-5771","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-fau-studien-aus-der-informatik","7":"has-post-title","8":"has-post-date","9":"has-post-category","10":"has-post-tag","11":"has-post-comment","12":"has-post-author","13":"","15":"first","16":"instock","17":"taxable","18":"shipping-taxable","19":"purchasable","20":"product-type-simple"},"acf":{"autor":"Kamp, Marius","orcid":"0009-0007-3220-4488","ror":"00f7hpc57","herausgeber":"","orcid_hrsg":"","rorhrsg":"","bearbeiter":"","sonstige_beteiligte_personen":"","untertitel":"","zusatz":"","jahr":"2024","zeitschrift":"","serie":"","serie_name":false,"serie_band":"","serie_jahr":"","serie_titel_band":"","vortrage":"","issn":"","isbn":"","isbn13":"978-3-96147-793-7","seiten":"xv, 261","sonstiges":"","band":21,"auflage":"","opus":"","dspace":"33619","e-isbn_pdf":"978-3-96147-794-4","doi":"https:\/\/doi.org\/10.25593\/978-3-96147-794-4","epub":"","e-isbn_epub":"","doi_epub":"","html":"","e-isbn_html":"","doi_html":"","e-isbn_reader":"","doi_reader":"","digibib":"","urn":"urn:nbn:de:101:1-2501240405286.101703463037","supplementary_material":"","sprache":["Englisch"],"ausgabe":"Softcover","suche":" 9783961477937 9783961477944 ","lizenz":"BY-4","bemerkung":"1\tFAU Press\r\n1\tHB\r\n4\tBSB \/ DNB\r\n1\tTNZB\r\n1\tTIB\r\n"},"builder_content":"","_links":{"self":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product\/5771","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/types\/product"}],"replies":[{"embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/comments?post=5771"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/media\/5772"}],"wp:attachment":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/media?parent=5771"}],"wp:term":[{"taxonomy":"product_brand","embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product_brand?post=5771"},{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product_cat?post=5771"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product_tag?post=5771"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}