Logotyp: till Uppsala universitets webbplats

uu.sePublikationer från Uppsala universitet
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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
Visualisation of declarative relational programming
Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Samhällsvetenskapliga fakulteten, Institutionen för informationsvetenskap. data- och systemvetenskap.
Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Samhällsvetenskapliga fakulteten, Institutionen för informationsvetenskap. data- och systemvetenskap.
2003 (Engelska)Ingår i: Proceedings of International Conference on Advances in Infrastructure for Internet, Processing, Systems and the Interdisciplinaries, 2003Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

This paper proposes a graphic interface to an operator based relational (logic) programming language, Com-biLog. This interface is a declarative Visual Composi-tional Logic Language (ViCoLL) built on CombiLog in which a program is composed recursively from more primitive predicates by using composition operators. In the tradition of structural programming, Combilog is applied to facilitate the use of declarative relational programming languages by making them compositional. In relational programming, however, compositionality comes at the price of reduced readability. As a possible remedy, we investigate and present a visualisation of the theoretic semantics of Combilog. The semantics are visually displayed by means of a combination of Venn and Euler diagrams, which are modified to cope with larger programs. Our hypothesis is that visualising the semantics of the programs in the interface will promote comprehensibility since it conveys the meaning of the program stripped of unnecessary detail.

Ort, förlag, år, upplaga, sidor
2003.
Nyckelord [en]
Visual Declarative Programming Language, Software Visualisation, Visual Logic Programming
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:uu:diva-47057OAI: oai:DiVA.org:uu-47057DiVA, id: diva2:74964
Tillgänglig från: 2006-11-14 Skapad: 2006-11-14 Senast uppdaterad: 2018-01-11

Open Access i DiVA

Fulltext saknas i DiVA

Av organisationen
Institutionen för informationsvetenskap
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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