Research Catalog

Knowledge-based program construction

Title
Knowledge-based program construction / David R. Barstow.
Author
Barstow, David R.
Publication
  • New York : North Holland, [1979]
  • ©1979

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.6 .B372Off-site

Details

Description
xiii, 262 pages : illustrations; 24 cm
Summary
Investigates a knowledge--based way of programming and systems construction.
Series Statement
Programming languages series ; 6
Uniform Title
Programming languages series ; 6.
Subject
  • Automation
  • Computer programming
  • computer programming
  • Algorithmus
  • Künstliche Intelligenz
  • Programmierung
  • Programmsynthese
  • Software Engineering
  • Artificial intelligence
  • Systèmes experts (informatique)
Note
  • Includes indexes.
Bibliography (note)
  • Bibliography: p. 249-255.
Contents
Example: a reachability program -- Collections -- Enumerations over collections -- Mappings -- Input, output and representation conversion -- Control structures -- LISP as a target language -- Approaches to automatic programming -- PECOS -- Interface with the PSI systems -- Guidelines for building a rule--based system -- Sample programs -- Rule generality -- A search space of correct programs -- Future directions -- Conclusions.
ISBN
  • 0444003401
  • 9780444003409
  • 044400341X
  • 9780444003416
LCCN
79013538
OCLC
  • ocm05007570
  • 5007570
  • SCSB-10868
Owning Institutions
Princeton University Library