Logo: to the web site of Uppsala University

uu.sePublikasjoner fra Uppsala universitet
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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
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 (engelsk)Inngår i: Proceedings of International Conference on Advances in Infrastructure for Internet, Processing, Systems and the Interdisciplinaries, 2003Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2003.
Emneord [en]
Visual Declarative Programming Language, Software Visualisation, Visual Logic Programming
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-47057OAI: oai:DiVA.org:uu-47057DiVA, id: diva2:74964
Tilgjengelig fra: 2006-11-14 Laget: 2006-11-14 Sist oppdatert: 2018-01-11

Open Access i DiVA

Fulltekst mangler i DiVA

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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