liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngå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, 2002Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Springer Berlin/Heidelberg, 2002.
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 2257
Emneord [en]
Declarative equation based language, modeling languages, bipartite graphs, graph decomposition techniques, static analysis, debugging, Modelica
HSV kategori
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
Konferanse
4th International Symposium, PADL 2002, Portland, OR, USA, January 19–20, 2002
Tilgjengelig fra: 2014-09-04 Laget: 2014-09-04 Sist oppdatert: 2018-02-09bibliografisk kontrollert

Open Access i DiVA

fulltext(244 kB)230 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 244 kBChecksum SHA-512
c9db6d85f8aac8561e5595c0d3f8f9cbffebbb2e7d88188c7d129673de32fb431bbbb8b19a763f0b89d404dca636ee0762596c56643ddbdcce95513bec35a098
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Bunus, PeterFritzson, Peter

Søk i DiVA

Av forfatter/redaktør
Bunus, PeterFritzson, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 230 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 111 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf