Searching for "Time Stamps for Fixed-Point Approximation." – sorted by Relevance.
-
Time Stamps for Fixed-Point Approximation
- ://www.elsevier.nl/locate/entcs/volume45.html 12 pages Time Stamps for Fixed-Point Approximation Daniel Damian BRICS 1 Department
- Cited by 1 (0 self) – Add To MetaCart
-
On Static and Dynamic Control-Flow Information in Program Analysis and Transformation
- . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 5.1.1 Abstract interpretation and fixed-point computation . . . 71 5.1.2 The time-stamping
- Cited by 12 (5 self) – Add To MetaCart

