liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
A Debugging Scheme for Declarative Equation Based Modeling Languages
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
2002 (English)In: Practical Aspects of Declarative Languages, Springer Berlin/Heidelberg, 2002Conference paper, Published paper (Refereed)
Abstract [en]

This paper concerns the static analysis for debugging purposes of programs written in declarative equation based modeling languages. We first give an introduction to declarative equation based languages and the consequences equation based programming has for debugging. At the same time, we examine the particular debugging problems posed by Modelica, a declarative equation based modeling language. A brief overview of the Modelica language is also given. We also present our view of the issues and solutions based on a proposed framework for debugging declarative equation based languages. Program analysis solutions for program understanding and for static debugging of declarative equation based languages, based on bipartite graph decomposition, are presented in the paper. We also present an efficient way to annotate the underlying equations in order to help the implemented debugger to eliminate the heuristics involved in choosing the right error fixing solution. This also provides means to report the location of an error caught by the static analyzer or by the numeric solver, consistent with the user’s perception of the source code and simulation model.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2002.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 2257
Keyword [en]
Declarative equation based language, modeling languages, bipartite graphs, graph decomposition techniques, static analysis, debugging, Modelica
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-110188DOI: 10.1007/3-540-45587-6_18ISBN: 978-3-540-43092-6 (print)ISBN: 978-3-540-45587-5 (print)OAI: oai:DiVA.org:liu-110188DiVA: diva2:743412
Conference
4th International Symposium, PADL 2002, Portland, OR, USA, January 19–20, 2002
Available from: 2014-09-04 Created: 2014-09-04 Last updated: 2014-10-20Bibliographically approved

Open Access in DiVA

fulltext(244 kB)165 downloads
File information
File name FULLTEXT01.pdfFile size 244 kBChecksum SHA-512
c9db6d85f8aac8561e5595c0d3f8f9cbffebbb2e7d88188c7d129673de32fb431bbbb8b19a763f0b89d404dca636ee0762596c56643ddbdcce95513bec35a098
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Bunus, PeterFritzson, Peter

Search in DiVA

By author/editor
Bunus, PeterFritzson, Peter
By organisation
Department of Computer and Information ScienceThe Institute of TechnologyPELAB - Programming Environment Laboratory
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 165 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

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

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