Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Type analysis for CHIP
University of Linköping.
1999 (Engelska)Ingår i: Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98 Amazonia, Brazil, January 4-8, 1999 Proceedings / [ed] Armando Martin Haeberer, Encyclopedia of Global Archaeology/Springer Verlag, 1999, s. 389-405Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a specification that approximates the semantics of a given program. The semantics of interest is an operational "call-success" semantics. The main intended application is program debugging. We consider a restricted class of specifications, which are regular types of constrained atoms. Our type inference approach is based on bottom-up abstract interpretation, which is used to approximate the declarative semantics (c-semantics). By using "magic transformations" we can describe the call-success semantics of a program by the declarative semantics of another program. We are focused on CLP over finite domains. Our prototype program analyzer works for the programming language CHIP.

Ort, förlag, år, upplaga, sidor
Encyclopedia of Global Archaeology/Springer Verlag, 1999. s. 389-405
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1548
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-31963DOI: 10.1007/3-540-49253-4_28Lokalt ID: 64ad47a0-c50c-11dd-80bd-000ea68e967bISBN: 3-540-65462-3 (tryckt)OAI: oai:DiVA.org:ltu-31963DiVA, id: diva2:1005197
Konferens
Algebraic Methodology and Software Technology, AMAST'98 : 04/01/1999 - 08/01/1999
Anmärkning
Upprättat; 1999; 20081208 (pawpie)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2017-11-25Bibliografiskt granskad

Open Access i DiVA

fulltext(242 kB)31 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 242 kBChecksumma SHA-512
9d2d424d5d494d792a86c2e9899acf166748c34dfde7e352dcbf30ad6083aeb1c613df9b686c00d5a57009abff055abbad876654305a41cb90d6dd56d6a1d78a
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Personposter BETA

Pietrzak, Pawel

Sök vidare i DiVA

Av författaren/redaktören
Pietrzak, Pawel
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 31 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: 215 träffar
RefereraExporteraLänk till posten
Permanent länk

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