David R. Barstow
According to our database1,
David R. Barstow
authored at least 31 papers
between 1975 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
1993
Proceedings of IEEE International Symposium on Requirements Engineering, 1993
1991
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
1988
Proceedings of the Proceedings, 1988
1987
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987
1985
ACM Trans. Program. Lang. Syst., 1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
Proceedings of the Proceedings, 1985
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
Proceedings of the workshop on Rapid Prototyping, 1982
Proceedings of the Proceedings, 1982
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
Overview of a Display-Oriented Editor for INTERLISP.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
1980
Acta Informatica, 1980
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980
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
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
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
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975