skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · the department · publications · theses · 

Theses by Year - 1975



 Dunn, Richard Carl
PhD 1975
Advisor: William Waite
Design of a higher-level language transput system
 Kalk, John Michael
MS 1975
Advisor: Clarence (Skip) Ellis
Computerized data bank containing class and experiment membership information
 Levin, Diane Sue
MS 1975
Advisor: H. Paul Zeiger
An introduction to the art of proving program correctness
 Osterweil, Janis Putman
MS 1975
Advisor: Gary Nutt
A deadlock model based on process-resource actions
 Snyder, Margaret Joan Barto
MS 1975
Advisor: John Gary
A preprocessor-implemented top-down programming environment for FORTRAN
 Winograd, Stephen Frederick
MS 1975
Advisor: William Waite
Production of optimized object code from machine-independent macro language as applied to SNOBOL4
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:58)