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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) s. 958 - 968
Hlavní autoři:	Loncaric, Calvin, Ernst, Michael D., Torlak, Emina
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 27.05.2018
Edice:	ACM Conferences
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!