Article

Free access

An automatic programming system to support an experimental science

Authors:

S. VestalAuthors Info & Claims

ICSE '82: Proceedings of the 6th international conference on Software engineering

Pages 360 - 366

Published: 13 September 1982 Publication History

Abstract

Programs are often used in experimental sciences to test new models and theories against real-world data. One of the major bottlenecks in that process is the need to write the program which implements the new model. ø₀ is an automatic programming system which supports petroleum scientists in testing quantitative log interpretation models against log data from oil wells. The user (a petroleum scientist) describes a model by interacting with ø₀ in the natural terms of the domain. ø₀ then automatically writes a program which implements the model. The entire process takes from ten to twenty minutes and achieves results which previously required two to three weeks of effort.

References

[1]

Balzer, R. "Transformational Implementation: An Example," IEEE Transactions of Software Engineering, SE-7, January 1981, 3-14.

Digital Library

[2]

Barstow, D. R. Knowledge-Based Program Construction, North-Holland, New York, 1979.

[3]

Bauer, F. L., et. al. "Towards a Wide Spectrum Language to Support Program Specification and Program Development," in F. L. Bauer and M. Broy, Program Construction, Springer-Verlag, Berlin, 1979, 543-552.

Digital Library

[4]

Bogen, R., et. al. MACSYMA Reference Manual, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1975.

[5]

Davis, C.G., and Vick, C.R. "The Software Development System," IEEE Transactions on Software Engineering, SE-3, January 1977, 69-84.

Digital Library

[6]

Dewar, R. B. K., et. al. "Programming by Refinement, as Exemplified by the SETL Representation Sublanguage," ACM Transactions on Programming Languages and Systems, 1, July 1979, 27-49.

Digital Library

[7]

Green, C., et. al. "Results in Knowledge Based Program Synthesis," Proceedings of the Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan, August 1979, 342-344.

[8]

Irvine, C.A., and Brackett, J.W. "Automated Software Engineering Through Structured Data Management," IEEE Transactions on Software Engineering, SE-3, January 1977, 34-40.

Digital Library

[9]

Iverson, K. E. "Notation as a Tool of Thought," Communications of the ACM, 23, August 1980, 444-465.

Digital Library

[10]

PROSE General Information Manual, PROSE, Inc., Palos Verdes Estates, California, 1979.

[11]

Rich, C. A Library of Plans with Applications to Automated Analysis, Synthesis, and Verification of Programs, MIT Artificial Intelligence Laboratory TR-604, Cambridge, Massachusetts, January 1982.

[12]

Rosen, S. "Programming Systems and Languages—A Historical Survey," in S. Rosen, Programming Systems and Languages, McGraw-Hill, New York, 1967, 3-22.

[13]

Shrobe, H. Dependency Directed Reasoning for Complex Program Understanding, MIT Artificial Intelligence Laboratory TR-503, Cambridge, Massachusetts, April 1979.

Digital Library

[14]

Teichrow, D., and Hershey, E. A., III. "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems," IEEE Transactions on Software Engineering, SE-3, January 1977, 41-48.

Digital Library

[15]

Waters, R. Automatic Analysis of the Logical Structure of Programs, MIT Artificial Intelligence Laboratory TR-492, Cambridge, Massachusetts, December 1978.

Digital Library

[16]

Wulf, W.A. "PQCC: A Machine-Relative Compiler Technology," Proceedings COMPSAC 80, Chicago, Illinois, October 1980, 24-36.

Cited By

Honiden SNishimura KUchihira NItoh K(1994)An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.36812320:11(849-867)Online publication date: 1-Nov-1994
https://dl.acm.org/doi/10.1109/32.368123
Barstow DRiddle W(1987)Artificial intelligence and software engineeringProceedings of the 9th international conference on Software Engineering10.5555/41765.41786(200-211)Online publication date: 1-Mar-1987
https://dl.acm.org/doi/10.5555/41765.41786
Greenspan S(1986)On the role of domain knowledge-based approaches to software developmentACM SIGSOFT Software Engineering Notes10.1145/12944.1295111:4(34-36)Online publication date: 1-Aug-1986
https://dl.acm.org/doi/10.1145/12944.12951
Show More Cited By

Index Terms

An automatic programming system to support an experimental science
1. Applied computing
  1. Computers in other domains
2. Computer systems organization
  1. Real-time systems

Recommendations

System-level automatic model refinement
Programming development control system
APL '81: Proceedings of the international conference on APL

In an effort to optimize Cobol conversion from one environment to another, an APL system to automate various phases of the conversion was employed. This system performed a lot of actual Cobol code conversion itself, as well as managing flow of Cobol ...
Automatic vs manual assessment of programming tasks
Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research

Lecturers are struggling to keep up with their daily responsibilities because of an ever-increasing workload. Manual programming assessment processes are time-consuming, but a possible solution is to use the assistance of automatic programming ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '82: Proceedings of the 6th international conference on Software engineering

September 1982

439 pages

Sponsors

NBS: National Bureau of Standards
IPSJ: Information Processing Society of Japan
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 September 1982

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
251
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)10

Reflects downloads up to 10 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Honiden SNishimura KUchihira NItoh K(1994)An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.36812320:11(849-867)Online publication date: 1-Nov-1994
https://dl.acm.org/doi/10.1109/32.368123
Barstow DRiddle W(1987)Artificial intelligence and software engineeringProceedings of the 9th international conference on Software Engineering10.5555/41765.41786(200-211)Online publication date: 1-Mar-1987
https://dl.acm.org/doi/10.5555/41765.41786
Greenspan S(1986)On the role of domain knowledge-based approaches to software developmentACM SIGSOFT Software Engineering Notes10.1145/12944.1295111:4(34-36)Online publication date: 1-Aug-1986
https://dl.acm.org/doi/10.1145/12944.12951
Smoliar SBarstow D(1983)Who needs languages, and why do they need them? or no matter how high the level, it's still programmingACM SIGPLAN Notices10.1145/872728.80686018:6(149-157)Online publication date: 1-Jun-1983
https://dl.acm.org/doi/10.1145/872728.806860
Smoliar SBarstow DWhite JRowe L(1983)Who needs languages, and why do they need them? or no matter how high the level, it's still programmingProceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems10.1145/800226.806860(149-157)Online publication date: 27-Jun-1983
https://dl.acm.org/doi/10.1145/800226.806860

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents