uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Visualisation of declarative relational programming
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Social Sciences, Department of Information Science. data- och systemvetenskap.
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Social Sciences, Department of Information Science. data- och systemvetenskap.
2003 (English)In: Proceedings of International Conference on Advances in Infrastructure for Internet, Processing, Systems and the Interdisciplinaries, 2003Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2003.
Keyword [en]
Visual Declarative Programming Language, Software Visualisation, Visual Logic Programming
National Category
Information Science
Identifiers
URN: urn:nbn:se:uu:diva-47057OAI: oai:DiVA.org:uu-47057DiVA: diva2:74964
Available from: 2006-11-14 Created: 2006-11-14

Open Access in DiVA

No full text

By organisation
Department of Information Science
Information Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 340 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf