dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

David R. Barstow Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Baseball Seasons and Dog Years. ICSE 1999: 535-542
1991
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLes Belady, David R. Barstow, Koji Torii: Proceedings of the 13th International Conference on Software Engineering, Austin, TX, USA, May 13-17, 1991. IEEE Computer Society / ACM Press 1991
1988
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Automatic Programming for Streams II: Transformational Implementation. ICSE 1988: 439-447
1987
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Artificial Intelligence and Software Engineering. ICSE 1987: 200-215
1985
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Barth, Scott B. Guthery, David R. Barstow: The Stream Machine: A Data Flow Architecture for Real-Time Applications. ICSE 1985: 103-110
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Automatic Programming for Streams. IJCAI 1985: 232-237
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: On Convergence Toward a Database of Program Transformations. ACM Trans. Program. Lang. Syst. 7(1): 1-9 (1985)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Artificial Intelligence at Schlumberger. AI Magazine 5(4): 80-82 (1985)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Domain-Specific Automatic Programming. IEEE Trans. Software Eng. 11(11): 1321-1336 (1985)
1984
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: A Perspective on Automatic Programming. AI Magazine 5(1): 5-27 (1984)
1983
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: A Perspective on Automatic Programming. IJCAI 1983: 1170-1179
1982
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal: An Overview of PhiNIX. AAAI 1982: 367-369
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal: An Automatic Programming System to Support an Experimental Science. ICSE 1982: 360-366
1981
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Overview of a Display-Oriented Editor for INTERLISP. IJCAI 1981: 927-929
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow, Howard E. Shrobe: Guest Editorial: Programming Environments. IEEE Trans. Software Eng. 7(5): 449-450 (1981)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElaine Kant, David R. Barstow: The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis. IEEE Trans. Software Eng. 7(5): 458-471 (1981)
1980
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Exploiting a Domain Model in an Expert Spectral Analysis Program. AAAI 1980: 276-279
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Remarks on "A Synthesis of Several Sorting Algorithms" by John Darlington. Acta Inf. 13: 225-227 (1980)
1979
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: An Experiment in Knowledge-Based Automatic Programming. Artif. Intell. 12(2): 73-119 (1979)
1978
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System. AISB/GI (ECAI) 1978: 15-21
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Cordell Green, David R. Barstow: On Program Synthesis Knowledge. Artif. Intell. 10(3): 241-279 (1978)
1977
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow: A Knowledge-Based System for Automatic Program Construction. IJCAI 1977: 382-388
1976
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid R. Barstow, Elaine Kant: Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. ICSE 1976: 19-31
1975
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Cordell Green, David R. Barstow: Some Rules For The Automatic Synthesis Of Programs. IJCAI 1975: 232-239

Coauthor Index

1P. Barth [20]
2Laszlo A. Belady (Les Belady) [23]
3Roger Duffey [12] [13]
4C. Cordell Green [1] [4]
5Scott B. Guthery [20]
6Elaine Kant [2] [9]
7Howard E. Shrobe [10]
8Stephen W. Smoliar [12] [13]
9Koji Torii [23]
10Stanley Vestal [12] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page