liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Application of Graph Decomposition Techniques to Debugging Declarative Equation Based Languages
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.ORCID-id: 0000-0002-3435-4996
2001 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2001.
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:liu:diva-110184OAI: oai:DiVA.org:liu-110184DiVA, id: diva2:743403
Konferens
42nd Conference on Simulation and Modeling (SIMS’2001), 8-9 October 2001, Telemark University, Porsgrunn, Norway
Tillgänglig från: 2014-09-04 Skapad: 2014-09-04 Senast uppdaterad: 2015-05-06Bibliografiskt granskad

Open Access i DiVA

fulltext(1965 kB)173 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1965 kBChecksumma SHA-512
eb44bd2383be6ff7b86ee0cfb564ac25e68c80b6a86a787c2277599df03c1b7d3428289c01f923f4082d8274244803ff4ddaf1c95c90deaf7e85453d508a29c4
Typ fulltextMimetyp application/pdf

Personposter BETA

Bunus, PeterFritzson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Bunus, PeterFritzson, Peter
Av organisationen
Institutionen för datavetenskapTekniska högskolanPELAB - Laboratoriet för programmeringsomgivningar
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 173 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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