|
|
It is shown that theorem proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (e.g. hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
|
Add
Your Review!
Read more reviews from Amazon.com or Barnes&Noble.com
|
|
|
|
|
Other titles you may be interested:
|
|
|
» Add BookFinder4U to your browser's Favorites
» Add BookFinder4U to your online bookmarks:  |
Page loading time: 0.40625 sec. | URL: http://www.bookfinder4u.com/detail/0387182179.html
©2008 BookFinder4U.com
Compare 130 bookstores - All rights Reserved.
Disclaim: Part of content on this site is properties of their respective
owners and copyright holders. Bookfinder4u will not under any circumstances
be liable to you or any other person for any loss due to the use of these
content. Some of the content that we make available to you through this
website comes from amazon web services. All such content is provided to
you "as is." this content and your use of it are subject to
change and/or removal at any time.
Privacy
Commitment Conditions of Use
|