© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The many disguises of accumulation
E.A. Boiten
Technical Report 91-26, Dept. of Informatics, University of Nijmegen, December 1991.Abstract
Several descriptions of basically one transformation technique, viz. accumulation, are compared. Their basis, viz. the associativity and the existence of a neutral element inherent in a monoid, is identified.
Download publication
182 kbytes
(PostScript)
Bibtex Record
@techreport{157,
author = {E.A. Boiten},
title = {The many disguises of accumulation},
month = {December},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/157},
institution = {Dept. of Informatics, University of Nijmegen},
number = {91-26},
}