Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
Universidade Nova de Lisboa, CENTRIA, Departamento de Informatica, Caparica, Portugal.
Show others and affiliations
2013 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 13, no 4-5, p. 657-673Article in journal (Refereed) Published
Abstract [en]

In this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP). SeaLion provides source-code editors for the languages of Gringo and DLV and offers popular amenities like syntax highlighting, syntax checking, code completion, visual program outline, and refactoring functionality. The tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set programs. In this respect, SeaLion is the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers. Indeed, SeaLion implements a stepping-based debugging approach that allows the developer to quickly track down programming errors by simply following his or her intuitions on the intended semantics. Besides that, SeaLion supports ASP development using model-driven engineering techniques including domain modelling with extended UML class diagrams and visualisation of answer sets in corresponding instance diagrams. Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin of SeaLion. Further implemented features are a documentation generator based on the Lana annotation language, support for external solvers, and interoperability with external tools. SeaLion comes as a plugin of the popular Eclipse platform and provides interfaces for future extensions of the IDE.

Place, publisher, year, edition, pages
Cambridge University Press, 2013. Vol. 13, no 4-5, p. 657-673
Keywords [en]
Annotation languages, Answer-set programming, Code completions, Debugging support, Integrated development environment, Model-driven Engineering, Programming errors, UML class diagrams, Integrodifferential equations, Program debugging, Semantics, Syntactics, Tools, Visualization, Web services, Visual languages
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63567DOI: 10.1017/S1471068413000410ISI: 000324926400014Scopus ID: 2-s2.0-84884787755OAI: oai:DiVA.org:hj-63567DiVA, id: diva2:1838431
Available from: 2024-02-16 Created: 2024-02-16 Last updated: 2024-02-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
In the same journal
Theory and Practice of Logic Programming
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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