| Author | Lin, Fei Faith |
| Call Number | AIT Thesis no. CS-87-11 |
| Subject(s) | Programming languages (Electronic computers)
|
| Note | A thesis submitter in partial fulfillment of the requirements for
the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | Automatic progranming(AP) is the automation of some parts of a
progranming process with the aim of improving the progranming
environment by raising the level of the description language. Such
automation may be achieved by program synthesis, that is, the
systematic derivation of a program from a given specification.
However, the requirement of providing a complete specification
hampers AP systems to be used in a wide range of practical
applications.
In this study, a method is suggested with the capability of
recovering some missing information for a given logical sentence
and completing it to be valid by antecedent derivation mechanism.
Manna-Waldinger' s deductive-tableau system is extended so as to
incorporate this mechanism. The derivation of the antecedent in
the deductive-tableau system is formalized and the correctness and
feasibility for this formalization is justified. This extension
helps to complete the specification for the user for synthesizing
his program in the deductive-tableau system by deriving the
additional input condition, so that the user may provide his
specification in a easier way without the strict restriction for a
complete one. other applications include schema matching or
retrieving software modules, and formula simplification. The
effectiveness and usefulness are verified by illustrating several
examples of the applications. |
| Year | 1987 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Kanchana Kanchanasut ;Venkatachalam, Paruvachi A.
|
| Examination Committee(s) | Kimura, Tomonori
|
| Scholarship Donor(s) | Royal Thai Government
|
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1987 |