Systematic derivation of incremental programs

Yanhong Annie Liu and Tim Teitelbaum
Tech. report TR94-1444, Cornell Univ., Dept. of Computer Science, Aug 1994
Science of Computer Programming 24(1):1–39, Feb 1995
ftp://ftp.cs.cornell.edu/pub/yanhong/Inc-SCP95.ps.Z
http://historical.ncstrl.org/tr/ps/cornellcs/TR94-1444.ps

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!