File:Derived preconditions and their use in program synthesis (IA derivedprecondit00smit).pdf

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Go to page
next page →
next page →
next page →

Original file ‎(1,158 × 1,618 pixels, file size: 1.53 MB, MIME type: application/pdf, 34 pages)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]
Derived preconditions and their use in program synthesis   (Wikidata search (Cirrus search) Wikidata query (SPARQL)  Create new Wikidata item based on this file)
Author
Smith, Douglas R.
image of artwork listed in title parameter on this page
Title
Derived preconditions and their use in program synthesis
Publisher
Monterey, California : Naval Postgraduate School
Description
"NPS-52-82-002"--Cover
Cover title
"March 1982"--Cover
"Prepared for: Naval Postgraduate School, Monterey, California 93940."
Includes bibliographical references (p. 25-26)
Technical report; 1982
In this paper we pose and begin to explore a deductive problem more general than that of finding a proof that a given goal formula logically follows from a given set of hypotheses. The problem is most simply stated in the propositional calculus: given a goal A and hypothesis H we wish to find a formula P, called a precondition, such that A logically follows from both P and H. A precondition provides any additional conditions under which A can be shown to follow from H. A slightly more complex definition of preconditions in a first-order theory is given and used throughout the paper. A formal system based on natural deduction is presented in which preconditions can be derived. A number of examples are then given which show how derived preconditions are used in a program synthesis method we are developing. These uses include theorem proving, formula simplification, simple code generation, the completion of partial specifications for a subalgorithm, and other tasks of a deductive nature. (Author)
ck/ 4/15/09

Subjects: Automatic theorem proving
Language English
Publication date 1982
publication_date QS:P577,+1982-00-00T00:00:00Z/9
Current location
IA Collections: navalpostgraduateschoollibrary; fedlink; americana
Accession number
derivedprecondit00smit
Authority file  OCLC: 1042913585
Source
Internet Archive identifier: derivedprecondit00smit
https://archive.org/download/derivedprecondit00smit/derivedprecondit00smit.pdf

Licensing

[edit]
Public domain
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code. Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current11:32, 29 June 2020Thumbnail for version as of 11:32, 29 June 20201,158 × 1,618, 34 pages (1.53 MB)Fæ (talk | contribs)FEDLINK - United States Federal Collection derivedprecondit00smit (User talk:Fæ/CCE volumes#Fork8) (batch 1980-1982 #3421)

You cannot overwrite this file.

Metadata

This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:Derived_preconditions_and_their_use_in_program_synthesis_(IA_derivedprecondit00smit).pdf&oldid=911725656"