Automatic Analysis of the Logical Structure of Programs
This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how th...
Main Author: | Waters, Richard C. |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6929 |
Similar Items
-
Description Logic Programs: Combining Logic Programs with Description Logic
by: Grosof, Benjamin, et al.
Published: (2004) -
Disjunctive Logic Programming over Finite Structures
by: Eiter, T, et al.
Published: (1994) -
A Human Oriented Logic for Automatic Theorem Proving
by: Nevins, Arthur J.
Published: (2004) -
Algebra of Logic Programming
by: Seres, S, et al.
Published: (1999) -
Algebra of Logic Programming
by: Seres, S, et al.
Published: (1999)