Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Type analysis for CHIP
University of Linköping.
1999 (engelsk)Inngå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-405Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Encyclopedia of Global Archaeology/Springer Verlag, 1999. s. 389-405
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1548
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-31963DOI: 10.1007/3-540-49253-4_28Lokal ID: 64ad47a0-c50c-11dd-80bd-000ea68e967bISBN: 3-540-65462-3 (tryckt)OAI: oai:DiVA.org:ltu-31963DiVA, id: diva2:1005197
Konferanse
Algebraic Methodology and Software Technology, AMAST'98 : 04/01/1999 - 08/01/1999
Merknad
Upprättat; 1999; 20081208 (pawpie)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert

Open Access i DiVA

fulltekst(242 kB)31 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 242 kBChecksum SHA-512
9d2d424d5d494d792a86c2e9899acf166748c34dfde7e352dcbf30ad6083aeb1c613df9b686c00d5a57009abff055abbad876654305a41cb90d6dd56d6a1d78a
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Pietrzak, Pawel

Søk i DiVA

Av forfatter/redaktør
Pietrzak, Pawel

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 31 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: 215 treff
RefereraExporteraLink to record
Permanent link

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