David R. Barstow

According to our database1, David R. Barstow
  • authored at least 28 papers between 1975 and 1999.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
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

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 Magazine, 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
A Perspective on Automatic Programming.
AI Magazine, 1984

1983
Who needs languages, and why do they need them? or no matter how high the level, it's still programming.
SIGPLAN Notices, 1983

A Perspective on Automatic Programming.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

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

An Overview of PhiNIX.
Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, 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

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 Inf., 1980

Exploiting a Domain Model in an Expert Spectral Analysis Program.
Proceedings of the 1st Annual National Conference on Artificial Intelligence. Stanford University, 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.
AISB/GI (ECAI), 1978

1977
A knowledge base organization for rules about programming.
SIGART Newsletter, 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...