UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist
gegebenenfalls
nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Universitätsbibliothek
Katalog
Link-Resolver
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
Guria, Sankha Narayan
Artikel
Absynthe: Abstract Interpretation-Guided Synthesis
Titel
Proceedings of the ACM on programming languages
Seiten
1584-1607
Band
7
Heft
PLDI
Verlag
Association for Computing Machinery, Inc.
Ort
New York, NY
Erscheinungsjahr
2023
Identifikatoren
ISSN: 2475-1421; eISSN: 2475-1421
Volltextzugriff (PDF)
Freie Ressource
ACM Digital Library Complete
Verfügbar von 29/08/2017 Band: 1.;
Freie Ressource
In der EZB frei verfügbare Zeitschriften
Verfügbar von 2017 Band: 1.;