David R. Barstow

According to our database1, David R. Barstow authored at least 31 papers between 1975 and 1999.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Baseball Seasons and Dog Years.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1993
Should we specify systems or domain?
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1991
Designing software for customization and evolution.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991

1988
Automatic Programming for Streams II: Transformational Implementation.
Proceedings of the Proceedings, 1988

1987
Artificial Intelligence and Software Engineering.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1985
Domain-Specific Automatic Programming.
IEEE Trans. Software Eng., 1985

On Convergence Toward a Database of Program Transformations.
ACM Trans. Program. Lang. Syst., 1985

Artificial Intelligence at Schlumberger.
AI Mag., 1985

Automatic Programming for Streams.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

The Stream Machine: A Data Flow Architecture for Real-Time Applications.
Proceedings of the Proceedings, 1985

1984
Interactive programming environments.
ACM SIGSOFT Softw. Eng. Notes, 1984

A Perspective on Automatic Programming.
AI Mag., 1984

1983
Who needs languages, and why do they need them? or no matter how high the level, it's still programming.
Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

1982
Rapid prototyping, automatic programming, and experimental sciences.
Proceedings of the workshop on Rapid Prototyping, 1982

An Automatic Programming System to Support an Experimental Science.
Proceedings of the Proceedings, 1982

An Overview of Phi<sub>NIX</sub>.
Proceedings of the National Conference on Artificial Intelligence, 1982

1981
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.
IEEE Trans. Software Eng., 1981

Guest Editorial: Programming Environments.
IEEE Trans. Software Eng., 1981

Advanced development support systems.
ACM SIGSOFT Softw. Eng. Notes, 1981

Overview of a Display-Oriented Editor for INTERLISP.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Remarks on "A Synthesis of Several Sorting Algorithms" by John Darlington.
Acta Informatica, 1980

Exploiting a Domain Model in an Expert Spectral Analysis Program.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979
An Experiment in Knowledge-Based Automatic Programming.
Artif. Intell., 1979

The Roles of Knowledge and Deduction in Program Synthesis.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Knowledge Engineering in Nuclear Physics.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
On Program Synthesis Knowledge.
Artif. Intell., 1978

Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977
A knowledge base organization for rules about programming.
SIGART Newsl., 1977

A Knowledge-Based System for Automatic Program Construction.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Some Rules For The Automatic Synthesis Of Programs.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975


  Loading...