A Transformation System for Developing Recursive Programs.

Rod M. Burstall, John Darlington: A Transformation System for Developing Recursive Programs. J. ACM 24(1): 44-67(1977)

@article{DBLP:journals/jacm/BurstallD77,
  author    = {Rod M. Burstall and
               John Darlington},
  title     = {A Transformation System for Developing Recursive Programs},
  journal   = {J. ACM},
  volume    = {24},
  number    = {1},
  year      = {1977},
  pages     = {44-67},
  ee        = {db/journals/jacm/BurstallD77.html, http://doi.acm.org/10.1145/321992.321996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Alexandra Poulovassilis, Carol Small: Algebraic Query Optimisation for Database Programming Languages. VLDB J. 5(2): 119-132(1996)
Mihhail Matskin, Hele-Mai Haav: A Deductive Object-Oriented Approach to Information System Modeling. ADBIS 1995: 459-478
Leonidas Fegaras, David W. Stemple: Using Type Transformation in Database Implementation. DBPL 1991: 337-353
Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88
Johann Christoph Freytag, Nathan Goodman: On the Translation of Relational Queries into Iterative Programs. ACM Trans. Database Syst. 14(1): 1-27(1989)
Johann Christoph Freytag: A Rule-Based View of Query Optimization. SIGMOD Conference 1987: 173-180
Johann Christoph Freytag, Nathan Goodman: Translating Aggregate Queries into Iterative Programs. VLDB 1986: 138-146
Johann Christoph Freytag, Nathan Goodman: Rule-Based Translation of Relational Queries into Iterative Programs. SIGMOD Conference 1986: 206-214
V. W. Setzer: Program Development by Transformations Applied to Relational Database Queries. VLDB 1979: 436-443
Robert Balzer: An Implementation Methodology for Semantic Data Base Models. ER 1979: 433-444

BibTeX