Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , s. 14
Serie
SICS Research Report, ISSN 0283-3638 ; R91:10
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-21354OAI: oai:DiVA.org:ri-21354DiVA, id: diva2:1041390
Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2023-05-25Bibliografiskt granskad

Open Access i DiVA

fulltext(1456 kB)83 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1456 kBChecksumma SHA-512
bf0a5be86a9a4ed6dcd7b72a5dcee7af054426156ee9ba93e6ae2ea1ecca88f737909ae48fed7ea897ca47e2afda3f24979a9107315d4d10bd99cd9e60adf6ef
Typ fulltextMimetyp application/pdf

Person

Aronsson, Martin

Sök vidare i DiVA

Av författaren/redaktören
Aronsson, Martin
Av organisationen
Decisions, Networks and Analytics lab
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 83 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 90 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf