A concurrent automatic programming system

Authors:
K. E. Kennedy
Affiliations:
Clemson University, Clemson, SC
Venue:
Proceedings of the 46th Annual Southeast Regional Conference on XX
Year:
2008

Citing 11
Cited 0

Automatic Programming: Myths and Prospects

Computer
Genetic programming: on the programming of computers by means of natural selection

Genetic programming: on the programming of computers by means of natural selection
Constructing specification morphisms

Journal of Symbolic Computation - Special issue on automatic programming
Natural language understanding (2nd ed.)

Natural language understanding (2nd ed.)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Experiments with a Heuristic Compiler

Journal of the ACM (JACM)
Experiments with a deductive question-answering program

Communications of the ACM
Deductive Composition of Astronomical Software from Subroutine Libraries

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
The use of theorem-proving techniques in question-answering systems

ACM '68 Proceedings of the 1968 23rd ACM national conference
AutoBayes: a system for generating data analysis programs from statistical models

Journal of Functional Programming
Synthesis: Dreams ? Programs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.