An Automatic Verifier for a Class of Sorting Programs

Mateti, Prabhaker

Back to search

University of Illinois at Urbana-Champaign

An Automatic Verifier for a Class of Sorting Programs

dc:creator Mateti, Prabhaker

thesis:degree_name Ph.D.

dc:date2014

Abstract

dc:description

Made available in DSpace on 2014-12-13T18:01:53Z (GMT). No. of bitstreams: 1 7709092.pdf: 3692785 bytes, checksum: 6005ad8492ae37ee7b561d167e534d4d (MD5) Previous issue date: 1976

Degree

thesis:*

Name thesis:degree_name: Ph.D.
Level thesis:degree_level: Dissertation
Discipline thesis:degree_discipline: Computer Science
Grantor: University of Illinois at Urbana-Champaign
Year dc:date: 2014

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Mateti, Prabhaker

Subjects

dc:subject × 1

Computer Science

Rights

Language dc:language: eng

Identifiers

dc:identifier.*

Identifier: (UMI)AAI7709092
OAI identifier oai:identifier: oai:www.ideals.illinois.edu:2142/66392

Chain of custody

source

Harvested from: University of Illinois - Urbana-Champaign
Base URL: www.ideals.illinois.edu/oai-pmh
Last updated: 2026-07-22
Source record: OAI-PMH GetRecord

related terms

citation

Mateti, Prabhaker. An Automatic Verifier for a Class of Sorting Programs. Dissertation thesis, University of Illinois at Urbana-Champaign, 2014. http://hdl.handle.net/2142/66392

An Automatic Verifier for a Class of Sorting Programs

Abstract

Degree

Author and committee

Subjects

Rights

Identifiers

Chain of custody

More from University of Illinois - Urbana-Champaign