---
title: "The Layered Architecture of a System for Reasoning about Programs"
authors:
  - "Charles Rich"
doi: ""
url: "https://ijcai.org/proceedings/1985/103"
pdf: "https://ijcai.org/proceedings/1985/0103.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "540-545"
track: "Knowledge Representation"
keywords:
---

# The Layered Architecture of a System for Reasoning about Programs

Charles Rich

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 540-545.

## Abstract

Cake is a hybrid system which provides reasoning facilities for the Programmer's Apprentice. This paper describes the architecture of Cake , which is divided into eight layers, each with associated representations and reasoning procedures. The operation of Cake is illustrated by a complete trace of the solution of an example reasoning problem. We also argue that a hybrid system in general is characterized by the use of multiple representations in the sense of multiple data abstractions, which does not necessarily imply distinct implementation data structures.