Programming Methodologies in GCLA

Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA program, where the definition of a specific problem and the set of intended queries are given beforehand. The methods are described by a series of examples, but we also try to give a more explicit description of each method. We also discuss some important characteristics of the methods.

• Type: Conference
• Year: 1993
• Where: ELP
• Authors: Göran Falkman, Olof Torgersson
• Keywords: Automated Reasoning, ELP 1993, Intended Queries, Paper Presents Work, Programming Tool Gcla