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žené v:
Podrobná bibliografia
Vydané v:2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) s. 958 - 968
Hlavní autori: Loncaric, Calvin, Ernst, Michael D., Torlak, Emina
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: New York, NY, USA ACM 27.05.2018
Edícia:ACM Conferences
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.