Change search
ReferencesLink to record
Permanent link

Direct link
The Instruction Set for the GCLA Abstract Machine
Number of Authors: 1
1989 (English)Report (Refereed)
Abstract [en]

The basis for the language GCLA is a generalization of the concept inductive definitions, called partial inductive definitions. The program defines a logic, which is used to make inferences to prove if a query holds or not. This report first presents a short introduction to these ideas. Then, an abstract machine, called GAM, for GCLA is presented; the instructions as well as an introduction to the compiling schema is given together with some examples. The GAM instructions are also presented as transitions in an appendix.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1989, 1. , 99 p.
Series
SICS Technical Report, ISSN 1100-3154 ; T89:04
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21416OAI: oai:DiVA.org:ri-21416DiVA: diva2:1041452
Note
Original report number T89004.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(7746 kB)3 downloads
File information
File name FULLTEXT01.pdfFile size 7746 kBChecksum SHA-512
d642a9794ee9998ee5aa78f387a3a3013fd8de05547e92143711a7624f16998389ce099d7b3ca7b8284032279a25a3a39def145a8e632815c4369708d9f2abc7
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 8 hits
ReferencesLink to record
Permanent link

Direct link