The programming language GCLA — A definitional approach to logic programming-Reference-Cited by-同舟云学术

The programming language GCLA — A definitional approach to logic programming

Published:1990-04 Issue:4 Volume:7 Page:381-404
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Aronsson Martin,Eriksson Lars-Henrik,Gäredal Anette,Hallnäs Lars,Olin Peter

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037453.pdf

Reference14 articles.

1. Aronsson, M., “The GCLA User’s Manual,”Technical Report, SICS T89012, Swedish Institute of Computer Science, 1989.

2. Aronsson, M., “The Instruction Set for the GCLA Abstract Machine,”Research Report, SICS R89002, Swedish Institute of Computer Science, 1989.

3. Eriksson, L.-H. and Hallnäs, L., “A Programming Calculus Based on Partial Inductive Definitions,”Research Report, SICS R88013, Swedish Institute of Computer Science, 1988.

4. Fredholm, D. and Serafimovski, S., “Partial Inductive Definitions as Type Systems for λ-terms,”Master’s thesis, Department of Mathematics, University of Stockholm, 1988. Unpublished.

5. Gabbay, D. M. and Reyle, U., “N-PROLOG: An Extension of Prolog with Hypothetical Implications: I,”Journal of Logic Programming,Vol. 1,No. 4, 1984.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logics with definitional reflection rules;Journal of Logic and Computation;2016-05-25

2. Generalized Definitional Reflection and the Inversion Principle;Logica Universalis;2007-10

3. Encoding transition systems in sequent calculus;Theoretical Computer Science;2003-02

4. Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project;Practical Aspects of Declarative Languages;2001-12-20

5. Program separation and definitional higher order programming;Computer Languages;1997-07