Initial Report on a Lisp Programmer's Apprentice

DOI10.1109/TSE.1978.233869zbMath0393.68044OpenAlexW2072868498MaRDI QIDQ4174746

Howard Shrobe, Charles Rich

Publication date: 1978

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1978.233869

zbMATH Keywords

Program VerificationLispSoftware DesignCad

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items

Learning by understanding analogies, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis