Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Definitional approach to the combination of functional and relational programming
RISE., Swedish ICT, SICS, Decisions, Networks and Analytics lab.ORCID-id: 0000-0002-0236-783x
1991 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

We show how the programming language GCLA can be used to naturally express both relational and functional programs in an integrated framework. We give a short introduction to GCLA, and to the theory of partial inductive definitions on which GCLA is based. GCLA is best regarded as a logic programming language, but instead of saying that the query follows from the program in some a priori given logic, we say that the program defines the logic in which the query is proved. We then demonstrate how to implement both relational and functional programs as well as a combination of them in GCLA.

sted, utgiver, år, opplag, sider
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , s. 14
Serie
SICS Research Report, ISSN 0283-3638 ; R91:10
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-21354OAI: oai:DiVA.org:ri-21354DiVA, id: diva2:1041390
Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2025-09-23bibliografisk kontrollert

Open Access i DiVA

fulltekst(1456 kB)120 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1456 kBChecksum SHA-512
bf0a5be86a9a4ed6dcd7b72a5dcee7af054426156ee9ba93e6ae2ea1ecca88f737909ae48fed7ea897ca47e2afda3f24979a9107315d4d10bd99cd9e60adf6ef
Type fulltextMimetype application/pdf

Person

Aronsson, Martin

Søk i DiVA

Av forfatter/redaktør
Aronsson, Martin
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 120 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 222 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.47.0