lite95

Annie Liu, Tim Teitelbaum. Systematic derivation of incremental programs. Science of Computer Progamming (SCP), 24:1-39, 1995.

Keyword

[ Inccomp ]

Contact

Annie Liu
Tim Teitelbaum

BibTex Reference

@article{lite95,
   Author = {Liu, Annie and Teitelbaum, Tim},
   Title = {Systematic derivation of incremental programs},
   Journal = {Science of Computer Progamming (SCP)},
   Volume = {24},
   Pages = {1--39},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)