TIGHT POLYNOMIAL WORST-CASE BOUNDS FOR LOOP PROGRAMS.

Saved in:

Bibliographic Details
Title:	TIGHT POLYNOMIAL WORST-CASE BOUNDS FOR LOOP PROGRAMS.
Authors:	BEN-AMRAM, AMIR M.¹, amirben@mta.ac.il, HAMILTON, GEOFF², hamilton@computing.dcu.ie
Source:	Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 2, p1-39, 39p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.23638/LMCS-16(2:4)2020