Search
for Author
All Reviews
Kotik, Gordon
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Knowledge-based programming: an overview of data and control structure refinement
Goldberg A., Kotik G. Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany, 3091984. Type: Proceedings
This paper presents an overview of research on automatic programming at Kestrel’s CHI project. The long-term goal of the project is to develop methods for generating efficient low-level implementations of high-level program s...
...
Nov 1 1985
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy