research-article

A concurrent automatic programming system

Author:

K. E. KennedyAuthors Info & Claims

ACMSE '08: Proceedings of the 46th annual ACM Southeast Conference

Pages 94 - 98

https://doi.org/10.1145/1593105.1593129

Published: 28 March 2008 Publication History

Abstract

Multi-core processors have introduced a greater need for concurrent specifications. Additionally, many specifications require proof of correctness. We present a new automatic programming system designed for the creation, execution, and formal verification of concurrent specifications that is based upon colored Petri nets.

References

[1]

J. Allen. Natural Language Understanding. Addison-Wesley, Reading, Massachusetts, 1995.

Digital Library

[2]

D. Barstow. A perspective on automatic programming. AI Magazine, 5(1):5--27, 1984.

Digital Library

[3]

R. Bastide. Approaches in unifying Petri nets and the object-oriented approach. In Proceedings of the Application and Theory of Petri Nets 1995 - Workshop on Object-Oriented Programming and Models of Concurrency, 1995.

[4]

B. Fischer and J. Schumann. Autobayes: A system for generating data analysis programs from statistical models. Journal of Functional Programming, 13(3):483--508, 2003.

Digital Library

[5]

C. C. Green. Application of theorem proving to problem solving. In Proceedings of the International Joint Conference of Artificial Intelligence, pages 219--239, Washington, DC, May 1969.

[6]

C. C. Green. Results in knowledge based program synthesis. In Proceedings of the 6th International Joint Conference of Artificial Intelligence, pages 342--344, 1979.

[7]

C. C. Green and B. Raphael. The use of theorem-proving techniques in question-answering systems. In Proceedings of the 23rd ACM National Conference, pages 169--181, 1968.

Digital Library

[8]

M. Hack. Decidability Questions for Petri Nets. PhD thesis, Massachusetts Institute of Technology, 1975.

[9]

K. Jensen. Coloured petri nets and the invariant method. Theoretical Computer Science, 14:317--336, 1981.

[10]

K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, volume 1. Springer-Verlag, New York, 1992.

Digital Library

[11]

E. Kant. On the efficient synthesis of efficient programs. Artificial Intelligence, 20(3):253--305, May 1983.

[12]

J. R. Koza. Genetic Programming: On the Programming of Computers by Natural Selection. The MIT Press, Cambridge, Massachusetts, 1992.

Digital Library

[13]

M. Lowry, A. Philpot, T. Pressburger, and I. Underwood. Amphion: Automatic programming for subroutine libraries. In Proceedings of the 9th Knowledge-Based Software Engineering Conference, page 2, Monterey, CA, 1994.

Digital Library

[14]

Z. Manna and R. Waldinger. Synthesis: Dreams &#8658; programs. IEEE Transactions on Software Engineering, 5(4):294--328, July 1979.

Digital Library

[15]

J. McDonald and J. Anton. Specware - producing software correct by construction. Technical Report KES. U.01.3, Kestrel Institute, Palo Alto, California, March 2001.

[16]

K. L. McMillan. The SMV System. PhD thesis, Department of Computer Science, Carnegie-Mellon University, 1992.

[17]

A. Newell and H. A. Simon. Gps: A program that simulates human thought. pages 109--124, 1961.

[18]

A. Newman, S. M. Shatz, and X. Xie. An approach to object system modeling by state-based object petri nets. 8(1):1--21, 1998.

[19]

C. A. Petri. Kommunikation mit Automaten. PhD thesis, Schriften des Institutes f&#252;r Instrumentelle Mathematik, 1962.

[20]

C. Rich and R. C. Waters. Automatic programming: Myths and prospects. IEEE Computer, 21(8):40--51, August 1988.

Digital Library

[21]

H. A. Simon. Experiments with a heuristic compiler. Journal of the ACM, 10(4):493--506, October 1963.

Digital Library

[22]

J. R. Slagle. Experiments with a deductive question-answering program. Communications of the ACM, 8(12):792--798, December 1965.

Digital Library

[23]

D. R. Smith. Constructing specification morphisms. Journal of Symbolic Computation, 15(5/6):571--606, 1993.

Digital Library

[24]

M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. In Proceedings of the Twelfth International Conference on Automated Deduction (CADE-12), pages 341--355, Nancy, France, June 1994.

Digital Library

[25]

A. M. Turing. Computing machinery and intelligence. Mind, 59(236):433--460, October 1950.

Cited By

Owens RWeichao Wang (2011)Non-normalizable functions: A new method to generate metamorphic malware2011 - MILCOM 2011 Military Communications Conference10.1109/MILCOM.2011.6127478(1279-1284)Online publication date: Nov-2011
https://doi.org/10.1109/MILCOM.2011.6127478
Font JManrique D(2010)Grammar-guided evolutionary automatic system for autonomously building biological oscillatorsIEEE Congress on Evolutionary Computation10.1109/CEC.2010.5586377(1-7)Online publication date: Jul-2010
https://doi.org/10.1109/CEC.2010.5586377

Index Terms

A concurrent automatic programming system
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Concurrent programming languages

Recommendations

How to Reconcile Formal Specifications and Automatic Programming: The Descartes System
APSEC '98: Proceedings of the Fifth Asia Pacific Software Engineering Conference

Much 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 ...
Kripke modelling and verification of temporal specifications of a multiple UAV system

A verifiable multiple UAV system cooperatively monitoring a road network is presented in this paper. The focus is on formal modelling and verification which can guarantee correctness of concurrent reactive systems such as multi-UAV systems. Kripke ...
Executing Formal Specifications with Concurrent Constraint Programming

We have implemented a technique for execution of formal, model-based specifications. The specifications we can execute are written at a level of abstraction that is close to that used in nonexecutable specifications. The specification abstractions ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

ACMSE '08: Proceedings of the 46th annual ACM Southeast Conference

March 2008

548 pages

ISBN:9781605581057

DOI:10.1145/1593105

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 March 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ACM SE08

ACM SE08: ACM Southeast Regional Conference

March 28 - 29, 2008

Alabama, Auburn

Acceptance Rates

Overall Acceptance Rate 502 of 1,023 submissions, 49%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
125
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Owens RWeichao Wang (2011)Non-normalizable functions: A new method to generate metamorphic malware2011 - MILCOM 2011 Military Communications Conference10.1109/MILCOM.2011.6127478(1279-1284)Online publication date: Nov-2011
https://doi.org/10.1109/MILCOM.2011.6127478
Font JManrique D(2010)Grammar-guided evolutionary automatic system for autonomously building biological oscillatorsIEEE Congress on Evolutionary Computation10.1109/CEC.2010.5586377(1-7)Online publication date: Jul-2010
https://doi.org/10.1109/CEC.2010.5586377

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents