Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Type analysis for CHIP
University of Linköping.
1999 (English)In: 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, 389-405 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Encyclopedia of Global Archaeology/Springer Verlag, 1999. 389-405 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1548
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-31963DOI: 10.1007/3-540-49253-4_28Local ID: 64ad47a0-c50c-11dd-80bd-000ea68e967bISBN: 3-540-65462-3 (print)OAI: oai:DiVA.org:ltu-31963DiVA: diva2:1005197
Conference
Algebraic Methodology and Software Technology, AMAST'98 : 04/01/1999 - 08/01/1999
Note
Upprättat; 1999; 20081208 (pawpie)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-10-19Bibliographically approved

Open Access in DiVA

fulltext(242 kB)14 downloads
File information
File name FULLTEXT01.pdfFile size 242 kBChecksum SHA-512
9d2d424d5d494d792a86c2e9899acf166748c34dfde7e352dcbf30ad6083aeb1c613df9b686c00d5a57009abff055abbad876654305a41cb90d6dd56d6a1d78a
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 14 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 29 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf