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

Full description

Saved in:
Bibliographic Details
Published in:2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) pp. 958 - 968
Main Authors: Loncaric, Calvin, Ernst, Michael D., Torlak, Emina
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 27.05.2018
Series:ACM Conferences
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first