Abstract
There are various theoretical and practical approaches to single out fundamental concepts and issues of programming in the research of Program Development Methodology and Automatic Programming. We can observe that the current program development methods have been directed towards semantics-based programming to seek basic disciplines of programming processes and semantic frameworks. However none of them gives a general and reasonable framework, since any current programming methodology does not employ a general semantic discipline for program derivation, manipulation and understanding. In this article we discuss a framework of complementary programming as a modest proposal for reliable/semantics-based programming.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Feigenbaum, E.,The Handbook of Artificial Intelligence, William Kaufmann Inc., 1982.
Horowitz, E.,Programming Languages: A Grand Tour, Computer Science Press, 1982.
Yeh, R.,Current Trends in Programming Methodology, Vol. I, II, III, Prentice-Hall, 1978.
Wegner, P.,Research Directions in Software Technology, The MIT Press, 1979.
Mason, R.,Information Processing 83, Elsevier Science Publishers, 1983.
Author information
Authors and Affiliations
About this article
Cite this article
Ito, T. A step towards complementary programming. NGCO 3, 3–13 (1985). https://doi.org/10.1007/BF03037113
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037113