Parametric limits

BP Dunphy, Uday Reddy

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

16 Citations (Scopus)

195 Downloads (Pure)

16 Citations
2 Paper
2 Article
1 Conference contribution

2 results

Filter

2004
Correctness of data representations involving heap data structures
Reddy, U. & Yang, H., 1 Jan 2004, In: Science of Computer Programming. 50, 1-3, p. 129-160 32 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
26 Citations (Scopus)

210 Downloads (Pure)
2002

Objects and Classes in Algol-like Languages
Reddy, U., 10 Jan 2002, In: Information and Computation. 172, 1, p. 63-97 35 p.
Research output: Contribution to journal › Article › peer-review

File

11 Citations (Scopus)

201 Downloads (Pure)