Generalized data structure synthesis

Data structure synthesis is the task of generating data structure implementations from high-level specifications. Recent work in this area has shown potential to save programmer time and reduce the risk of defects. Existing techniques focus on data structures for manipulating subsets of a single col...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) S. 958 - 968
Hauptverfasser:	Loncaric, Calvin, Ernst, Michael D., Torlak, Emina
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 27.05.2018
Schriftenreihe:	ACM Conferences
Schlagworte:	automatic programming Data structures Program synthesis Servers Software Software and its engineering > Software notations and tools > Compilers > Source code generation Synthesizers Task analysis Theory of computation > Design and analysis of algorithms > Data structures design and analysis program synthesis automatic programming data structures
ISBN:	9781450356381, 1450356389
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!