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
A Debugging Scheme for Declarative Equation Based Modeling 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
2002 (Engelska)Ingår i: Practical Aspects of Declarative Languages / [ed] Shriram Krishnamurthi (Editor),‎ C.R. Ramakrishnan (Editor) Be the first to review this item, Springer Berlin/Heidelberg, 2002Konferensbidrag, 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
Springer Berlin/Heidelberg, 2002.
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 2257
Nyckelord [en]
Declarative equation based language, modeling languages, bipartite graphs, graph decomposition techniques, static analysis, debugging, Modelica
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:liu:diva-110188DOI: 10.1007/3-540-45587-6_18ISBN: 978-3-540-43092-6 (tryckt)ISBN: 978-3-540-45587-5 (tryckt)OAI: oai:DiVA.org:liu-110188DiVA, id: diva2:743412
Konferens
4th International Symposium, PADL 2002, Portland, OR, USA, January 19–20, 2002
Tillgänglig från: 2014-09-04 Skapad: 2014-09-04 Senast uppdaterad: 2018-02-09Bibliografiskt granskad

Open Access i DiVA

fulltext(244 kB)243 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 244 kBChecksumma SHA-512
c9db6d85f8aac8561e5595c0d3f8f9cbffebbb2e7d88188c7d129673de32fb431bbbb8b19a763f0b89d404dca636ee0762596c56643ddbdcce95513bec35a098
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

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: 243 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.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 128 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