Opening book details…
Can I read The PSI Program Model Builder - synthesis of very high-level programs on EtoBox?
The PSI Program Model Builder - synthesis of very high-level programs by McCune, Brian P. is a Computer Science article available to read on EtoBox.
What is The PSI Program Model Builder - synthesis of very high-level programs about?
A system called the Program Model Builder (PMB) is being designed and implemented to perform the basic operations required to synthesize and modify programs. PMB plays a central role as one of the expert modules of the PSI (ψ) program synthesis system. PMB builds a complete and consistent program model from small chunks of program specification received from other (ψ) experts. PMB must deal with the fact that these program fragments often omit details and may be incomplete, ambiguous, inconsistent, nonspecific, and arbitrarily ordered. The initial version of PMB has successfully synthesized a few program models from fragments. This work includes the evolution of a very high-level program modelling language, the identification and codification of useful very high-level programming knowledge including equivalence transformations, and the implementation of a rule-based problem solving system embodying this knowledge.
Who reads The PSI Program Model Builder - synthesis of very high-level programs?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- McCune, Brian P.
- Publisher
- Association for Computing Machinery; Special Interest Group on Computer Graphics, Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 0362-1340)
- Published
- 1977
- Language
- EN
- Field
- Computer Science (Physical Sciences)