Katalog Plus
Bibliothek der Frankfurt UAS
Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.
Ihre Suchbegriffe :
Dieses Ergebnis aus ACM Full-Text Collection kann Gästen nicht angezeigt werden.  Login für vollen Zugriff.

Program Synthesis for Program Analysis

Title: Program Synthesis for Program Analysis
Authors: David, Cristina; Kesseli, Pascal; Kroening, Daniel; Lewis, Matt
Source: ACM Transactions on Programming Languages and Systems (TOPLAS). 40(2):1-45
Availability: http://dl.acm.org/doi/10.1145/3174802
Database: ACM Full-Text Collection
Frankfurt University of Applied Sciences | Impressum | Datenschutz