Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Sharir:1981:FIP, author = "Micha Sharir", title = "Formal Integration: a Program Transformation Technique", journal = j-COMP-LANGS, volume = "6", number = "1", pages = "35--46", month = "????", year = "1981", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Tue Mar 25 14:04:06 MST 1997", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/complngs.bib", acknowledgement = ack-nhfb, classcodes = "C4160 (Numerical integration and differentiation)", classification = "723", corpsource = "Dept. of Math. Sci., Tel Aviv Univ., Ramat Aviv, Tel Aviv, Israel", journal-URL = "http://www.sciencedirect.com/science/journal/00960551", journalabr = "Comput Lang", keywords = "computer programming; differentiation; Formal Integration; integration; loop-fusion; program transformation", treatment = "T Theoretical or Mathematical", }