Synthesizing Iterators from Abstraction Functions

Synthesizing Iterators from Abstraction Functions

A technique for synthesizing iterators from declarative abstraction functions written in a relational logic specification language is described. The logic includes a transitive closure operator that makes it convenient for expressing reachability queries on linked data structures. Some optimizations...

Full description

Bibliographic Details
Main Authors: Rayside, Derek (Author), Motaghami, Vajihollah (Author), Leung, Francesca (Author), Yuen, Albert (Author), Xu, Kevin (Author), Jackson, Daniel (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Association for Computing Machinery (ACM), 2014-05-19T19:56:13Z.
Subjects:
Article
Online Access:Get fulltext

Similar Items

Similar Items