Title page for ETD etd-11172012-040118


Type of Document Master's Thesis
Author Mantha, Suryanarayana M.
URN etd-11172012-040118
Title Constraints, a model of computation
Degree Master of Science
Department Computer Science and Applications
Advisory Committee
Advisor Name Title
Roach, John W. Committee Chair
Bixler, J. Patrick Committee Member
Lee, John A. N. Committee Member
Keywords
  • Computer software.
Date of Defense 1987-07-05
Availability restricted
Abstract

In this thesis constraint solving/satisfaction is presented as a model of computation. Advantages of using constraints as a paradigm of programming are presented. A semantic schema for constraint based computations is given, following a brief survey of the more important systems based on constraints. These systems range from particular algorithms to problem solvers to constraint based general purpose programming languages. Finally, constraint satisfaction is applied to logic programming and theorem proving. It is shown that incorporating constraint solving in definite clause programs enhances their expressive power. Also, an alternative semantics - based on constraint satisfaction - is given for theorem proving.

Files
  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
[VT] LD5655.V855_1987.M355.pdf 2.13 Mb 00:09:51 00:05:04 00:04:26 00:02:13 00:00:11
[BTD] next to an author's name indicates that all files or directories associated with their ETD are accessible from the Virginia Tech campus network only.

Browse All Available ETDs by ( Author | Department )

dla home
etds imagebase journals news ereserve special collections
virgnia tech home contact dla university libraries

If you have questions or technical problems, please Contact DLA.