Formal specification and automatic programming
Abstract
An automatic programming system is proposed based on the works of Noonan [2] and Jazayeri and Walter [10]. The system may be used to automatically produce text processing programs or to test the specifications for such programs.
This is the first of three reports covering, respectively, the background and overview, architecture, and implementation of the system.
References
[1]
Hoare, C.A.R., Proof of a Program: FIND, CACM 14(1), January 1971.
[2]
Noonan, R.E., Structured Programming and Formal Specification, Proceedings of the 1st National Conference on Software Engineering, also IEEE-SE 1(4), December 1975.
[3]
Knuth, D.E., Semantics of context-free languages, MST 2(2), June 1968.
[4]
Henerson, P. and Snowden, R., An experiment in structured programming, BIT 12(1), 1972.
[5]
Naur, P., Programming by action clusters, BIT 9(3), 1969.
[6]
Waldinger, R. J. and Lee, R.C.T., PROW: A step toward Automatic Program Writing, Proceedings of the 1st International, Joint Conference on Artificial Intelligence, 1969.
[7]
Fang, I., Folds, a Declarative Formal Language Definition System, STAN-CS-72-329, Stanford University, December 1972.
[8]
Kennedy, K. and Warren, S., Automatic generation and efficient evaluators for attribute grammars, Conference Record of the third ACM Symposium on POPL, January 1976.
[9]
Jazayeri, M., On attribute grammars and the semantic specification of programming languages, Ph.D. Thesis, CWRU, Report No. 1159, October 1974
[10]
Jazayeri, M. and Walter, K. G., Alternating semantic evaluator, Proceedings of the ACM National Conference, 1975.
[11]
Bochmann, G. V., Semantic Evaluation from Left to Right, CACM 19(2), February 1976.
[12]
Neel, D. and Amirchahy, M., Semantic Attributes and Improvement of Generated Code, Proceedings of the ACM National Conference, 1974.
[13]
Jazayeri, M., Comment on a paper by Kennedy and Warren, Unpublished note, Computer Science Department, UNC, January 1976.
[14]
Jazayeri, M. and Pozefsky, D., Evaluating attribute grammars in passes, in preparation.
[15]
Pozefsky, D., Ph.D. Thesis, in progress.
[16]
Jazayeri, M., Ogden, W. F., and Rounds, W. C., The intrinsically exponential complexity of the circularity problem for attribute grammars, CACM 18(12), December 1975.
[17]
Jazayeri, M., Live variable analysis, Attribute Grammars, and Program Optimization, Draft, Computer Science Department, UNC, March 1975.
[18]
Jazayeri, M. and Kennedy, K., in preparation.
[19]
Knuth, D. E., On the translation of languages from left to right, Information and Control 8(6), 1965.
[20]
DeRemer, F. L., Simple LR(k) grammars, CACM 14(7), July 1971.
[21]
Aho, A. and Ullman, J., The Theory of Parsing, Translation and Compiling, Vol. II, Prentice Hall, 1973.
[22]
Gerhart, S., Observations on fallibility in applications of modern programming methodologies, to appear IEEE-SE 2(3), September 1976.
[23]
Gerhart, S., Private communications.
Index Terms
- Formal specification and automatic programming
Recommendations
Automatic Derivation of Formal Software Specifications from Informal Descriptions
SPECIFIER, an interactive system which derives formal specifications of data types and programs from their informal descriptions, is described. The process of deriving formal specifications is viewed as a problem-solving process. The system uses common ...
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System
APSEC '98: Proceedings of the Fifth Asia Pacific Software Engineering ConferenceMuch research work in computer science has been carried out in order to facilitate the software development process. Among the numerous research topics, two of them, automatic programming and formal specifications, had rarely been subject to a joint ...
Representing object models as theories
KBSE '95: Proceedings of The 10th Knowledge-Based Software Engineering ConferenceAlthough techniques for using formal specifications have been progressing, methods for developing formal specifications themselves have improved little. To alleviate this problem, we propose a parallel refinement approach to specification acquisition ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- NBS: National Bureau of Standards
- SIGSOFT: ACM Special Interest Group on Software Engineering
- IEEE-CS: Computer Society
Publisher
IEEE Computer Society Press
Washington, DC, United States
Publication History
Published: 13 October 1976
Check for updates
Author Tags
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 276 of 1,856 submissions, 15%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 310Total Downloads
- Downloads (Last 12 months)34
- Downloads (Last 6 weeks)9
Reflects downloads up to 20 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in