Three-Layered Source-Code Modelling
Published in Electronic Notes in Theoretical Computer Science • May 1, 2004
Authors:,
Anthony Cox
Charles L. A. Clarke
Abstract
Models of software must serve many roles; storage management, information representation and information interchange. A model tailored to a specific role is often inadequate for, and incapable of, supporting other roles. For this reason, we advocate a multi-layered approach, where each successive la...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!